GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods in Verification

Formal Methods in Verification

351 faculty research Formal Methods in Verification on GradNova.

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
M
Mihalis Yannakakis

Percy K. and Vida L. W. Hudson Professor of Computer Science

Computer Science

Columbia University

Combinatorial Optimization
Complexity Theory
Database Systems
Testing and Verification
+6
T
Toniann Pitassi

Jeffrey L. and Brenda Bleustein Professor of Engineering

Computer Science

Columbia University

Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Cryptography and Data Security
Formal Methods in Verification
+1
S
Compilers
Computer-Aided Design
Digital Systems
Embedded Systems
+7
S
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
S
Advanced Software Engineering Methodologies
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+2
I
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
J
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Natural Language Processing Techniques
+1
F
Access Control and Trust
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+2
H
Access Control and Trust
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
R
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
L
Advanced Malware Detection Techniques
Security and Verification in Computing
User Authentication and Security Systems
Formal Methods in Verification
+2
J
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Reinforcement Learning in Robotics
E
E-Learning and Knowledge Management
Persona Design and Applications
Robotics and Automated Systems
Advanced Software Engineering Methodologies
+4
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
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Hepatitis C Virus Research
Model-Driven Software Engineering Techniques
+5
D
Electrolyte and Hormonal Disorders
Food Security and Health in Diverse Populations
Ion Transport and Channel Regulation
Renal Function and Acid-Base Balance
+5
E
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
K
Advanced Database Systems and Queries
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
N
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
A
Cryptographic Implementations and Security
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
H
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
Previous
1

...

1315
Next