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.

Seminar

Weekly Programming Languages Seminar, Friday afternoons at DePaul.

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: Higher-order and non-deterministic programming languages, categorical logic and type theory, operational and denotational semantics, security.

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