Software Engineering and Programming Languages

Samik Basu
Professor
Formal Methods, Model Checking
Carl Chang
Professor
Services Computing, Successful Aging, Software Engineering Technologies
Gianfranco Ciardo
Professor
Model Checking and Verification, Probabilistic Models, Petri Nets
Myra Cohen
Professor, Lanh & Oanh Nguyen Endowed Chair of Software Engineering
Software Engineering, Software Testing
Photo of Dobe Oyendrila
Research Assistant
Computer Science, Formal Methods, Information Flow Security
Ali Jannesari
Assistant Professor
Parallelism, Deep Learning, Program Analysis
Jim Lathrop
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Photo of Wei Le
Assistant Professor
Program Analysis, Software Testing
Robyn Lutz
Professor
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
Interim Dept. Chair, Kingland Professor of Data Analytics
Data Science, Programming Languages, Software Engineering
Simanta Mitra
Associate Teaching Professor
Software Systems, Software Engineering Technologies