Jonathan Aldrich Professor Research Areas: General programming languages Software architectures Software engineering Theorem proving and SAT solving Type theory
Matthew Bass Assistant Teaching Professor Research Areas: Software architectures Software engineering
Bradley Schmerl Principal Systems Scientist Research Areas: Human Robot Interaction Robotic autonomy Self-organization Software architectures Software engineering
Mary Shaw A. J. Perlis University ProfessorFaculty Research Areas: Collaboration in Software Development Software architectures Software engineering System Modeling Languages
