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
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
K
Elevator Systems and Control
Financial Markets and Investment Strategies
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
M
Constraint Satisfaction and Optimization
E-Learning and COVID-19
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
L
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Software Engineering Research
+1
M
Advanced Software Engineering Methodologies
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
C
Automated Reasoning
Formal Methods
Logic
Programming Languages
+5
D
Distributed and Parallel Computing Systems
Experimental Learning in Engineering
Interconnection Networks and Systems
Logic, Programming, and Type Systems
+1
J
Compilers
Functional Programming
Programming Languages
Genetic Associations and Epidemiology
+4
B
Logic and Computation
Programming Language Theory
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+3
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Reliability and Analysis Research
+1
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
S
Scott Smith

Director of Graduate Studies and Professor

Computer Science

Johns Hopkins University

Formal Methods
Programming Languages
Logic, Programming, and Type Systems
Formal Methods in Verification
+3
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Real-Time Systems Scheduling
+1
G
Advanced Neural Network Applications
Embedded Systems Design Techniques
Logic, Programming, and Type Systems
Nuclear Physics Research Studies
+1
S
Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science

Computer Science

Indiana University Indianapolis

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

Gordon McKay Professor of 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
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
T
Taesoo Kim

Professor and Director of GTS3, Joint with the

College of Computing

Georgia Institute of Technology

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
S
Formal Methods in Verification
Game Theory and Applications
Logic, Programming, and Type Systems
Reinforcement Learning in Robotics
+1
S
Susan H. Rodger

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
Previous
1

...

467
Next