Giacomo was a UROP student during the summer of 2016, when he worked on [KLEE-Web]((http://klee.doc.ic.uk/).