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.

Formal Methods in Verification Research Faculty | GradNova

/

/

Formal Methods in Verification

Formal Methods in Verification

167 faculty research Formal Methods in Verification on GradNova.

M

Mukund Raghothaman

Assistant Professor of Computer Science

Computer Science

University of Southern California

Formal Methods in Verification

Machine Learning and Algorithms

Software Engineering Research

Software System Performance and Reliability

+1

M

Senior Research Associate and Part-Time Lecturer of Computer Science

Computer Science

University of Southern California

Embedded Systems Design Techniques

Formal Methods in Verification

Parallel Computing and Optimization Techniques

Petri Nets in System Modeling

+1

L

Adjunct Research Assistant Professor of Computer Science and Electrical and Computer Engineering

Computer Science

University of Southern California

Advanced Control Systems Optimization

Formal Methods in Verification

High-Energy Particle Collisions Research

Particle Physics Theoretical and Experimental Studies

+1

...

S

Associate Professor of Computer Science

Computer Science

University of Southern California

Auction Theory and Applications

Formal Methods in Verification

Game Theory and Applications

Game Theory and Voting Systems

+1

S

Stephanie Weirich

Professor

Computer Science

University of Pennsylvania

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

M

Professor

Computer Science

University of Pennsylvania

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+1

R

Professor

Computer Science

University of Pennsylvania

Advanced Control Systems Optimization

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Optimization and Search Problems

+1

K

Teaching Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Computer Science Education and Pedagogy

Hardware Security

Symbolic Execution

Security and Verification in Computing

+4

M

Associate Professor

Computer Science

University of North Carolina at Chapel Hill

Applications to Computer Security

Asynchronous and Mixed-Timing Circuits and Systems

Emerging Computing Technologies

Energy-Efficient Graphics Hardware

+7

P

Parasara Sridhar Duggirala

Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Embedded and Real-Time Systems

Embedded Systems

+8

S

Samarjit Chakraborty

William R. Kenan, Jr. Distinguished Professor

Computer Science

University of North Carolina at Chapel Hill

Distributed Embedded Systems

Electromobility

Embedded Control Systems

Energy Storage Systems

+8

P

Pavithra Prabhakar

Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software

Computer Science

University of New Mexico

Formal Methods in Verification

Logic, Programming, and Type Systems

Petri Nets in System Modeling

Real-Time Systems Scheduling

+1

D

Associate Professor

Computer Science

University of New Hampshire at Manchester

Advanced Malware Detection Techniques

Formal Methods in Verification

Security and Verification in Computing

Software Engineering Research

+1

M

Michel Charpentier

Associate Professor

Computer Science

University of New Hampshire at Manchester

Advanced Software Engineering Methodologies

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

V

Victor Winter, Ph.D.

Professor

Computer Science

University of Nebraska at Omaha

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

+1

R

Director, Cybersecurity Center at Mizzou Associate Professor

Computer Science

University of Missouri

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Privacy-Preserving Technologies in Data

+1

E

Professor

Computer Science

University of Minnesota

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

+1

G

Gopalan Nadathur

Professor

Computer Science

University of Minnesota

Advanced Algebra and Logic

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

M

Professor, Distinguished University Teaching Professor

Computer Science

University of Minnesota

Advanced Software Engineering Methodologies

Formal Methods in Verification

Software Engineering Research

Software Reliability and Analysis Research

+1

V

Victor C. Pestien

Assoc. Professor

Computer Science

University of Miami

Advanced Queuing Theory Analysis

Economic Theories and Models

Formal Methods in Verification

Probability and Risk Models

+1

G

Geoff Sutcliffe

Professor

Computer Science

University of Miami

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

T

Tiago Cogumbreiro

Associate Professor

Computer Science

University of Massachusetts Boston

Distributed and Parallel Computing Systems

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

J

Jennifer Lohoefener

Assistant Research Professor

Computer Science

University of Kansas

Formal Methods in Verification

Intelligent Tutoring Systems and Adaptive Learning

Manufacturing Process and Optimization

Model-Driven Software Engineering Techniques

+1

P

Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Computer Science

University of Kansas

Formal Methods, Verification, and Synthesis

Specification Languages

System-Level Design Languages and Semantics

Trusted Computing

+5