My goal is to develop techniques and tools using program synthesis to solve impactful problems in different areas of computer science.
Swapper is a framework for automatically generating domain-specific rewriters for SMT problems and the Sketch Synthesis system. The generated problem rewriters are auto-tuned to performance of a specific solver for problems from a particular domain.
Entity Resolution using Program Synthesis
Automatically Generating efficient SAT encodings
Email me at firstname.lastname@example.org