Formal Methods in Verification

University of Massachusetts Lowell

Model-Driven Software Engineering Techniques

Sezer Goren, PhD

Associate Teaching Professor

University of Massachusetts Dartmouth

Integrated Circuits and Semiconductor Failure Analysis

Low-Power High-Performance VLSI Design

Physical Unclonable Functions (pufs) and Hardware Security

Cunxi Yu

Assistant Professor

University of Maryland, College Park

Neural Networks and Reservoir Computing

VLSI and Analog Circuit Testing

Calin Belta

Brendan Iribe Endowed Professor

University of Maryland, College Park

Advanced Control Systems Optimization

Gene Regulatory Network Analysis

Model-Driven Software Engineering Techniques

Lawrence Holloway

Kentucky Utilities Professor of Electrical and Computer Engineering

Engineering Education and Pedagogy

University of Kentucky

Fault Detection and Control Systems

Flexible and Reconfigurable Manufacturing Systems

Mahesh Viswanathan

Professor

Machine Learning and Algorithms

Software Reliability and Analysis Research

Lui Sha

Donald B. Gillies Chair in Computer Science

Distributed Systems and Fault Tolerance

Petri Nets in System Modeling

Grigore Rosu

Professor

Security and Verification in Computing

Talia Ringer

Assistant Professor

Mathematics, Computing, and Information Processing

Software Engineering Research

Melkior Ornik

Associate Professor, Aerospace Engineering

Advanced Control Systems Optimization

Fault Detection and Control Systems

Reinforcement Learning in Robotics

Sayan Mitra

Professor

Electrical and Computer Engineering

Petri Nets in System Modeling

Real-Time Systems Scheduling

Software Reliability and Analysis Research

Jose Meseguer

Professor

Distributed Systems and Fault Tolerance

Darko Marinov

Professor

Software Engineering Research

Software Reliability and Analysis Research

Software System Performance and Reliability

David Heath

Assistant Professor

Complexity and Algorithms in Graphs

Cryptographic Implementations and Security

Cryptography and Data Security

Elsa Gunter

Research Professor and Senior Lecturer

Model-Driven Software Engineering Techniques

Carl Gunter

George and Ann Fisher Distinguished Professor in Engineering

Advanced Malware Detection Techniques

Access Control and Trust

Tuba Yavuz

Associate Professor

Automated Model Extraction

University of Florida

Automated Verification

Formal Methods

Software Testing and Debugging Techniques

Dr. Ivan Ruchkin

MAE Affiliate Faculty / Assistant Professor in Electrical & Computer Engineering

Advanced Software Engineering Methodologies

University of Florida

Adversarial Robustness in Machine Learning

Autonomous Vehicle Technology and Safety

Dr. Jie Fu

MAE Affiliate Faculty / Assistant Professor in Electrical & Computer Engineering

University of Florida

Infrastructure Resilience and Vulnerability Analysis

Reinforcement Learning in Robotics

Fabio Somenzi

Professor

Department of Electrical, Computer and Energy Engineering

University of Colorado Boulder

Low-Power High-Performance VLSI Design

Radiation Effects in Electronics

Software Testing and Debugging Techniques

John S Schlipf

Advanced Algebra and Logic

University of Cincinnati

Advanced Topology and Set Theory

Lamont Kenneth Samuels

Associate Clinical Professor, Masters Program in Computer Science

Computer Graphics and Visualization Techniques

University of Chicago

Distributed and Parallel Computing Systems

Hadi Kamali

Assistant Professor

University of Central Florida

Adversarial Robustness in Machine Learning

Parallel Computing and Optimization Techniques

Kimia Zamiri Azar

Assistant Professor

University of Central Florida

Cryptographic Implementations and Security