Formal Methods in Verification

Programming Language Theory

McGill University

Logic and Computation

Logic, Reasoning, and Knowledge

Mohammed Ghriga

Ph. D. Department Chair Associate Professor Computer Science

Long Island University

VLSI and Analog Circuit Testing

Social Media and Politics

John Hatcliff

University Distinguished Professor

Advanced Software Engineering Methodologies

Kansas State University

Torben Amtoft

Associate Professor

Kansas State University

Scott Smith

Director of Graduate Studies and Professor

Johns Hopkins University

Formal Methods

Programming Languages

Krishan Sabnani

Professor

Tichakorn (Nok) Wongpiromsarn

Johns Hopkins University

Communication Protocols

Computer Networks

Telecommunications

Wireless Networking

Associate Professor

AI-Based Problem Solving and Planning

Robotic Path Planning Algorithms

Bowen Weng

Assistant Professor

Autonomous Vehicle Technology and Safety

Prosthetics and Rehabilitation Robotics

Reinforcement Learning in Robotics

Andrew Miner

Associate Professor

Business Process Modeling and Analysis

Petri Nets in System Modeling

Samik Basu

Professor

Advanced Software Engineering Methodologies

Homotopy and Cohomology in Algebraic Topology

Service-Oriented Architecture and Web Services

Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science, Associate Professor

Indiana University

Parallel Computing and Optimization Techniques

Chung-chieh Shan

Associate Professor

Indiana University

Logic, Reasoning, and Knowledge

Natural Language Processing Techniques

Nada Amin

Associate Professor of Computer Science

Advanced Database Systems and Queries

Harvard University

Advanced Software Engineering Methodologies

Alex Ozdemir

Assistant Professor

Cryptography and Data Security

Security and Verification in Computing

Kuldeep S. Meel

Stephen Fleming Early-Career Associate Professor

Bayesian Modeling and Causal Inference

Data Management and Algorithms

Machine Learning and Algorithms

Vijay Ganesh

Professor

Security and Verification in Computing

Suguman Bansal

Assistant Professor

Game Theory and Applications

Reinforcement Learning in Robotics

Ray Essick

Associate Teaching Professor

Distributed Semidefinite Programming

Georgetown University

Switched and Hybrid Systems Control

Stability and Control of Uncertain Systems

Advanced Control Systems Optimization

ThanhVu (Vu) Nguyen

Associate Professor, Department of Computer Science

George Mason University

Software Engineering

Geoffrey Mainland

Associate Professor and Interim Department Head, Computer Science

High-Level Programming Languages and Runtime Support for Non-General Purpose Computation

Drexel University

Parallel Computing and Optimization Techniques

Embedded Systems Design Techniques

Energy Efficient Wireless Sensor Networks

Associate Professor

Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science

Computational Linguistics

Drexel University

Program Verification for Operating System Kernels

Programming Languages and Formal Methods

Type and Effect Systems

Dr. Alexander Brandt

Professor

Cryptography and Residue Arithmetic

Dalhousie University

Numerical Methods and Algorithms

Parallel Computing and Optimization Techniques

Ali Jannatpour

Assistant Professor, Computer Science and Software Engineering

Software Engineering Programming Languages Formal Methods Applied Machine Learning

Concordia University

Model-Driven Software Engineering Techniques