Formal Methods in Verification

Advanced Software Engineering Methodologies

Kansas State University

Software Reliability and Analysis Research

+1

T

Torben Amtoft

Associate Professor

Kansas State University

Security and Verification in Computing

+1

K

Krishan Sabnani

Professor

Tichakorn (Nok) Wongpiromsarn

Johns Hopkins University

Communication Protocols

Computer Networks

Telecommunications

Wireless Networking

+5

T

Associate Professor

Iowa State University

Model-Driven Software Engineering Techniques

Real-Time Systems Scheduling

+1

A

Andrew Miner

Associate Professor

Business Process Modeling and Analysis

Iowa State University

Petri Nets in System Modeling

Software Reliability and Analysis Research

+1

S

Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science

Indiana University Indianapolis

Parallel Computing and Optimization Techniques

+1

C

Chung-chieh Shan

Associate Professor

Indiana University Indianapolis

Natural Language Processing Techniques

+1

A

Alex Ozdemir

Assistant Professor, Starting Fall'26

College of Computing

Georgia Institute of Technology

Cryptography and Data Security

Security and Verification in Computing

+1

T

Taesoo Kim

Professor and Director of GTS3, Joint with the

College of Computing

Georgia Institute of Technology

Model-Driven Software Engineering Techniques

V

Vijay Ganesh

Adjunct Professor

David R. Cheriton School of Computer Science

University of Waterloo

Security and Verification in Computing

Software Testing and Debugging Techniques

+1

S

Suguman Bansal

Assistant Professor

College of Computing

Georgia Institute of Technology

Game Theory and Applications

Reinforcement Learning in Robotics

+1

T

ThanhVu (Vu) Nguyen

Associate Professor

Software Testing and Debugging Techniques

George Mason University

Software Engineering

Software Reliability and Analysis Research

+2

M

Mihalis Yannakakis

Percy K. and Vida L. W. Hudson Professor of Computer Science

Combinatorial Optimization

Columbia University

Complexity Theory

Database Systems

Testing and Verification

+6

T

Toniann Pitassi

Jeffrey L. and Brenda Bleustein Professor of Engineering

Advanced Graph Theory Research

Columbia University

Complexity and Algorithms in Graphs

Cryptography and Data Security

+1

S

Associate Professor

Computer-Aided Design

Digital Systems

Embedded Systems

+7

S

Stefan Mitsch

Adjunct Faculty

Semantic Web and Ontologies

+1

S

Stephanie Ginette Balzer

Assistant Professor

Advanced Software Engineering Methodologies

Distributed Systems and Fault Tolerance

+1

J

Jan Hoffmann

Associate Professor

Advanced Software Engineering Methodologies

I

Iliano Cervesato

Teaching Professor

Advanced Authentication Protocols Security

+1

J

Joseph Earl Reeves

Post Doctoral Fellow

Constraint Satisfaction and Optimization

Natural Language Processing Techniques

+1

F

Frank Pfenning

Professor

Access Control and Trust