Software Engineering and Programming Languages

Samik Basu
Formal Methods, Model Checking
Model Checking and Verification, Probabilistic Models, Petri Nets
Picture of Myra Cohen
Professor, Lanh & Oanh Nguyen Endowed Chair of Software Engineering
Software Engineering, Software Testing
Ali Jannesari
Assistant Professor
Parallel Computing and HPC, Deep Learning, Software Engineering
James Lathrop
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Photo of Wei Le
Associate Professor
Program Analysis, Software Engineering, Deep Learning
Robyn Lutz
Software Engineering, Molecular Programming, Safety-Critical Systems & Product Lines
Andrew S Miner photo
Associate Professor
Model Checking and Verification, Petri Nets
Gurpur Prabhu photo
Associate Professor
Parallel Processing, Information Integration and Information Retrieval, Applications of Special Relativity.
Hridesh Rajan's picture
Professor and Department Chair
Data Science, Programming Languages, Software Engineering
Nok Wongpiromsarn
Assistant Professor
Formal Methods, Control theory, Autonomous Systems
Teaching Professor
Software Systems, Software Engineering Technologies
Carl Chang
Professor Emeritus
Software Engineering, Services Computing, Digital Health
Kristin-Yvonne Rozier
Graduate Faculty in Computer Science, Courtsey Associate Professor
Theory of Computation, Software Engineering