He is a member of the PLT research group and works on the Racket programming language. He completed a PhD at Brown University in the Computer Science Department under Shriram Krishnamurthi as an NSF Graduate Research Fellow. He did his BS at UMass Lowell studying Mathematics, Computer Science, and a minor in Economics. He is passionate about computer science education & diversity, formal verification, programming language expressiveness, and his three adorable kids. He is a Dunstable native and GDRHS alum.