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.

J

Assistant Professor

Computer Science

Carnegie Mellon University

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Logic, Programming, and Type Systems

+1

B

Benjamin Titzer

Associate Research Professor

Computer Science

Carnegie Mellon University

Embedded Systems Design Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

S

Stephanie Ginette Balzer

Assistant Professor

Computer Science

Carnegie Mellon University

Advanced Software Engineering Methodologies

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

...

J

Associate Professor

Computer Science

Carnegie Mellon University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

I

Iliano Cervesato

Teaching Professor

Computer Science

Carnegie Mellon University

Advanced Authentication Protocols Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

J

Joseph Earl Reeves

Post Doctoral Fellow

Computer Science

Carnegie Mellon University

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Programming, and Type Systems

Natural Language Processing Techniques

+1

F

Professor

Computer Science

Carnegie Mellon University

Access Control and Trust

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

H

Assistant Professor

Computer Science

Carnegie Mellon University

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Scientific Computing and Data Management

+1

H

Affiliated Special Faculty

Computer Science

Carnegie Mellon University

Access Control and Trust

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

U

Umut Akgun Acar

Professor

Computer Science

Carnegie Mellon University

Advanced Data Storage Technologies

Distributed and Parallel Computing Systems

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

+1

J

Jonathan E Aldrich

Professor

Computer Science

Carnegie Mellon University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

J

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Computer Science

Columbia University

Algorithmic Fairness

Probabilistic Programming

+6

W

Professor

Computer Science

Carleton University

Distributed and Parallel Computing Systems

Logic, Programming, and Type Systems

Multimedia Communication and Technology

Natural Language Processing Techniques

+1

D

Professor

Computer Science

Carleton University

Computability, Logic, AI Algorithms

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+5

K

Kimball Germane

Assistant Professor

Computer Science

Brigham Young University

Advanced Database Systems and Queries

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

N

Lecturer

Computer Science

Boston University

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

A

Alley Stoughton

Research Professor

Computer Science

Boston University

Cryptographic Implementations and Security

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

H

Associate Professor

Computer Science

Boston University

Crystallization and Solubility Studies

Formal Methods in Verification

Logic, Programming, and Type Systems

Synthesis and Characterization of Novel Inorganic/organometallic Compounds

+4

A

Professor

Computer Science

Boston University

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

A

John R. and Pamela Egan Chair of Computer Science Professor

Computer Science

Boston College

Advanced Database Systems and Queries

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

H

Howard Straubing

Professor

Computer Science

Boston College

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

Z

Zerksis D. Umrigar

Lecturer

Computer Science

Binghamton University

Automating Courseware Development

Programming Languages

Systems Programming

Logic, Programming, and Type Systems

+4

W

William Hallahan

Assistant Professor

Computer Science

Binghamton University

Computer Networks

Functional Languages

Software Engineering Research

+4

H

Harley Eades, PhD

Associate Professor

Computer Science

Augusta University

Advanced Algebra and Logic

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1