I'm contributing to Hyperlight at Microsoft, an open-source lightweight VMM for embedding untrusted code in applications with very low latency. I build debugging, tracing, and crash-dump capabilities while supporting isolation across KVM, MSHV, and WHP hypervisor backends.
Previously at AWS, I developed security-critical hypervisor and operating-system components for EC2 Nitro, including Nitro Enclaves and NitroTPM. My work used Rust and C/C++ for virtualization, kernel architecture, secure boot, and hardware-backed trust.
At Cloud2GND, I implemented Bluetooth specifications and embedded C systems in resource-constrained environments. At NXP Semiconductors, I developed bare-metal security firmware for automotive Hardware Security Engine IP, including secure boot, key management, cryptographic services, and protocol offloading.
My foundation spans embedded systems, cloud infrastructure, security, and Unix-based performance tooling, with earlier work in C++/Qt and Python production applications. I'm also pursuing a Master's degree in Advanced Cybersecurity.
