I'm a member of the madPL group and I am looking for talented self-driven students to work on the following projects. Email your CV if interested.
My research is about developing fundamental verification and synthesis techniques that
help programmers writesoftware that meets their intent
A framework for specifying and solving arbitrary synthesis problems. SemGuS allows a user to provide both the syntax and the semantics for the constructs in the language. The goal of this project is to design efficient solvers for problems expressed in the SemGuS framework. Paper and website.