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 Research Faculty | GradNova

/

/

Formal Methods

Formal Methods

40 faculty research Formal Methods on GradNova.

M

Lecturer

Computer Science

The University of Texas at Austin

Scientific Computing

Immune Cell Function and Interaction

T-Cell and B-Cell Immunology

+3

J

Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus

Computer Science

The University of Texas at Austin

K

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

Computer Science

The University of Texas at Austin

Programming Languages and Compilers

Formal Methods in Verification

Logic, Programming, and Type Systems

+3

S

Swarat Chaudhuri

Professor

Computer Science

The University of Texas at Austin

Machine Learning

Programming Languages and Compilers

Formal Methods in Verification

+4

M

M. Zubair Malik, Ph.D.

Assistant Professor

Computer Science

North Dakota State University

Application of Artificial Intelligence in Program Analysis

Automated Program Repair

Program Analysis

+6

M

Matthew Revelle

Assistant Professor

Computer Science

Montana State University

Binary Analysis

Computer Security

Machine Learning

+5

C

Assistant Professor

Computer Science

Montana State University

Automated Reasoning

Programming Languages

+5

A

Associate Professor, Computer Science

Computer Science

Michigan Technological University

Automated Analysis of Fault-Tolerance

Software Engineering

Distributed Systems and Fault Tolerance

+4

X

Assistant Professor

Computer Science

Louisiana State University

Autonomous Vehicles

Embedded Systems

+7

S

Director of Graduate Studies and Professor

Computer Science

Johns Hopkins University

Programming Languages

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

+3

A

Assistant Professor

Computer Science

Concordia University

Applied Machine Learning

Programming Languages

Software Engineering

J

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Computer Science

Columbia University

Algorithmic Fairness

Probabilistic Programming

+6

E

Assistant Professor, Computer Science

Computer Science

Brandeis University

Classroom Tools/automation and Programming Languages (pl) – Program Synthesis

Computing Education (csed) – Pedagogic Methods

Teaching and Learning Programming

+2

P

Professor and Associate Director for Research and Graduate Programs

Computer Science

Binghamton University

Information and Systems Security

Policy Analysis

+5

W

William Hallahan

Assistant Professor

Computer Science

Binghamton University

Computer Networks

Functional Languages

Software Engineering Research

+4

E

Assistant Professor

Computer Science

Binghamton University

Program Analysis

Programming Languages and Runtimes

Bayesian Modeling and Causal Inference

+4