GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Logic, Programming, and Type Systems

Logic, Programming, and Type Systems

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

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, Acting Associate Dean (Programs)

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
S
Sheng Chen

Associate Professor, Lockheed Martin/BORSF Endowed Professor

Computer Science

University of Louisiana at Lafayette

Language-Based Security
Programming Languages
Software Engineering
Software Product Lines
+6
M
Advanced Software Engineering Methodologies
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
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 in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Natural Language Processing Techniques
+1
L
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Security and Verification in Computing
+1
A
Advanced Database Systems and Queries
Data Management and Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
W
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
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
S
Advanced Control Systems Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Reliability and Analysis Research
+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
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
B
Advanced Malware Detection Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
J
Distributed and Parallel Computing Systems
Embedded Systems Design Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
R
Ravi Chugh

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
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
L
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
V
Advanced Database Systems and Queries
Data Management and Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
J
Logic, Programming, and Type Systems
Online Learning and Analytics
Software Engineering Research
Software Testing and Debugging Techniques
+1
M
Innovative Teaching and Learning Methods
Logic, Programming, and Type Systems
Online Learning and Analytics
Semigroups and Automata Theory
+1
Previous
1

...

57

...

11
Next