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.

M

Professor

Computer Science

University of Texas - El Paso

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Engineering Research

Software Reliability and Analysis Research

+1

Y

Associate Professor

Computer Science

University of Texas - El Paso

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Engineering Research

+1

E

Assistant Professor of Instruction

Computer Science

University of Texas at Dallas

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

Semantic Web and Ontologies

+1

...

...

S

Assistant Professor of Instruction

Computer Science

University of Texas at Dallas

Advanced Authentication Protocols Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

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

J

Computer Science

University of Texas at Arlington

Advanced Database Systems and Queries

Data Mining Algorithms and Applications

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

M

Martin Carlisle

Associate Department Head, Computer Science & Engineering

Computer Science

Texas A&M University

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+1

E

Charles Berendsen Chair Associate Professor

Computer Science

Stevens Institute of Technology

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

D

Associate Professor

Computer Science

Stevens Institute of Technology

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

E

Eduardo Bonelli

Teaching Professor

Computer Science

Stevens Institute of Technology

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Semantic Web and Ontologies

+1

M

Michael Genesereth

Associate Professor of Computer Science

Computer Science

Stanford University

Advanced Database Systems and Queries

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

C

Mizuki Asano and Thomas McGrath Professor

Computer Science

Stanford University

Adversarial Robustness in Machine Learning

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

A

Alcatel-Lucent Professor of Communications and Networking, Professor of Particle Physics and Astrophysics, and of Photon Science

Computer Science

Stanford University

Cloud Computing and Resource Management

Distributed and Parallel Computing Systems

Interconnection Networks and Systems

Logic, Programming, and Type Systems

+1

T

Thomas Ferguson

Associate Professor, Graduate Program Director

Computer Science

Rensselaer Polytechnic Institute

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Philosophy and Theoretical Science

S

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science

Computer Science

Purdue University System

Distributed Systems

Programming Languages and Compilers

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

+3

D

Professor, Director of Undergraduate Studies

Computer Science

Princeton University

Programming Languages & Compilers

Software-Defined Networks and 5G

Logic, Programming, and Type Systems

Formal Methods in Verification

+2

M

Assistant Professor

Computer Science

Princeton University

Programming Languages & Compilers

Systems & Networking

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

+3

Z

Zachary Kincaid

Associate Professor, Director of Graduate Studies-Admissions

Computer Science

Princeton University

Programming Languages & Compilers

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Testing and Debugging Techniques

+2

A

Eugene Higgins Professor of Computer Science, Emeritus

Computer Science

Princeton University

Law & Public Policy

Programming Languages & Compilers

Security & Privacy

Logic, Programming, and Type Systems

+4

B

Associate Professor

Computer Science

Portland State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

Y

Assistant Professor

Computer Science

Portland State University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

J

Professor

Computer Science

Portland State University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

K

Senior Instructor

Computer Science

Portland State University

Elevator Systems and Control

Financial Markets and Investment Strategies

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1