Jonathan Aldrich Professor Research Areas: General programming languages Software architectures Software design engineering Theorem proving and SAT solving Type theory
Andre Platzer Courtesy Faculty MemberProfessor Research Areas: AI Safety Embedded and cyber-physical systems Formal methods General programming languages Heterogeneous (hybrid) systems Logic Robotic control Safety critical systems Theorem proving and SAT solving