Foundations of Programming Languages Group

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.