I am a Professor in Virginia Tech’s Department of Electrical and Computer Engineering, where I lead the Systems Software Research Group. Here is my bio.
Research My research is in computer systems, with a focus on security, performance, energy-efficiency, and timeliness, spanning the disciplines of concurrent, heterogenous, distributed, and real-time computing. Recently, I have been dabbling in software verification.
Current projects Low-level reasoning machine (LLRM), verifying security properties of binaries.