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.

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
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
P
Programming Systems (ps)
Scientific Computing (sci)
Parallel Computing and Optimization Techniques
Distributed and Parallel Computing Systems
+3
S
Graphics (gr)
Human-Computer Interaction (hci)
Programming Systems (ps)
Scientific Computing (sci)
+5
R
Artificial Intelligence (ai)
Scientific Computing (sci)
Numerical Methods and Algorithms
Logic, Programming, and Type Systems
+3
J
Black Holes and Theoretical Physics
High-Energy Particle Collisions Research
Logic, Programming, and Type Systems
Particle Physics Theoretical and Experimental Studies
+1
R
Advanced Algebra and Logic
Algebraic Structures and Combinatorial Models
Homotopy and Cohomology in Algebraic Topology
Logic, Programming, and Type Systems
+1
A
Alex Summers

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
+5
R
Program Analysis & Verification
Programming Languages
Logic, Programming, and Type Systems
Software Engineering Research
+3
R
Abstract Interpretation
History of Computing
Logic in Computer Science
Program Analysis and Verification
+7
S
Compilers
Program Analysis and Optimization
Programming Language Implementation
Parallel Computing and Optimization Techniques
+4
K
Advanced Malware Detection Techniques
Cybercrime and Law Enforcement Studies
Information and Cyber Security
Logic, Programming, and Type Systems
+1
P
Automated Reasoning
Pattern Matching
Symbolic Protocol Analysis
Term Rewriting Systems
+5
D
Automated Deduction
Functional Analysis and Mathematical Physics With Applications to Quantum Computing
Semigroups and Automata Theory
Cryptography and Data Security
+3
O
Algorithms and Data Compression
Computability, Logic, AI Algorithms
DNA and Biological Computing
Logic, Programming, and Type Systems
+1
B
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
S
Application Security
Compiler Optimizations
Compilers
Domain-Specific Programming Languages
+11
R
Compilers for Embedded Systems
Embedded Domain-Specific Languages
Functional Languages
Program Analysis and Optimization
+5
Previous
124

...

7
Next