Research Interests

The group is interested in any research topics related to the foundations and implementation of programming languages, such as operational semantics, type theory, model checking, concurrency theory, language implementation, models of distributed systems, security, and categorical models of computation.

Faculty

Radha Jagadeesan: Programming Languages and systems; foundations of concurrency; (timed) concurrent (constraint) logic programming; Reactive, hybrid and real-time systems; games, types and linear logic.

Will Marrero: Formal methods, computer aided verification, model checking, computer security.

Corin Pitcher: Programming languages, operational and denotational semantics, static analysis, logic and type theory, security.

James Riely: Distributed programming languages, type systems, static analysis, security, optimizing compilers.