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.

M
Michael Wilder

Clinical Faculty Assistant Professor

Computer Science

University of Idaho

Embedded Systems Design Techniques
Interconnection Networks and Systems
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
P
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Formal Methods in Verification
+1
K
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Formal Methods in Verification
+1
G
Greg Kulczycki

Associate Professor of Practice

Computer Science

Virginia Tech

Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Service-Oriented Architecture and Web Services
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
A
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Machine Learning in Bioinformatics
+1
Y
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Misinformation and Its Impacts
+1
M
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Petri Nets in System Modeling
+1
G
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
D
Derek Rayside

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Software Engineering Methodologies
Autonomous Vehicle Technology and Safety
Logic, Programming, and Type Systems
Software Engineering Research
+1
P
Patrick Lam

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
+1
A
Arie Gurfinkel

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
+1
W
Werner Dietl

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
R
Logic, Programming, and Type Systems
Mathematics, Computing, and Information Processing
Numerical Methods and Algorithms
Polynomial and Algebraic Computation
S
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Mathematical and Theoretical Analysis
Semantic Web and Ontologies
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
D
Computing Education Research
Programming Languages
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
+3
M
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
Software Engineering Techniques and Practices
+1
B
Computational Complexity
Cryptography
Formal Methods
Foundations of Security
+6
J
Computational Fabrication
Logic, Programming, and Type Systems
Global Trade and Economics
Robot Manipulation and Learning
+2
B
Formal Methods
Gradual Type Systems
Human Factors
Programming Languages
+3
M
Programming Languages (language Implementation)
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+2
2

...

7
Next