Rastislav Bodik

Digital Library

ACM Fellows

USA - 2018

citation

For contributions to program synthesis

Press Release