Jurisdictions Admitted to Practice
- California
-
- State Bar of California
-
Education
- cum laude
- J.D.
-
- University of Pennsylvania
- Ph.D.
-
- cum laude University of Pennsylvania
- B.A.
-
Professional Associations
- Current
- Activities: Association for Computing Machinery
-
- Current
- Activities: Association for Logic Programming
-
- Current
- Activities: Society of Computer Aided Deduction
-
Publications
Articles & Publications
Contact & Map
