GradNova

Symbolic Execution

1 faculty research Symbolic Execution on GradNova.

K

Teaching Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Computer Science Education and Pedagogy

Hardware Security

Symbolic Execution

Security and Verification in Computing

+4