Vilhelm Sjöberg is an associate research scientist at Yale University. He received his Ph.D. in Computer Science from the University of Pennsylvania in 2015. He is an expert in software verification, programming languages, and type systems. His thesis research focused on making dependent type systems more attractive for general purpose programming languages by making it optional to prove that functions terminate, and by incorporating automatic theorem proving via congruence closure. Currently he is interested in language support for layered verified systems like CertiKOS. Dr. Sjöberg is winner of 2016 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.