Professor of Computer Science
Adams Hall 201A
Send an Email
DegreesPHD, 1995, Univ Pennsylvania; BS, 1989, Univ Oregon
My research interests include proof theory, higher-order programming languages, type theory, compilation and automated deduction.
Selected List of Research Papers:
- Lambda Prolog Implementaion of Ripple-Rewriting.
- Specifying Object-Level Unification in Lambda Prolog.
- Dissertation Proposal.
- Doctoral Thesis. Defended on September 22nd, 1995 at the University of Pennsylvania .
- Substitutions for Proofs and Types as Logic Programming.
- Let Polymorphism and Eager Type Schemes.
- Free Variables and Subexpressions in Higher-Order Meta Logic.
- A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.
- Compiler Construction in Higher Order Logic Programming.
- Tradeoffs in the Intensional Representation of A Framework for Distributed Interoperation Based On Higher-Order Meta-Logic
- Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Context. With Gopalan Nadathur and Xiaochu Qi. Minnesota.
- Aspect-Oriented Programming in Higher-Order and Linear Logic
- Focusing and Polarization in Intuitionistic Logic. With Dale Miller.
- On Focusing and Polarities in Linear Logic and Intuitionistic Logic. With Dale Miller. Long version.
Teaching Interestsprogramming languages, compilers, networking, concurrent and parallel programming, computer architecture, discrete math and logic.
Research Interestsmathematical logic and proof theory, type theory and the foundations of programming languages, compiler design.
Recent Courses Taught
|CSC 015||(CS) FUNDAMENTALS OF CMP SCI I||Undergraduate|
|CSC 017||(MC) FUNDAMENTALS OF CSC III||Undergraduate|
|CSC 123||PRGRMNG LANG:DIS&IMP||Undergraduate|
|CSC 175||DATA COMMUNICATNS & NETWORKING||Undergraduate|
|CSC 252||PROGRAMMING LANGUAGE CONCEPTS||Graduate|
|CSC 259||CONCURRENT & PARALLEL PROGMMNG||Graduate|
|CSC 284||CMPTR COMM NTWK&PROC||Graduate|
|CSC 301||THESIS BACKGROUND RESEARCH||Graduate|