AI Safety
verification of AI-generated code; resilience and power safety of AI data centers
Ph.D. Candidate, Computer Engineering, Virginia Tech
Ph.D. Candidate in Computer Engineering at Virginia Tech, advised by Haining Wang and Randy Marchany, after a decade building and leading production software.
I work on systems-and-security research across the stack — from the Linux kernel and embedded devices to the software supply chain and AI-assisted development. Principal Investigator, Meta Project Aria Gen 2 Research Partnership.
verification of AI-generated code; resilience and power safety of AI data centers
embedded systems; software supply chains; mobile and wearable forensics; operational technology
eBPF; Linux kernel; Android OS/internals; on-the-fly over-the-air updates for microcontrollers
release assurance; verification and validation; testing of diagnostic APIs
May 19, 2026
These classification metrics all come from the same confusion matrix, but they answer different questions. The practical question is not “Which metric is best?” It is ...
Read articleMay 19, 2026
Suppose we have a BLE-related value with 7 bytes of entropy. One byte is 8 bits, so 7 bytes is 7 * 8 = 56 bits. For this calculation, treat that as a uniform search sp...
Read articleSeptember 05, 2025
Software Design and Quality Assignments Software Quality Attributes Robert Glass does not include all of the quality attributes that are in McCall’s list of quality fa...
Read article