Current and Recent Courses

CS294: Program Synthesis for Everyone (co-taught with Emina Torlak)
An expansion of our invited CAV 2012 tutorial, this course teaches how to build a synthesizer in one semester. Includes constraints-based verification, encoding programs as formulas, DSL design and implementation, synthesis algorithms, and case studies.
Fall 2012
CS164: Hack Your Language!
An upper-level undergrad course on programming langauges with nine integrated weekly assignments that culminate in a browser with its own interpreter, layout engine and parser.
Spring 2012


Course on program synthesis

Emina Torlak and I have given an invited tutorial at CAV 2012. The tutorial is being expanded this semester into a graduate course, which you can follow as we add lectures and homeworks. CAV tutorial slides: (ppt, pdf, screencast). The graduate course.

Postdoc position position in synthetic biology

We are looking for postdocs in synthetic biology. We need curious, well-rounded computer scientists with expertise in algorithms, hacking, and with interest in biology.

NSF Expedition in Computing for program synthesis

The multi-university ExCAPE project aims to change computer programming from the tedious task to one in which a programmer and an "automated program synthesis tool" collaborate to generate software that meets its specifications.

Looking for a postdoc position?

We are looking for postdocs in program synthesis and computer-aided programming.

2nd Dagstuhl Seminar in Program Synthesis

Several communities related to synthesis of programs and other computational artifacts will meet again in wine cellars of the castle.

Layout based on BASIC by Download Website Templates