I am a research engineer, interested in the application of tools and techniques from CS research to practical problems.Recently, my focus has been on the implementation of web technologies, as part of the Servo next-generation browser project, especially targeting AR headsets such as Magic Leap and Microsoft HoloLens. I have helped design and implement the new immersive web API WebXR, which enables immersive 3D experiences on a variety of platforms. I have also designed and implemented the Servo gstreamer plugin, which allows streaming video from web content, including 360 video from WebXR.My research background is in programming languages, and I have worked on security, concurrency, memory models, reactive programming, typesetting and type systems. Projects I have been a team member of include the Agda programming language and the LaTeX document preparation system. I have over 60 refereed publications, served on the programming committees for conferences such as the ACM conferences POPL, ICFP and LICS, reviewed grant applications for the NSF, and acted as the Industrial Chair and served on the steering committee of ICFP.I am excited about the overlap between foundational computer science and hard problems in technology.