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.

C
Carl Gunter

George and Ann Fisher Distinguished Professor in Engineering

Computer Science

University of Illinois Urbana-Champaign

Access Control and Trust
Advanced Malware Detection Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
V
Vikram Adve

Donald B. Gillies Professor in Computer Science

Computer Science

University of Illinois Urbana-Champaign

Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
S
Language-Based Security
Parallel Computing
Program Analysis
Programming Languages
+6
J
Advanced Algebra and Logic
Advanced Topology and Set Theory
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
A
Adam Shaw

Senior Instructional Professor of Computer Science

Computer Science

University of Chicago

Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Interconnection Networks and Systems
Logic, Programming, and Type Systems
+1
L
Lamont Kenneth Samuels

Associate Clinical Professor, Masters Program in Computer Science

Computer Science

University of Chicago

Computer Graphics and Visualization Techniques
Distributed and Parallel Computing Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
C
Advanced Malware Detection Techniques
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
R
Communications Systems
Compilers
Programming Languages
Software Technologies
+6
R
Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques
Logic, Programming, and Type Systems
+1
P
Algèbre
Analyse Des Algorithmes Et De La Complexité
Autres Informatique Théorique Et Mathématiques Computationnelles, N.c.a.
Informatique Théorique Et Mathématiques Computationnelles
+6
B
Algèbre
Fondements, Logique Et Théorie Des Ensembles En Mathématique
Langages De Programmation Et Génie Logiciel
Langages De Programmation Et Génie Logiciel, N.c.a.
+7
J
Josée Desharnais

Département d'informatique et de génie logiciel

Computer Science

Université Laval

Autres Informatique Théorique Et Mathématiques Computationnelles, N.c.a.
Informatique Théorique Et Mathématiques Computationnelles
Intelligence Artificielle (ia)
Intelligence Artificielle, N.c.a.
+8
R
Applications De La Logique En Informatique : Logiques Modales, Automates
Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications
Formal Methods in Verification
Service-Oriented Architecture and Web Services
+3
Q
Analyse Dynamique De Programmes: Concolic Testing, Fuzzing
Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification
Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels
Sécurité Des Applications
+5
R
Langages De Programmation: Systèmes De Typage, Sémantique, Fondements Et Conception
Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
Programmation Concurrente Et Parallèle: Langages, Systèmes De Typage, Sémantique, Vérification
Logic, Programming, and Type Systems
+4
M
Advanced Software Engineering Methodologies
Business Process Modeling and Analysis
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
N
Formal Methods
Logic in Computer Science
Model-Based Design
Models of Computation
+6
W
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
G
Machine Learning
Software Engineering Research
Advanced Software Engineering Methodologies
Logic, Programming, and Type Systems
+2
Y
Yuanlin Zhang, Ph.D.

Professor and Research Program Coordinator

Computer Science

Texas Tech University

Constraint Satisfaction and Optimization
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
T
High-Level Programming Languages and Efficient Implementations
Maintainability
Query Optimization
Reliable and Fast Code
+5
N
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
P
Computer Architecture, Security, Hardware/software Systems
Energy, Environment, and Sustainability
Environmental Sensors, Embedded Systems, Remote Sensing
Software Systems, Security, Distributed Systems and Networks
+5
E
Formal Methods in Verification
Logic, Programming, and Type Systems
Mathematics, Computing, and Information Processing
Software Engineering Research
+1
Previous
13

...

11
Next