GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Program Analysis

Program Analysis

16 faculty research Program Analysis on GradNova.

S
Language-Based Security
Parallel Computing
Program Analysis
Programming Languages
+6
O
Omar Chowdhury

Associate Professor, SUNY Empire Innovation Scholar

Computer Science

Stony Brook University

Network Security
Privacy
Program Analysis
Program Verification
+9
A
<p>cyber Security
And Pentesting.</p>
Automated Vulnerability Analysis
Binary Analysis
+11
X
Xinyu Wang

Associate Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Analysis
Formal Methods
Program Analysis
Programming Languages
+2
S
Satish Narayanasamy

Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Computer Architecture
Confidential Computing
Health Systems
Program Analysis
+5
R
Ryan Huang

Associate Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Cloud and Mobile Computing
Distributed Systems
Operating Systems
Program Analysis
+6
S
Applied Cryptography
Internet Measurement
Program Analysis
System and Software Security
S
Application Security
Compiler Optimizations
Compilers
Domain-Specific Programming Languages
+11
M
Application of Artificial Intelligence in Program Analysis
Automated Program Repair
Formal Methods
Program Analysis
+6
X
AI Safety and Robustness
Logic Programming
Machine Learning
Neuro-Symbolic Learning and Reasoning
+8
U
Compilers
Mobile Systems
Program Analysis
Software Engineering
+5
K
Keren Zhou

Assistant Professor, Department of Computer Science

Computer Science

George Mason University

High Performance Computing
Machine Learning
Parallel Algorithms
Program Analysis
+5
W
Wassim (Wes) Masri

Professor (Teaching), Department of Computer Science

Computer Science

George Mason University

Program Analysis
Software Engineering
Software Testing
B
AI Based Software Engineering
Empirical Software Engineering
Program Analysis
Software Testing
+5
D
Computer Security
Mobile and Embedded Software
Privacy
Program Analysis
+1
E
Formal Methods
Program Analysis
Programming Languages and Runtimes
Bayesian Modeling and Causal Inference
+4