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.

L
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Quantum Computing Algorithms and Architecture
+1
S
Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science, Associate Professor

Computer Science

Indiana University

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
C
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Natural Language Processing Techniques
+1
S
Stephen Chong

Director of Undergraduate Studies, Computer Science

Computer Science

Harvard University

Advanced Malware Detection Techniques
Cloud Data Security Solutions
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
+1
N
Nada Amin

Associate Professor of Computer Science

Computer Science

Harvard University

Advanced Database Systems and Queries
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
Q
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
A
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
S
Formal Methods in Verification
Game Theory and Applications
Logic, Programming, and Type Systems
Reinforcement Learning in Robotics
+1
S
Susan H. Rodger

Director of Undergraduate Studies, Professor of the Practice of Computer Science

Computer Science

Duke University

Logic, Programming, and Type Systems
Online Learning and Analytics
Open Education and E-Learning
Semigroups and Automata Theory
+1
G
Geoffrey Mainland

Associate Professor and Interim Department Head, Computer Science

Computer Science

Drexel University

High-Level Programming Languages and Runtime Support for Non-General Purpose Computation
Parallel Computing and Optimization Techniques
Embedded Systems Design Techniques
Energy Efficient Wireless Sensor Networks
+2
C
Colin Gordon

Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science

Computer Science

Drexel University

Computational Linguistics
Program Verification for Operating System Kernels
Programming Languages and Formal Methods
Type and Effect Systems
+5
A
Data Mining
Machine Learning
Pattern Recognition
Teaching and Learning Programming
+4
J
Advanced Data Storage Technologies
Computational Physics and Python Applications
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
+1
S
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
J
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
+1
B
Embedded Systems Design Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
S
Advanced Software Engineering Methodologies
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+2
I
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
J
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Natural Language Processing Techniques
+1
F
Access Control and Trust
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+2
H
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Scientific Computing and Data Management
+1
H
Access Control and Trust
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
R
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
Previous
1

...

911
Next