Formal Methods in Verification

AI-Based Problem Solving and Planning

Queen's University

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

Juergen Dingel

Professor / Acting Undergraduate Chair

Advanced Software Engineering Methodologies

Queen's University

Model-Driven Software Engineering Techniques

Software System Performance and Reliability

Andrew Tolmach

Professor

Portland State University

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Department of Electrical Engineering

Rômulo Meira-Goes

Assistant Professor

Pennsylvania State University

Advanced Software Engineering Methodologies

Model-Driven Software Engineering Techniques

Natural Language Processing Techniques

Dietrich Geisler

Assistant Professor of Instruction

Bacterial Biofilms and Quorum Sensing

Northwestern University

Computational Geometry and Mesh Generation

Computer Graphics and Visualization Techniques

Edith Elkind

Ginni Rometty Professor of Computer Science

Auction Theory and Applications

Northwestern University

Electoral Systems and Political Participation

Game Theory and Applications

Alex David Groce

Associate Professor

Northern Arizona University

Advanced Malware Detection Techniques

Software Engineering Research

Software Reliability and Analysis Research

Miriam Leeser

Professor, Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Northeastern University

Accelerators for Computer Intensive Applications From the Edge to the Cloud. Applications of Fpgas Including Wireless Communications, Machine Learning and Data Privacy

Embedded Systems Design Techniques

Numerical Methods and Algorithms

Derya Aksaray

Assistant Professor, Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Northeastern University

Planning, Learning, and Control of Autonomous Robots With Theoretical Guarantees

Robotic Path Planning Algorithms

Optimization and Search Problems

Man-Ki Yoon

Assistant Professor

North Carolina State University

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

Petri Nets in System Modeling

Munindar Singh

SAS Institute Distinguished Professor of Computer Science

North Carolina State University

Constraint Satisfaction and Optimization

Logic, Reasoning, and Knowledge

Mobile Agent-Based Network Management

Thomas Wies

Professor of Computer Science

Program Analysis and Verification

Software Productivity

Joseph Tassarotti

Associate Professor of Computer Science

Logic, Programming, and Type Systems

New York University

Formal Methods

Programming Languages

Systems

Dr. Brock LaMeres

Professor

Department of Electrical and Computer Engineering

Montana State University

Radiation Tolerant Computer Systems

Reconfigurable Computing

Embedded Systems Design Techniques

Ritam Ganguly

Specialist - Teacher

Michigan State University

Agricultural Innovations and Practices

Distributed Systems and Fault Tolerance

Embedded Systems Design Techniques

Massachusetts Institute of Technology

Martin Rinard

Professor

CSAIL

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

Massachusetts Institute of Technology

Nancy Lynch

Professor

CSAIL

Distributed Systems and Fault Tolerance

Optimization and Search Problems

Petri Nets in System Modeling

Michael Carbin

Associate Professor

CSAIL

Massachusetts Institute of Technology

Advanced Neural Network Applications

Adversarial Robustness in Machine Learning

Machine Learning and Algorithms

Shouvik Roy

Assistant Teaching Professor of Computer Science

Illinois Institute of Technology

Adversarial Robustness in Machine Learning

Distributed Control Multi-Agent Systems

Reinforcement Learning in Robotics

Farshad Ghanei

Associate Teaching Professor

Illinois Institute of Technology

Caching and Content Delivery

Distributed Control Multi-Agent Systems

Green It and Sustainability

Samuel Coogan

Associate Professor

School of Electrical and Computer Engineering

Georgia Institute of Technology

Advanced Control Systems Optimization

Fault Detection and Control Systems

Robotic Path Planning Algorithms

Sven Thijssen

Assistant Professor

Florida Atlantic University

Advanced Memory and Neural Computing

Ferroelectric and Negative Capacitance Devices

School of Electrical and Computer Engineering

Hadas Kress-Gazit

Graduate Field Faculty Associate Dean for Diversity and Academic Affairs Geoffrey S.M. Hedrick Senior Endowed Professor

Cornell University

Cognitive Functions and Memory

Human-Automation Interaction and Safety

Robotic Path Planning Algorithms

Sanjay Rajopadhye

Professor (Joint Appointment Electrical and Computer Engineering)