Invited Speaker

Ras Bodik, University of California Berkeley, USA.

Ras Bodik is head of the program synthesis group at the computer science department at UCB. His talk at AAIP 2011 will cover inductive synthesis by means of SAT and SMT solving and programming by sketching.