Formal Methods in Verification

Security and Verification in Computing

Software Engineering Research

+1

T

Tevfik Bultan

Professor

University of California, Santa Barbara

Advanced Software Engineering Methodologies

Security and Verification in Computing

Service-Oriented Architecture and Web Services

+1

H

Huan Bui

Advanced Malware Detection Techniques

UNC - Charlotte

Blockchain Technology Applications and Security

Privacy, Security, and Data Protection

+1

R

Richard Townsend

Associate Teaching Professor

Compilers for Embedded Systems

Tufts University

Embedded Domain-Specific Languages

Functional Languages

Program Analysis and Optimization

+5

H

Hari Sundar

Ada Lovelace Associate Professor

High Performance Computing

Tufts University

Computational Sciences

Parallel Algorithms

Parallel Computing and Optimization Techniques

+3

S

Soha Hassoun

Professor

Computer-Aided Design for Integrated Circuits

Tufts University

Machine Learning for Systems Biology

Metabolic Engineering

Computational Drug Discovery Methods

+4

A

Ann Q. Gates

Professor

University of Texas - El Paso

Advanced Software Engineering Methodologies

Scientific Computing and Data Management

Semantic Web and Ontologies

+1

M

Marcelo Frias

Professor

University of Texas - El Paso

Software Engineering Research

Software Reliability and Analysis Research

+1

Y

Yoonsik Cheon

Associate Professor

University of Texas - El Paso

Advanced Software Engineering Methodologies

Software Engineering Research

+1

G

Gopal Gupta

Professor

University of Texas at Dallas

Logic, Reasoning, and Knowledge

Petri Nets in System Modeling

S

Serdar Erbatur

Assistant Professor of Instruction

University of Texas at Dallas

Advanced Authentication Protocols Security

Logic, Reasoning, and Knowledge

+1

K

Ken McMillan

Professor, Admiral B.R. Inman Centennial Chair in Computing Theory

The University of Texas at Austin

Formal Methods

Programming Languages and Compilers

+3

S

Swarat Chaudhuri

Professor

The University of Texas at Austin

Formal Methods

Machine Learning

Programming Languages and Compilers

+4

J

Jon Mitchell

University of Texas at Arlington

Advanced Database Systems and Queries

Data Mining Algorithms and Applications

+1

J

Jeff (Yu) Lei

Professor

University of Texas at Arlington

Software Engineering

Software Security

Trustworthy AI Software

Software Testing and Debugging Techniques

+4

A

Aakash Tyagi

Professor of Practice, Computer Science & Engineering

Advanced Graph Neural Networks

Texas A&M University

Boron and Carbon Nanomaterials Research

Semiconductor Materials and Interfaces

+1

Y

Yiwei Lyu

Assistant Professor, Computer Science & Engineering

Distributed Control Multi-Agent Systems

Texas A&M University

Human-Automation Interaction and Safety

Reinforcement Learning in Robotics

+1

D

David Kebo Houngninou

Instructional Associate Professor, Computer Science & Engineering

Embedded Systems Design Techniques

Texas A&M University

Experimental Learning in Engineering

Simulation Techniques and Applications

+1

A

Associate Professor

Software-Defined Networks and 5G

Network Packet Processing and Optimization

+2

D

Dominic Letarte

Associate Professor of Instruction

Security and Verification in Computing

Temple University

Instruction

Web Application Security Vulnerabilities

Advanced Malware Detection Techniques

+2

E

Eric Koskinen

Charles Berendsen Chair Associate Professor

Stevens Institute of Technology

Distributed Systems and Fault Tolerance