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.

A
Adam H Cannon

Teaching Professor of Computer Science

Computer Science

Columbia University

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
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
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
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
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
Crystallization and Solubility Studies
Formal Methods in Verification
Logic, Programming, and Type Systems
Synthesis and Characterization of Novel Inorganic/organometallic Compounds
+4
A
Computability, Logic, AI Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
Previous
1

...

57
Next