Software Engineering and Programming Languages
Professor, Chair of Search Committee
Model Checking and Verification, Probabilistic Models, Petri Nets
Professor, Associate Chair for Research, Lanh & Oanh Nguyen Endowed Chair of Software Engineering
Software Engineering, Software Testing
Assistant Professor
Parallel Computing and HPC, Deep Learning, Software Engineering
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Associate Professor, Chair of Graduate Admissions Committee
Program Analysis, Software Engineering, Deep Learning
Assistant Professor
Programming Languages/Software Engineering/Formal Method/Compilers, Quantum Computation, Security
Professor
Software Engineering, Molecular Programming, Safety-Critical Systems & Product Lines
Teaching Professor
Software Systems, Software Engineering Technologies
Associate Professor
Parallel Processing, Information Integration and Information Retrieval, Applications of Special Relativity.
Kingland Professor and Department Chair
Data Science, Programming Languages, Software Engineering
Assistant Professor
Formal Methods, Control theory, Autonomous Systems
Graduate Faculty in Computer Science, Courtsey Associate Professor
Theory of Computation, Software Engineering