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

Mahfuza Farooque

Associate Teaching Professor

Computer Science and Engineering

Pennsylvania State University

Constraint Satisfaction and Optimization

E-Learning and COVID-19

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

L

Professor

Computer Science

Oakland University

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Engineering Research

+1

M

Mehdi Bagherzadeh

Associate Professor

Computer Science

Oakland University

Advanced Software Engineering Methodologies

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+1

...

C

Assistant Professor

Computer Science

Montana State University

Automated Reasoning

Programming Languages

+5

D

David Poplawski

Professor Emeritus, Computer Science

Computer Science

Michigan Technological University

Distributed and Parallel Computing Systems

Experimental Learning in Engineering

Interconnection Networks and Systems

Logic, Programming, and Type Systems

+1

J

Jacob Errington

Computer Science

McGill University

Functional Programming

Programming Languages

Genetic Associations and Epidemiology

+4

B

Brigitte Pientka

Professor

Computer Science

McGill University

Logic and Computation

Programming Language Theory

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+3

J

University Distinguished Professor

Computer Science

Kansas State University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Reliability and Analysis Research

+1

T

Associate Professor

Computer Science

Kansas State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Software Engineering Research

+1

S

Director of Graduate Studies and Professor

Computer Science

Johns Hopkins University

Programming Languages

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

+3

T

Tichakorn (Nok) Wongpiromsarn

Associate Professor

Computer Science

Iowa State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Real-Time Systems Scheduling

+1

G

Associate Professor

Computer Science

Iowa State University

Advanced Neural Network Applications

Embedded Systems Design Techniques

Logic, Programming, and Type Systems

Nuclear Physics Research Studies

+1

S

Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science

Computer Science

Indiana University Indianapolis

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+1

C

Chung-chieh Shan

Associate Professor

Computer Science

Indiana University Indianapolis

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Natural Language Processing Techniques

+1

S

Gordon McKay Professor of Computer Science

Computer Science

Harvard University

Advanced Malware Detection Techniques

Cloud Data Security Solutions

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

+1

Q

Associate Professor

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+1

A

Assistant Professor, Starting Fall'26

College of Computing

Georgia Institute of Technology

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

T

Professor and Director of GTS3, Joint with the

College of Computing

Georgia Institute of Technology

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

S

Assistant Professor

College of Computing

Georgia Institute of Technology

Formal Methods in Verification

Game Theory and Applications

Logic, Programming, and Type Systems

Reinforcement Learning in Robotics

+1

S

Susan H. Rodger

Professor of the Practice of Computer Science

Computer Science

Duke University

Logic, Programming, and Type Systems

Online Learning and Analytics

Open Education and E-Learning

Semigroups and Automata Theory

+1

G

Geoffrey Mainland

Associate Professor and Interim Department Head, Computer Science

Computer Science

Drexel University

High-Level Programming Languages and Runtime Support for Non-General Purpose Computation

Parallel Computing and Optimization Techniques

Embedded Systems Design Techniques

Energy Efficient Wireless Sensor Networks

+2

A

Teaching Professor of Computer Science

Computer Science

Columbia University

Machine Learning

Pattern Recognition

Teaching and Learning Programming

+4

J

Adjunct Professor of the Practice

Computer Science

Carnegie Mellon University

Advanced Data Storage Technologies

Computational Physics and Python Applications

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

+1

S

Adjunct Faculty

Computer Science

Carnegie Mellon University

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Semantic Web and Ontologies

+1