![Rastislav Bodík](https://2020.ecoop.org/getProfileImage/rastislavbodik/8c1e238a-ea5f-4b5c-acc9-b62e3ec0f04b/small.jpg?1711460656000)
Registered user since Fri 11 Jul 2014
Name:Rastislav Bodík
Affiliation:University of Washington
Personal website: https://homes.cs.washington.edu/~bodik
Research interests:Program Synthesis
Contributions
SPLASH 2020-profile
View general profile
View general profile