GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Programming Languages

Programming Languages

53 faculty research Programming Languages on GradNova.

M
Algebraic Geometry
Computer Algebra
High Performance Computing
Non-Linear System Solving
+7
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
B
Architecture & Parallel Computing
Computer Networking
Operating & Distributed Systems
Programming Languages
+5
D
Computing Education Research
Programming Languages
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
+3
M
Computing Education Research
Formal Methods
Programming Languages
Security & Privacy
+6
G
Computer Graphics & Animation
Programming Languages
Parallel Computing and Optimization Techniques
Computer Graphics and Visualization Techniques
+3
I
Ibrahim Numanagić

Associate Professor, Canada Research Chair, Tier 2, Computational Biology and Data Science and and Combined Program Advisor for HINF/CSC

Computer Science

University of Victoria

Bioinformatics
Computational Biology
Data Mining
Programming Languages
+6
B
Formal Methods
Gradual Type Systems
Human Factors
Programming Languages
+3
M
Michael L. Scott

Arthur Gould Yates Professor of Engineering Professor of Computer Science

Computer Science

University of Rochester

Operating Systems
Persistent Memory
Programming Languages
Synchronization
+2
Z
Zena Ariola

Associate Department Head Professor

Computer Science

University of Oregon

Lambda-Calculus
Logic
Programming Languages
Term Rewriting Systems
J
Architectures
Bioinformatics
Compilers
Computational Biology
+9
W
Medical Imaging
Program Analysis
Programming Languages
Software Engineering
+6
X
Analysis
Formal Methods
Program Analysis
Programming Languages
+2
F
Fatih Sen

Associate Professor of Teaching

Computer Science

University of Memphis

Blogging
Data Mining
Database Systems
Educational Technology
+5
C
Language-Based Security
Programming Languages
Software Engineering
Software Product Lines
+1
D
Animation
Computer Graphics
Computer Security
Data Visualization
+10
P
High-Performance Computing
Programming Languages
Software Engineering
Static and Dynamic Program Analysis
+5
F
Artificial Intelligence & Machine Learning
Programming Languages
Statistical & Theoretical Machine Learning
Gaussian Processes and Bayesian Inference
+4
A
Alex Summers

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
+5
C
Program Analysis & Verification
Programming Languages
Security & Privacy
Software Engineering
+5
R
Program Analysis & Verification
Programming Languages
Logic, Programming, and Type Systems
Software Engineering Research
+3
M
Computer Security
Programming Languages
Theoretical Computer Science
R
Abstract Interpretation
History of Computing
Logic in Computer Science
Program Analysis and Verification
+7
M
Compiler Design
Computer Architecture and Organization
Operating Systems
Programming Languages
+6
23
Next