I am a Computer Science PhD student at the University of Central Florida (UCF) studying under Dr. Paul Gazzillo.
Much of my PhD research has focused on translating C preprocessor macros to C code in order to better enable existing C translators to translate real-world C programs to safer programming languages such as Rust.
In the past year, I have also been conducting live studies of three-person debugging teams to determine what makes for effective team debugging.
Most recently, I have been researching techniques to analyze software build systems in order to detect and prevent build system attacks.
Modern software suffers from widespread memory-safety bugs, largely due to the C programming language. DARPA’s TRACTOR project aims to convert C into the safer Rust language, but real systems mix C and C++. This research develops methods to translate C++ into C, enabling full conversion to Rust and ultimately making software safer.