I'm a professor in the madPL group and also a visiting academic at Amazon Web Services.
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.