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.

Logic, Programming, and Type Systems Research Faculty | GradNova

/

/

Logic, Programming, and Type Systems

Logic, Programming, and Type Systems

145 faculty research Logic, Programming, and Type Systems 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

P

Piotr Wojciechowski

Assistant Professor

Computer Science

West Virginia University

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Constraint Satisfaction and Optimization

Formal Methods in Verification

+1

K

Professor

Computer Science

West Virginia University

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Constraint Satisfaction and Optimization

Formal Methods in Verification

+1

...

G

Associate Professor of Practice

Computer Science

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Service-Oriented Architecture and Web Services

+1

J

Professor, Computer Science

Computer Science

University of Wisconsin–Milwaukee

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

A

Assistant Professor

Computer Science

University of Wisconsin–Madison

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Machine Learning in Bioinformatics

+1

Y

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Misinformation and Its Impacts

+1

M

Assistant 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

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

G

Gregor Richards

Associate Professor, Teaching Stream

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+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

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

W

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

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

R

Professor

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems

Mathematics, Computing, and Information Processing

Numerical Methods and Algorithms

Polynomial and Algebraic Computation

S

Professor, and University Research Chair

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Mathematical and Theoretical Analysis

Semantic Web and Ontologies

Z

Zachary Tatlock

Professor

Computer Science

University of Washington

Programming Languages

Parallel Computing and Optimization Techniques

+4

D

Professor & Vice Director

Computer Science

University of Washington

Computing Education Research

Programming Languages

Parallel Computing and Optimization Techniques

Logic, Programming, and Type Systems

+3

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

Professor

Computer Science

University of Victoria

Computational Complexity

Foundations of Security

+6

J

Assistant Professor

School of Computing

University of Utah

Computational Fabrication

Logic, Programming, and Type Systems

Global Trade and Economics

Robot Manipulation and Learning

+2

B

Assistant Professor

School of Computing

University of Utah

Gradual Type Systems

Programming Languages

+3

M

Professor

School of Computing

University of Utah

Programming Languages (language Implementation)

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+2

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