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.

R

Associate Professor of Computer Science

Computer Science

University of Chicago

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Software Engineering Research

Software Testing and Debugging Techniques

+1

L

Lindsey A Kuper

Assistant Professor

Computer Science and Engineering

University of California, Santa Cruz

Distributed and Parallel Computing Systems

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

L

Professor

Computer Science and Engineering

University of California, Santa Cruz

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

...

V

Computer Science

University of California San Diego

Advanced Database Systems and Queries

Data Management and Algorithms

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

J

Joe Gibbs Politz

Computer Science

University of California San Diego

Logic, Programming, and Type Systems

Online Learning and Analytics

Software Engineering Research

Software Testing and Debugging Techniques

+1

M

Computer Science

University of California San Diego

Innovative Teaching and Learning Methods

Logic, Programming, and Type Systems

Online Learning and Analytics

Semigroups and Automata Theory

+1

R

Computer Science

University of California San Diego

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Software Engineering Research

+1

P

Paul N. Hilfinger

Professor of Teaching Emeritus

Computer Science

University of California, Berkeley

Programming Systems (ps)

Scientific Computing (sci)

Parallel Computing and Optimization Techniques

Distributed and Parallel Computing Systems

+3

S

Susan L. Graham

Professor Emerita

Computer Science

University of California, Berkeley

Human-Computer Interaction (hci)

Programming Systems (ps)

Scientific Computing (sci)

+5

R

Richard J. Fateman

Professor Emeritus

Computer Science

University of California, Berkeley

Artificial Intelligence (ai)

Scientific Computing (sci)

Numerical Methods and Algorithms

Logic, Programming, and Type Systems

+3

J

Jonathan Hudson

Associate Professor (Teaching)

Computer Science

University of Calgary

Black Holes and Theoretical Physics

High-Energy Particle Collisions Research

Logic, Programming, and Type Systems

Particle Physics Theoretical and Experimental Studies

+1

R

Professor

Computer Science

University of Calgary

Advanced Algebra and Logic

Algebraic Structures and Combinatorial Models

Homotopy and Cohomology in Algebraic Topology

Logic, Programming, and Type Systems

+1

A

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Programming Languages

Software Engineering

+5

R

Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Programming Languages

Logic, Programming, and Type Systems

Software Engineering Research

+3

R

Roberto Giacobazzi

Professor

Computer Science

University of Arizona

Abstract Interpretation

History of Computing

Logic in Computer Science

Program Analysis and Verification

+7

S

Professor

Computer Science

University of Arizona

Program Analysis and Optimization

Programming Language Implementation

Parallel Computing and Optimization Techniques

+4

K

Kimberly A. Cornell

Assistant Professor

Computer Science

University at Albany, State University of New York

Advanced Malware Detection Techniques

Cybercrime and Law Enforcement Studies

Information and Cyber Security

Logic, Programming, and Type Systems

+1

P

Paliath Narendran

Professor

Computer Science

University at Albany, State University of New York

Automated Reasoning

Pattern Matching

Symbolic Protocol Analysis

Term Rewriting Systems

+5

D

Visiting Assistant Professor - Instructional

Computer Science

University at Albany, State University of New York

Automated Deduction

Functional Analysis and Mathematical Physics With Applications to Quantum Computing

Semigroups and Automata Theory

Cryptography and Data Security

+3

O

Oscar H. Ibarra

Distinguished Professor Emeritus

Computer Science

Univ. of California - Santa Barbara

Algorithms and Data Compression

Computability, Logic, AI Algorithms

DNA and Biological Computing

Logic, Programming, and Type Systems

+1

B

Professor

Computer Science

University of California, Santa Barbara

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Security and Verification in Computing

Software Engineering Research

+1

R

Richard Townsend

Associate Teaching Professor

Computer Science

Tufts University

Compilers for Embedded Systems

Embedded Domain-Specific Languages

Functional Languages

Program Analysis and Optimization

+5

M

Milod Kazerounian

Assistant Teaching Professor

Computer Science

Tufts University

Dynamic Languages

Programming Languages

Logic, Programming, and Type Systems

+4

S

Professor

Computer Science

Tufts University

Computer-Aided Design for Integrated Circuits

Machine Learning for Systems Biology

Metabolic Engineering

Computational Drug Discovery Methods

+4