K
Research Interests
Computer Science Education and Pedagogy
Hardware Security
Symbolic Execution
Security and Verification in Computing
Physical Unclonable Functions (pufs) and Hardware Security
Advanced Malware Detection Techniques
Parallel Computing and Optimization Techniques
Formal Methods in Verification