Formal Methods in Verification

+1

K

K. Subramani

Professor

Advanced Graph Theory Research

West Virginia University

Complexity and Algorithms in Graphs

Constraint Satisfaction and Optimization

+1

H

Hussein Sibai

Assistant Professor

Washington University in St. Louis

Advanced Control Systems Optimization

Adversarial Robustness in Machine Learning

Gene Regulatory Network Analysis

+1

G

Greg Kulczycki

Associate Professor of Practice

Advanced Software Engineering Methodologies

Virginia Tech

Service-Oriented Architecture and Web Services

+1

J

John Boyland

Professor, Computer Science

University of Wisconsin–Milwaukee

Advanced Software Engineering Methodologies

+1

A

Adithya Murali

Assistant Professor

University of Wisconsin–Madison

Logic, Reasoning, and Knowledge

Machine Learning in Bioinformatics

+1

S

Somesh Jha

Sheldon B. and Marianne S. Lubar Chair and Professor

University of Wisconsin–Madison

Advanced Malware Detection Techniques

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

Y

Yizhou Zhang

Assistant Professor

Advanced Software Engineering Methodologies

Misinformation and Its Impacts

+1

M

Meng Xu

Assistant Professor

Model-Driven Software Engineering Techniques

R

Richard Trefler

Associate Professor

Model-Driven Software Engineering Techniques

Petri Nets in System Modeling

+1

D

Dave Tompkins

Associate Professor, Teaching Stream and Associate Director, Undergraduate Studies

Advanced Database Systems and Queries

Bayesian Modeling and Causal Inference

Constraint Satisfaction and Optimization

Data Management and Algorithms

+1

F

Federico Mora

Assistant Professor

Natural Language Processing Techniques

Software Engineering Research

Software Testing and Debugging Techniques

+1

A

Arie Gurfinkel

Associate Professor, Electrical and Computer Engineering

Model-Driven Software Engineering Techniques

Software Reliability and Analysis Research

+1

S

Sebastian Fischmeister

Professor, Electrical and Computer Engineering

Embedded Systems Design Techniques

Real-Time Systems Scheduling

+1

W

Werner Dietl

Associate Professor, Electrical and Computer Engineering

Security and Verification in Computing

+1

Z

Zachary Tatlock

Professor

University of Washington

Fabrication

Formal Methods

Programming Languages

+4

R

Ratul Mahajan

Associate Professor

Operating & Distributed Systems

University of Washington

Cloud Computing

Computer Networking

Formal Methods

+3

P

Paul Beame

Professor

Theoretical Computer Science

University of Washington

Quantum Computing

Complexity and Algorithms in Graphs

High-Performance Computing (compiler Optimization)

+3

J

John Regehr

Professor & Associate Director

School of Computing

University of Utah

Programming Languages (compiler Optimization, Formal Verification and Testing)

Real-Time Systems Scheduling

+3

G

Ganesh Gopalakrishnan

Professor

School of Computing

University of Utah

Artificial Intelligence (ml and Systems)

Programming Languages (formal Verification and Testing)

Embedded Systems Design Techniques

+1

S

Stephen Tu

Assistant Professor of Electrical and Computer Engineering and Computer Science

University of Southern California

Adversarial Robustness in Machine Learning