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.

J
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
U
Advanced Data Storage Technologies
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
L
Advanced Malware Detection Techniques
Security and Verification in Computing
User Authentication and Security Systems
Formal Methods in Verification
+2
M
Advanced Software Engineering Methodologies
Logic, Programming, and Type Systems
Software Engineering Research
Software Engineering Techniques and Practices
+1
D
Architecture and Computational Design
European History and Politics
Structural Engineering and Vibration Analysis
Logic, Reasoning, and Knowledge
+4
J
Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Computer Science

Columbia University

Algorithmic Fairness
Data Mining
Formal Methods
Probabilistic Programming
+6
W
Distributed and Parallel Computing Systems
Logic, Programming, and Type Systems
Multimedia Communication and Technology
Natural Language Processing Techniques
+1
D
Electrolyte and Hormonal Disorders
Food Security and Health in Diverse Populations
Ion Transport and Channel Regulation
Renal Function and Acid-Base Balance
+5
K
Advanced Database Systems and Queries
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
N
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
A
Cryptographic Implementations and Security
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
H
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
A
Computability, Logic, AI Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
A
Aaron Stump

John R. and Pamela Egan Chair of Computer Science Professor

Computer Science

Boston College

Advanced Database Systems and Queries
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
H
Advanced Algebra and Logic
Computability, Logic, AI Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
W
Computer Networks
Formal Methods
Functional Languages
Software Engineering Research
+4
H
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
Y
Cryptographic Implementations and Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
C
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
P
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
R
Cryospheric Studies and Observations
Hemiptera Insect Studies
Insect and Arachnid Ecology and Behavior
Plant and Biological Electrophysiology Studies
+6
Previous
1

...

10