GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Software Testing and Debugging Techniques Research Faculty | GradNova

/

/

Software Testing and Debugging Techniques

Software Testing and Debugging Techniques

183 faculty research Software Testing and Debugging Techniques on GradNova.

T

Timos Antonopoulos

Research Scientist and Lecturer

Computer Science

Yale University

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Semigroups and Automata Theory

+1

X

Associate Professor

Computer Science

Worcester Polytechnic Institute

Computer Security

IoT & Embedded System Security

Mobile & Software Security

+8

A

Associate Professor

Computer Science

Western University

AI in Health Care

And Quantum Machine Learning

+10

...

H

Assistant Professor

Computer Science

Washington University in St. Louis

Advanced Control Systems Optimization

Adversarial Robustness in Machine Learning

Formal Methods in Verification

Gene Regulatory Network Analysis

+1

A

Instructor

Computer Science

Software Engineering Research

Software Testing and Debugging Techniques

Teaching and Learning Programming

E

Collegiate associate professor

Computer Science

Advanced Software Engineering Methodologies

Model-Driven Software Engineering Techniques

Service-Oriented Architecture and Web Services

Software Reliability and Analysis Research

+1

N

Associate professor

Computer Science

Advanced Malware Detection Techniques

Software Engineering Research

Software Reliability and Analysis Research

Software System Performance and Reliability

+1

M

Muhammad Ali Gulzar

Assistant Professor

Computer Science

Virginia Tech

Cloud Computing and Resource Management

Scientific Computing and Data Management

Software Reliability and Analysis Research

Software System Performance and Reliability

+1

B

Collegiate Associate Professor and Online Teaching and Learning Coordinator

Computer Science

Virginia Tech

Online and Blended Learning

Online Learning and Analytics

Software Engineering Research

Software Testing and Debugging Techniques

+1

A

Aws Albarghouthi

Associate Professor

Computer Science

University of Wisconsin–Madison

Security and Verification in Computing

Software Reliability and Analysis Research

Software Testing and Debugging Techniques

R

Richard Trefler

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Petri Nets in System Modeling

+1

D

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Software Engineering Methodologies

Autonomous Vehicle Technology and Safety

Logic, Programming, and Type Systems

Software Engineering Research

+1

F

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Natural Language Processing Techniques

Software Engineering Research

Software Testing and Debugging Techniques

+1

P

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software Engineering Research

+1

A

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Software Reliability and Analysis Research

+1

S

Sebastian Fischmeister

Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Embedded Systems Design Techniques

Formal Methods in Verification

Parallel Computing and Optimization Techniques

Real-Time Systems Scheduling

+1

Y

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Network Security and Intrusion Detection

Security and Verification in Computing

+1

Z

Zachary Tatlock

Professor

Computer Science

University of Washington

Programming Languages

Parallel Computing and Optimization Techniques

+4

R

Associate Professor

Computer Science

University of Washington

Security & Privacy

Software Engineering

Software Testing and Debugging Techniques

+4

N

Nathan Brunelle

Associate Teaching Professor

Computer Science

University of Washington

Computing Education

Algorithms and Data Compression

Network Packet Processing and Optimization

Semigroups and Automata Theory

+2

M

Associate Teaching Professor

Computer Science

University of Victoria

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

Software Engineering Techniques and Practices

+1

B

Associate Teaching Professor, Acting Associate Chair Undergraduate and Combined Program Advisor for MATH/CSC

Computer Science

University of Victoria

Computer Science Education

Data Compression

+5

C

Teaching Professor, Outreach, Recruitment and Retention Coordinator

Computer Science

University of Victoria

Advanced Malware Detection Techniques

Experimental Learning in Engineering

Parallel Computing and Optimization Techniques

Software Testing and Debugging Techniques

+1

J

Professor & Associate Director

School of Computing

University of Utah

High-Performance Computing (compiler Optimization)

Programming Languages (compiler Optimization, Formal Verification and Testing)

Parallel Computing and Optimization Techniques

Real-Time Systems Scheduling

+3