GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods

Formal Methods

60 faculty research Formal Methods on GradNova.

D
Binary Analysis
Computer Security
Formal Methods
Machine Learning
+5
D
Automated Reasoning
Formal Methods
Logic
Programming Languages
+5
A
Automated Analysis of Fault-Tolerance
Formal Methods
Software Engineering
Distributed Systems and Fault Tolerance
+4
X
Autonomous Vehicles
Computer Security
Control
Data Mining
+10
C
Algebraic Perspectives
Coalgebraic Perspectives
Formal Methods
Iteration-Theoretic Perspectives
+3
S
Scott Smith

Director of Graduate Studies and Professor

Computer Science

Johns Hopkins University

Formal Methods
Programming Languages
Logic, Programming, and Type Systems
Formal Methods in Verification
+3
C
Constantinos Constantinides

Associate Professor, Computer Science and Software Engineering

Computer Science

Concordia University

Formal Methods
Model-Driven Software Engineering
Schizophrenia Research and Treatment
Formal Methods in Verification
+3
J
Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Computer Science

Columbia University

Algorithmic Fairness
Data Mining
Formal Methods
Probabilistic Programming
+6
E
Elijah Rivera

Assistant Professor, Computer Science

Computer Science

Brandeis University

Classroom Tools/automation
Computing Education (csed) – Pedagogic Methods
Formal Methods
Programming Languages (pl) – Program Synthesis
+3
P
Ping Yang

Professor and Associate Director for Research and Graduate Programs

Computer Science

Binghamton University

Access Control
Formal Methods
Information and Systems Security
Policy Analysis
+2
W
Computer Networks
Formal Methods
Functional Languages
Software Engineering Research
+4
E
Formal Methods
Program Analysis
Programming Languages and Runtimes
Bayesian Modeling and Causal Inference
+4
Previous
12