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 Bellmania-Compiler Automatically Generating efficient SAT encodings