His research lies at the intersection of security and programming languages; he is particularly interested in building secure systems that are deployed in production. Stefan was also a co-founder of Intrinsic, a runtime security start-up acquired by VMWare in 2019. Stefan received a B.E. in Electrical Engineering from Cooper Union in 2009, M.E. in Electrical Engineering from Cooper Union in 2011, M.S. and Ph.D. in Computer Science from Stanford University in 2016. His work has been recognized by multiple awards, including distinguished paper awards (POPL 2019, USENIX Security 2020, ICFP 2020, POPL 2021), research highlights (USENIX ;login: 2020, SIGPLAN Research Highlight 2021), and NSF CAREER award (2021).