Formal Methods in Verification

Colorado State University

Embedded Systems

Formal Methods

Hybrid Systems

Verification and Control

Ravi Mangal

Assistant Professor

Colorado State University

Professeure

École de Technologie Supérieure

Advanced Data Storage Technologies

Distributed and Parallel Computing Systems

Distributed Systems and Fault Tolerance

Department of Electrical and Computer Engineering

Ernest Bonnah, Ph.D.

Assistant Professor

Baylor University

Adversarial Robustness in Machine Learning

Blockchain Technology Applications and Security

Real-Time Systems Scheduling

James N. Smith, DBA, CISSP

Assistant Professor

Cloud Computing and Resource Management

Augusta University

Embedded Systems Design Techniques

IoT and Edge/fog Computing

Yu Zhang

Associate Professor

Computer Science and Engineering

Arizona State University

AI-Based Problem Solving and Planning

Modular Robots and Swarm Intelligence

Mohammadreza Mehrabian

Assistant Professor

Electrical Engineering and Computer Science

South Dakota School of Mines and Technology

Autonomous Vehicle Technology and Safety

Embedded Systems Design Techniques

Real-Time Systems Scheduling

Timos Antonopoulos

Instructional Faculty, Research Scientist and Lecturer

Security and Verification in Computing

Semigroups and Automata Theory

Zhong Shao

Thomas L. Kempner Professor

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

Ruzica Piskac

Zhan Tianyou Professor

Advanced Software Engineering Methodologies

Software Engineering Research

Alex Lew

Assistant Professor

Bayesian Modeling and Causal Inference

Machine Learning and Algorithms

Kevin Leahy

Assistant Professor

Worcester Polytechnic Institute

AI-Based Problem Solving and Planning

Distributed Control Multi-Agent Systems

Logic, Reasoning, and Knowledge

Piotr Wojciechowski

Tenure Track Faculty - Assistant Professor

Advanced Graph Theory Research

West Virginia University

Complexity and Algorithms in Graphs

Constraint Satisfaction and Optimization

K. Subramani

Tenure Track Faculty - Professor

Advanced Graph Theory Research

West Virginia University

Complexity and Algorithms in Graphs

Constraint Satisfaction and Optimization

Monica Brockmeyer

Associate Professor, Computer Science

Caching and Content Delivery

Wayne State University

Distributed Systems and Fault Tolerance

Network Traffic and Congestion Control

Hussein Sibai

Assistant Professor

Washington University in St. Louis

Adversarial Robustness in Machine Learning

Reinforcement Learning in Robotics

Robotic Path Planning Algorithms

Greg Kulczycki

Associate Professor of Practice

Advanced Software Engineering Methodologies

Virginia Tech

Service-Oriented Architecture and Web Services

Stefan Monnier

Professeur agrégé

Université de Montréal

Compiling

Proof Assistants

Tian Zhao

Associate Professor, Computer Science

University of Wisconsin–Milwaukee

Machine Learning and Data Classification

Natural Language Processing Techniques

Parallel Computing and Optimization Techniques

John Boyland

Professor, Computer Science; Department Chair, Computer Science

University of Wisconsin–Milwaukee

Advanced Software Engineering Methodologies

Parallel Computing and Optimization Techniques

Adithya Murali

Assistant Professor

University of Wisconsin–Madison

Logic, Reasoning, and Knowledge

Protein Structure and Dynamics

Somesh Jha

Sheldon B. Lubar Chair and Professor

University of Wisconsin–Madison

Advanced Malware Detection Techniques

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

Aws Albarghouthi

Associate Professor

University of Wisconsin–Madison

Adversarial Robustness in Machine Learning

Quantum Computing Algorithms and Architecture

Software Engineering Research

Dr. Aznam Yacoub

Business Process Modeling and Analysis

University of Windsor