GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Logic, Programming, and Type Systems

Logic, Programming, and Type Systems

153 faculty research Logic, Programming, and Type Systems on GradNova.

S
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
M
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
S
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
Advanced Software Engineering Methodologies
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
K
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Parallel Computing and Optimization Techniques
V
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
+1
Y
Constraint Satisfaction and Optimization
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
J
Advanced Algebra and Logic
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
R
Rohit Chadha

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
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
+1
G
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
G
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
T
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
M
Michael Zapp

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
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
Formal Methods
Interactive Theorem Proving
Math and Computer Science Intersection
Logic, Programming, and Type Systems
+4
J
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
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
P
Formal Methods in Verification
Logic, Programming, and Type Systems
Machine Learning and Algorithms
Semigroups and Automata Theory
+1
G
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
Previous
13

...

7
Next