His research expertise is computer system security with particular focus on real-time embedded systems used in critical infrastructure that have measurable lifetimes in decades. The techniques he applies to solve problems along the hardware-software interface range from computer architecture, computer security, cryptography, operating systems, and real-time analysis. He is a maintainer for the RTEMS open-source hard real-time operating system, which is used in robotics, unmanned vehicles, satellites, space probes, automotive, defense, building automation, medical devices, industrial controllers, and more. He received the Ph.D. in Computer Science from The George Washington University.