Principles of Programming Group

What We Do

The goal of the PoP group is to understand, develop, and demonstrate the principles, processes, and supporting technologies for the construction of computing systems.

Special areas of interest include: applications of logic (including formal semantics and type theory); techniques for designing and implementing programming languages; formal specification and verification of hardware and software systems.

A distinguishing characteristic of the PoP group is that it applies formal principles to problems of realistic scale and complexity, for example: automatic verification of large-scale commercial hardware systems; implementation of high-speed network communication software in the ML language; application of type-theoretic principles in the construction of realistic compilers.

Keep in Touch

• Principles of Programming Seminar
• pop-group mailing list
• Facebook page

Umut Acar

algorithms and data structures, parallel computing, programming languages, software systems and architecture
[website]

Stephanie Balzer

programming languages, program verification, type theory, and logic
[website]

Guy Blelloch

algorithms and data structures, parallel computing, theory of computing
[website]

Stephen Brookes

theory of computing, programming languages
[website]

Iliano Cervesato

computational logic, type theory, programming languages, concurrency
[website]

Karl Crary

formal methods/verification, logic, programming languages
[website]

Matt Fredrikson

[website]

Robert Harper

programming languages
[website]

Jan Hoffmann

verification, programming languages, resource analysis, security

Dilsun Kaynar

modeling and verification, programming languages, and security

Stefan Mitsch

modeling, refactoring, collaboration, and verification methods for hybrid systems

Bryan Parno

verification, security

Frank Pfenning

programming languages, logic, security
[website]

André Platzer

control systems, cyber physical systems, formal methods/verification, game theory, logic, programming languages, robotics, security
[website]

Jean Yang

formal methods/verification, programming languages, security, computational biology
[website]

Limin Jia

formal aspects of software security, in particular, applying formal logic to constructing software systems with known security guarantees
[website]

Jeremy Avigad

mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning
[website]

Steve Awodey

category theory, logic, philosophy of mathematics, early analytic philosophy
[website]

Richard Statman

proof theory and the theory of computation, theory of programming languages
[website]

Jonathan Aldrich

compilers, formal methods/verification, parallel computing, programming languages, software engineering
[website]

William Scherlis

software engineering, software systems and architecture, parallel computing
[website]