GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Security and Verification in Computing Research Faculty | GradNova

/

/

Security and Verification in Computing

Security and Verification in Computing

180 faculty research Security and Verification in Computing on GradNova.

R

Ruslan Nikolaev

Assistant Professor

Computer Science and Engineering

Pennsylvania State University

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

Real-Time Systems Scheduling

+1

K

Associate Professor

Electrical Engineering and Computer Science

Oregon State University

Computer Security

Networking and Computer Systems

Parallel Computing and Optimization Techniques

Advanced Data Storage Technologies

+3

R

Associate Professor

Electrical Engineering and Computer Science

Oregon State University

Computer Security

Networking and Computer Systems

Smart Grid Security and Resilience

+4

...

A

Associate Professor

Computer Science

Oakland University

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Geotechnical Engineering and Soil Stabilization

Network Security and Intrusion Detection

+1

A

Senior Lecturer, Academic Associate

Computer Science

Naval Postgraduate School

Formal Methods Analysis

High Assurance System Verification

Network Virtualization

Security Modeling of Systems

+5

J

Professor, Computer Science

Computer Science

Michigan Technological University

Computer Science Education

Computer Security

Distributed Systems

Operating Systems

+5

J

Adjunct Professor

Computer Science

University of New Orleans

Advanced Data Storage Technologies

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Digital Media Forensic Detection

+1

G

Professor

Computer Science

Louisiana State University

Computer Security

Digital Forensics

Exploit Development

Malware Analysis

+9

T

Tasnuva Farheen

Assistant Professor

Computer Science

Louisiana State University

Enabled Security Assessment

Hardware Security

Microelectronics Security & Reliability Assurance

Quantum Computing

+5

A

Aisha Ali-Gombe

Associate Professor

Computer Science

Louisiana State University

Computer Security

Digital Forensics

Memory Forensics

Systems Security

+6

T

Associate Professor

Computer Science

Kansas State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Software Engineering Research

+1

A

Professor Emeritus

Computer Science

Johns Hopkins University

Applied Cryptography

Internet of Things Security

Medical Device Security

Secure Applications

+5

Y

Technical Director of the JHU Information Security Institute and Associate Professor

Computer Science

Johns Hopkins University

Security and Privacy of Machine Learning

Web, Mobile, and Payment Systems Security

Advanced Malware Detection Techniques

Security and Verification in Computing

+3

L

Assistant Professor

Computer Science

Iowa State University

Advanced Malware Detection Techniques

Security and Verification in Computing

Software Testing and Debugging Techniques

S

Gordon McKay Professor of Computer Science

Computer Science

Harvard University

Advanced Malware Detection Techniques

Cloud Data Security Solutions

Distributed Systems and Fault Tolerance

Logic, Programming, and Type Systems

+1

B

Brendan Saltaformaggio

Associate Professor in SCP, Joint with the School

College of Computing

Georgia Institute of Technology

Advanced Data Storage Technologies

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Network Security and Intrusion Detection

+1

M

Milos Prvulovic

Professor

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Parallel Computing and Optimization Techniques

Physical Unclonable Functions (pufs) and Hardware Security

+1

A

Assistant Professor, Starting Fall'26

College of Computing

Georgia Institute of Technology

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

W

USG Regents Professor, and John P. Imlay Jr.

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques

Anomaly Detection Techniques and Applications

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

V

Vladimir Kolesnikov

Professor and SCP Senior Associate Chair, Joint

College of Computing

Georgia Institute of Technology

Complexity and Algorithms in Graphs

Cryptographic Implementations and Security

Cryptography and Data Security

Privacy-Preserving Technologies in Data

+1

D

Associate Professor

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Cryptography and Data Security

Physical Unclonable Functions (pufs) and Hardware Security

+1

A

Stephen Fleming Early Career Asisstant Professor

College of Computing

Georgia Institute of Technology

Advanced Neural Network Applications

Anomaly Detection Techniques and Applications

Human Pose and Action Recognition

Security and Verification in Computing

+1

V

Adjunct Professor

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Security and Verification in Computing

Software Engineering Research

Software Testing and Debugging Techniques

+1

Q

Associate Professor, Department of Computer Science

Computer Science

George Mason University

Computer Systems Security, With a Focus on the Internet of Things and Mobile Computing

Advanced Malware Detection Techniques

Security and Verification in Computing

User Authentication and Security Systems

+2