Parallel Computing and Optimization Techniques

Formal Methods in Verification

Logic, Programming, and Type Systems

Lori Pollock

Senior Researcher

Software Engineering Research

Software Reliability and Analysis Research

Software Testing and Debugging Techniques

Xing Gao

Joint: Computer & Information Sciences

Department of Electrical and Computer Engineering

Blockchain Technology Applications and Security

Network Security and Intrusion Detection

Network Traffic and Congestion Control

Department of Electrical and Computer Engineering

Rudolf Eigenmann

Distinguished Professor

Dong Dai

Associate Professor

Graph Theory and Algorithms

Sunita Chandrasekaran

Associate Professor David L. and Beverly J.C. Mills Career Development Chair

Tiago Baretto Goes Perez

Assistant Teaching Professor

University of Colorado Denver

Optimization and Search Problems

Gita Alaghband, PhD

Professor & Chair

University of Colorado Denver

Anomaly Detection Techniques and Applications

Data Mining Algorithms and Applications

Dr. Gedare Bloom

Department Chair

University of Colorado Colorado Springs

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

Real-Time Systems Scheduling

Tamara Silbergleit Lehman

Assoc Chair

Department of Electrical, Computer and Energy Engineering

Advanced Malware Detection Techniques

Misinformation and Its Impacts

Department of Electrical, Computer and Energy Engineering

Joseph Izraelevitz

Associate Professor

Advanced Memory and Neural Computing

Jeremy Thompson

Assistant Research Professor

Advanced Numerical Methods in Computational Mathematics

Elasticity and Material Modeling

Bobby Schnabel

Department External Chair • Professor

Advanced Optimization Algorithms Research

Iterative Methods for Nonlinear Equations

Matrix Theory and Algorithms

Martha Palmer

Research Professor

Multimodal Machine Learning Applications

Natural Language Processing Techniques

Second Language Acquisition and Learning

Ranga Vemuri

Professor (F2)

Department of Electrical & Computer Engineering

University of Cincinnati

Low-Power High-Performance VLSI Design

VLSI and Analog Circuit Testing

Swastik Brahma

Assoc Professor

University of Cincinnati

Computer Graphics and Visualization Techniques

Information and Cyber Security

Network Security and Intrusion Detection

John H. Reppy

Professor of Computer Science

Formal Methods in Verification

Logic, Programming, and Type Systems

Hannah Morgan

Assistant Instructional Professor of Computer Science

Advanced Numerical Methods in Computational Mathematics

Matrix Theory and Algorithms

Henry Hoffmann

Liew Family Chair of Computer Science

Haryadi Gunawi

Professor of Computer Science

Diana Franklin

Professor of Computer Science

Educational Games and Gamification

Gender and Technology in Education

Quantum Computing Algorithms and Architecture

Yan Solihin

Professor

University of Central Florida

Mark Heinrich

Associate Professor and Associate Department Chair

University of Central Florida

Damian Dechev

Professor; Department Chair

Computing & Software Systems

University of Houston