Our group mission is to take over the entire world with sound reasoning and provable guarantees. 🌈
We are interested in combining programming language design, software verification, program analysis, and formal methods techniques to help programmers create the software they intended to create.
Our group has two active research directions: 1) policy-agnostic programming for factoring security and privacy out of the rest of the program and 2) rule-based modeling to allow biologists to model protein-protein signalling as programs.
We are part of the Principles of Programming Group at Carnegie Mellon University.
*We are still settling on a group name. A working name is Type Justice! ✊