Sean is the author of the cutting-edge Circle compiler and the Safe C++ extension. He previously worked on molecular dynamics at DE Shaw Research, parallel algorithms at NVIDIA Research and remote sensing technology at Jet Propulsion Laboratory.