Faculty
Assistant Professor
Dependable distributed systems, Information-flow security, Verification
Assistant Professor in the Statistics Department
change-point detection and anomaly detection for high-dimension and non-Euclidean data, graph-based methods, non-parametrics
Professor of Computer Science
Model Checking and Verification; Probabilistic Models; Petri Nets
Professor
Software testing of highly-configurable software; Search based software engineering
Co-I, D4 (Dependable Data Driven Discovery) Institute , Assistant Professor of Electrical and Computer Engineering
Machine Learning
Associate Professor
Vibrothermographic nondestructive testing, Location of leaks in spacecraft
Associate Professor Department of Industrial and Manufacturing Systems Engineering
operations research, Optimization, decision making
Assistant Professor in Computer Science
Parallelism, Deep Learning, Software Engineering
Assistant Professor
Applications of Data Science for Code Mining and Search, Specification and Verification of Data-intensive Programs, Dependable Data Science
Assistant Professor in Statistics
Inference on large covariance and precision matrices, High-dimensional statistical inference and applications in genetic analysis, Statistical analysis for brain imaging
Senior Personnel, D4 (Dependable Data Driven Discovery) Institute , Professor of Mathematics
Algebra, Analysis, Geometry
Associate Professor
Big data analytics in transportation Data-driven decision making Traffic signal systems Safety and efficiency of traffic operations Smart rural transportation
Associate Teaching Professor of Computer Science
Data Science, Machine Learning, Deep Learning
Professor
Multimedia Systems, Database Systems, Distributed Computing and Networks
Professor of Electrical and Computer Engineering, Professor of Mathematics, Senior Personnel, D4 (Dependable Data Driven Discovery) Institute
Intersection of statistical machine learning / data science, computer vision, and signal processing