Formal Methods in Verification

Cyber-Physical Systems / IoT

University of Kansas

Machine Learning

Robotics

Robotic Path Planning Algorithms

Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Formal Methods, Verification, and Synthesis

University of Kansas

Specification Languages

System-Level Design Languages and Semantics

Trusted Computing

Katherine Kosaian, PhD

Assistant Professor

University of Iowa

Model-Driven Software Engineering Techniques

Natural Language Processing Techniques

Lenore Zuck

Research Professor

Model-Driven Software Engineering Techniques

Security and Verification in Computing

Aravinda Prasad Sistla

Professor

Advanced Database Systems and Queries

Data Management and Algorithms

William Mansky

Assistant Professor

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

Ugo Buy

Associate Professor

Petri Nets in System Modeling

Real-Time Systems Scheduling

Computer & Information Science & Engineering

Prabhat Mishra

Professor

University of Florida

Embedded Systems

Energy-Aware Computing

Formal Methods

Hardware Security

Sumit Jha

Professor

Computer & Information Science & Engineering

University of Florida

Control of Artificial Intelligence Systems

Cybersecurity and Artificial Intelligence

Emerging Computing Paradigms

Formal Methods and Logic

Stephen Siegel

Professor

Distributed Systems and Fault Tolerance

University of Delaware

Parallel Computing and Optimization Techniques

Zachary Sunberg

Assistant Professor Smead Aerospace Engineering Sciences

Autonomous Vehicle Technology and Safety

Bayesian Modeling and Causal Inference

Reinforcement Learning in Robotics

Christopher Myers

Professor

Department of Electrical, Computer and Energy Engineering

Bioinformatics and Genomic Networks

Embedded Systems Design Techniques

Gene Regulatory Network Analysis

Morteza Lahijanian

Assistant Professor Smead Aerospace Engineering Sciences

AI-Based Problem Solving and Planning

Fault Detection and Control Systems

Reinforcement Learning in Robotics

Majid Zamani

Associate Professor

Department of Electrical, Computer and Energy Engineering

Adaptive Control of Nonlinear Systems

Advanced Control Systems Optimization

Petri Nets in System Modeling

Ashutosh Trivedi

Associate Professor

Department of Electrical, Computer and Energy Engineering

Logic, Reasoning, and Knowledge

Machine Learning and Algorithms

Reinforcement Learning in Robotics

Sriram Sankaranarayanan

Professor

Department of Electrical, Computer and Energy Engineering

Advanced Control Systems Optimization

Software Reliability and Analysis Research

Paul Krogmeier

Assistant Professor

Machine Learning and Algorithms

Semigroups and Automata Theory

Gowtham Kaki

Assistant Professor

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

Department of Electrical, Computer and Energy Engineering

Bor-Yuh Evan Chang

Associate Professor

Advanced Malware Detection Techniques

John H. Reppy

Professor of Computer Science

Distributed and Parallel Computing Systems

University of Chicago

Embedded Systems Design Techniques

Computer Science and Engineering

Daniel J. Fremont

Associate Professor

University of California, Santa Cruz

Adversarial Robustness in Machine Learning

Machine Learning and Algorithms

Simulation Techniques and Applications

Luca De Alfaro

Professor

Computer Science and Engineering

University of California, Santa Cruz

Advanced Software Engineering Methodologies

Logic, Reasoning, and Knowledge

Yuanyuan Zhou

University of California San Diego

Natural Language Processing Techniques

Software Testing and Debugging Techniques

Ranjit Jhala

University of California San Diego

Security and Verification in Computing