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 Pennsylvania

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Software Engineering Research

+1

S

Shreya Banerjee

Assistant Professor

Computer Science

University of New Orleans

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

Face and Expression Recognition

Logic, Programming, and Type Systems

+1

P

Pavithra Prabhakar

Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software

Computer Science

University of New Mexico

Formal Methods in Verification

Logic, Programming, and Type Systems

Petri Nets in System Modeling

Real-Time Systems Scheduling

+1

...

M

Michel Charpentier

Associate Professor

Computer Science

University of New Hampshire at Manchester

Advanced Software Engineering Methodologies

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

K

Professor

Computer Science

University of New Brunswick

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Parallel Computing and Optimization Techniques

V

Victor Winter, Ph.D.

Professor

Computer Science

University of Nebraska at Omaha

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

+1

Y

Yuliya Lierler, Ph.D.

Professor

Computer Science

University of Nebraska at Omaha

Constraint Satisfaction and Optimization

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

J

Jorge Fandinno, Ph.D.

Assistant Professor

Computer Science

University of Nebraska at Omaha

Advanced Algebra and Logic

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

R

Director, Cybersecurity Center at Mizzou Associate Professor

Computer Science

University of Missouri

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Privacy-Preserving Technologies in Data

+1

E

Professor

Computer Science

University of Minnesota

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

+1

G

Gopalan Nadathur

Professor

Computer Science

University of Minnesota

Advanced Algebra and Logic

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

G

Geoff Sutcliffe

Professor

Computer Science

University of Miami

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

T

Tiago Cogumbreiro

Associate Professor

Computer Science

University of Massachusetts Boston

Distributed and Parallel Computing Systems

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

M

Senior Instructor, Associate Head Undergraduate (On leave)

Computer Science

University of Manitoba

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Petri Nets in System Modeling

M

Associate Professor

Computer Science

University of Kentucky

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software Engineering Research

+1

P

Prasad Kulkarni

Professor, Associate Chair for Graduate Studies

Computer Science

University of Kansas

Compiler Optimizations

Software Performance

Software Security

Virtual Machines and Runtime Systems

+5

P

Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Computer Science

University of Kansas

Formal Methods, Verification, and Synthesis

Specification Languages

System-Level Design Languages and Semantics

Trusted Computing

+5

K

Katherine Kosaian

Assistant Professor

Computer Science

University of Iowa

Interactive Theorem Proving

Math and Computer Science Intersection

Logic, Programming, and Type Systems

+4

J

Assistant Professor

Computer Science

University of Georgia

Advanced Condensed Matter Physics

EEG and Brain-Computer Interfaces

Logic, Programming, and Type Systems

Magnetic and Transport Properties of Perovskites and Related Materials

+1

S

Associate Professor

Computer Science

University of Delaware

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

P

Visiting Assistant Professor

Computer Science

University of Colorado Boulder

Formal Methods in Verification

Logic, Programming, and Type Systems

Machine Learning and Algorithms

Semigroups and Automata Theory

+1

G

Assistant Professor

Computer Science

University of Colorado Boulder

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

B

Bor-Yuh Evan Chang

Associate Professor, Co-Associate Chair for Graduate Education

Computer Science

University of Colorado Boulder

Advanced Malware Detection Techniques

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Engineering Research

+1

J

Professor of Computer Science

Computer Science

University of Chicago

Distributed and Parallel Computing Systems

Embedded Systems Design Techniques

Formal Methods in Verification

Logic, Programming, and Type Systems

+1