PI
Core/Dual

Adam Chlipala

Professor

Projects

 5 More

Groups

Community of Research

Systems Community of Research

The Systems CoR is focused on building and investigating large-scale software systems that power modern computers, phones, data centers, and networks, including operating systems, the Internet, wireless networks, databases, and other software infrastructure.

Research Group

Programming Languages & Verification

Mission: improve the software and hardware development process by replacing ugly development techniques with beautiful ones

Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems