Welcome To My Homepage

• CSC 15: Fundamentals of Computer Science I in Python
• CSC 15: Fundamentals of Computer Science I in Java,
• CSC 15: Fundamentals of Computer Science I in C++
• CSC 16: Fundamentals of Computer Science II
• CSC 17: Fundamentals of Computer Science III,
• CSC 111: Assembly Language Programming
• CSC 112: Operating Systems
• CSC 123/252: Programming Languages
• CSC 124/258: Compilers
• CSC 125: Concurrent and Parallel Programming
• CSC 145/290: Distributed and Network Programming
• CSC 155: Fundamentals of Computer Science III in C++
• CSC 175: Data Communications and Networks
• CSC 253: Design of Programming Languages
• CSC 259DL: Concurrent and Parallel Programming (distance learning course)
• CSC 290: Special Topic: Distributed Middleware Platforms
  
  
• CPSC 105: Computers in a Modern Society (Trinity College)
• CPSC 203: Mathematical Foundations of Computer Science (Trinity College)
• CPSC 215L: Data Structures and Algorithms in Java (Trinity College)
• CPSC 225: Topics in Applications Programming with Visual C++ and MFC (Trinity College)
• CPSC 333: Computer Networks with Linux (Trinity College)
• CPSC 371: Compiler Theory and Construction with Java (Trinity College)
• CPSC 415: Special Topics Seminar: Logic and Computation with ML (Trinity College)
• CISH 4030: Structured Computer Architecture (Rensselaer at Hartford)
• CISC 310: Logic and Programming with Prolog (University of Delaware)
• COSC 455: Artificial Intelligence. (Frostburg State University) no homepage
• COSC 465: Computer Systems Architecture. (Frostburg State University) no homepage

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 Lambda Terms. With Gopalan Nadathur
• 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.
• A Unified Proof-Theoretic Famework for Classical, Intuitionistic and Linear Logics (version with appendix on cut-elimination).
• Intuitionistic Control Logic
• Affine Control Logic
• Talks given in Paris, March-May 2012: on Intuitionistic Control Logic and Polarized Intuitionistic Logic

Research Homepages:

• Common Object Language Project Homepage (under construction)
• Higher Order Compilation Project
• Teyjus project homepage. Lambda term benchmarks.
• LambdaYacc Parser Generator
• Rustlr Parser Generator