##
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.