Software Engineering Research

University of Texas at Dallas

Face and Expression Recognition

Face Recognition and Analysis

+1

S

Swarat Chaudhuri

Professor

The University of Texas at Austin

Formal Methods

Machine Learning

Programming Languages and Compilers

Formal Methods in Verification

+4

M

Mike Siok

University of Texas at Arlington

Risk and Safety Analysis

Safety Systems Engineering in Autonomy

Software Engineering Techniques and Practices

+1

A

Allison Sullivan

Assistant Professor

University of Texas at Arlington

Fault Localization

Live Programming

Mutation Testing

Program Synthesis and Repair

+6

J

Jeff (Yu) Lei

Professor

University of Texas at Arlington

Software Engineering

Software Security

Trustworthy AI Software

Software Testing and Debugging Techniques

+4

S

Suleman Mahmood

Instructional Assistant Professor, Computer Science & Engineering

Texas A&M University

Software Testing and Debugging Techniques

Teaching and Learning Programming

+1

M

Martin Carlisle

Associate Department Head, Computer Science & Engineering

Advanced Malware Detection Techniques

Texas A&M University

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Human Computer Interaction

+1

S

Assistant Professor

Machine Learning

Online Learning and Analytics

+4

P

Paul Lafollette

Associate Professor Emeritus

Algorithms and Data Compression

Temple University

Algorithms & Complexity

Teaching and Learning Programming

+2

D

Dominic Duggan

Associate Professor

Stevens Institute of Technology

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

T

Tegan Brennan

Assistant Professor

Stevens Institute of Technology

Advanced Malware Detection Techniques

Security and Verification in Computing

Software Testing and Debugging Techniques

+1

D

Dawson Engler

Associate Professor of Computer Science and of Electrical Engineering

Parallel Computing and Optimization Techniques

Stanford University

Security and Verification in Computing

+1

J

Jeff Tian

Professor of Computer Science

Southern Methodist University

Software Engineering Techniques and Practices

Software System Performance and Reliability

+1

A

Angelica Lim

Associate Professor Practitioner | Rajan Family Scholar | Canada CIFAR AI Chair

Art, Technology, and Culture

Simon Fraser University

Modular Robots and Swarm Intelligence

Physics and Engineering Research Articles

Scientific Computing and Data Management

+1

C

Chengzhi Mao

Assistant Professor

Context-Aware Activity Recognition Systems

Rutgers University

Distributed Systems and Fault Tolerance

Radiation Detection and Scintillator Technologies

+1

S

Steven Ding

Adjunct Assistant Professor

Advanced Malware Detection Techniques

Queen's University

Anomaly Detection Techniques and Applications

Network Security and Intrusion Detection

+1

J

Jianguo Wang

Assistant Professor

Databases and Data Mining

Purdue University System

Face and Expression Recognition

Software Engineering Techniques and Practices

+2

A

Abulhair Saparov

Assistant Professor

Artificial Intelligence, Machine Learning, and Natural Language Processing

Purdue University System

Bioinformatics and Computational Biology

Computational Science and Engineering

Distributed Systems

+5

S

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science

Programming Languages and Compilers

Purdue University System

Distributed Systems

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

+3

P

Peter Henderson

Assistant Professor

Natural Language Processing

Princeton University

Economics & Computation

Law & Public Policy

Machine Learning

+5

R

Robert Dondero

Senior Lecturer

Advanced Software Engineering Methodologies

Princeton University

Evolutionary Algorithms and Applications