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.

A

Alexander Wijesinha

Professor

Computer Science

Towson University

Computer Networks

Network Aspects of Bare Machine Computing

Network Performance

Network Security

+6

M

MD Armanuzzaman

Assistant Professor

Computer Science

University of Texas - El Paso

Advanced Malware Detection Techniques

Physical Unclonable Functions (pufs) and Hardware Security

Quantum Information and Cryptography

Radiation Effects in Electronics

+1

J

Assistant Professor

Computer Science

University of Texas at Dallas

Parallel Computing and Optimization Techniques

Radiation Effects in Electronics

Real-Time Systems Scheduling

Security and Verification in Computing

+1

...

...

N

Nidhiben Solanki

Assistant Professor of Instruction

Computer Science

University of Texas at Dallas

Access Control and Trust

Blockchain Technology Applications and Security

Cloud Data Security Solutions

Cryptography and Data Security

+1

R

Assistant Professor

Computer Science

University of Texas at Dallas

Cloud Computing and Resource Management

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software System Performance and Reliability

+1

K

Professor

Computer Science

University of Texas at Dallas

Advanced Malware Detection Techniques

Cloud Data Security Solutions

Information and Cyber Security

Network Security and Intrusion Detection

+1

A

Professor of Instruction

Computer Science

The University of Texas at Austin

Distributed Systems and Fault Tolerance

Interconnection Networks and Systems

Optimization and Search Problems

Parallel Computing and Optimization Techniques

+1

J

Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Advanced Malware Detection Techniques

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

J

Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Blockchain Technology Applications and Security

Distributed Systems and Fault Tolerance

Security and Verification in Computing

M

Assistant Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Advanced Malware Detection Techniques

Anomaly Detection Techniques and Applications

Network Security and Intrusion Detection

Security and Verification in Computing

+1

D

Dominic Letarte

Associate Professor of Instruction

Computer Science

Temple University

Security and Verification in Computing

Web Application Security Vulnerabilities

Advanced Malware Detection Techniques

+2

E

Charles Berendsen Chair Associate Professor

Computer Science

Stevens Institute of Technology

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

W

Assistant Professor

Computer Science

Stevens Institute of Technology

Access Control and Trust

Advanced Malware Detection Techniques

Cryptography and Data Security

Security and Verification in Computing

+1

D

Associate Professor

Computer Science

Stevens Institute of Technology

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

G

Gabriela Ciocarlie

Stephen Bloom Associate Professor

Computer Science

Stevens Institute of Technology

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

Security and Verification in Computing

Smart Grid Security and Resilience

+1

T

Assistant Professor

Computer Science

Stevens Institute of Technology

Advanced Malware Detection Techniques

Security and Verification in Computing

Software Engineering Research

Software Testing and Debugging Techniques

+1

D

Associate Professor of Computer Science and of Electrical Engineering

Computer Science

Stanford University

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software Engineering Research

Software Reliability and Analysis Research

+1

S

Santosh Nagarakatte

Professor, Undergraduate Program Director

Computer Science

Rutgers University

Formal Methods in Verification

Numerical Methods and Algorithms

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

J

Sr. Lecturer

Computer Science

Rensselaer Polytechnic Institute

Advanced Malware Detection Techniques

Cloud Computing and Resource Management

Cloud Data Security Solutions

Network Security and Intrusion Detection

+1

D

Professor, Director of Undergraduate Studies

Computer Science

Princeton University

Programming Languages & Compilers

Software-Defined Networks and 5G

Logic, Programming, and Type Systems

Formal Methods in Verification

+2

A

Visiting Research Scholar

Computer Science

Princeton University

Security & Privacy

Systems & Networking

Advanced Malware Detection Techniques

Security and Verification in Computing

+3

A

Eugene Higgins Professor of Computer Science, Emeritus

Computer Science

Princeton University

Law & Public Policy

Programming Languages & Compilers

Security & Privacy

Logic, Programming, and Type Systems

+4

J

Professor

Computer Science

Portland State University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

J

John (Jack) Sampson

Associate Department Head

Computer Science and Engineering

Pennsylvania State University

Cloud Data Security Solutions

Security and Verification in Computing

Software System Performance and Reliability