Domenico was a UROP student during the summer of 2016, when he worked on KLEE-Web.