Rastislav Bodik is affiliated with the University of Washington in the United States and has a research background primarily in computer science and engineering. Their work spans multiple subfields, including hardware and architecture, computational mechanics, software, computer networks and communications, and industrial and manufacturing engineering.
The scientist's research covers a number of key topics: parallel computing and optimization techniques, software testing and debugging techniques, 3D shape modeling and analysis, manufacturing process and optimization, distributed and parallel computing systems, advanced numerical analysis techniques, and advanced malware detection techniques.
Frequent co-authors with whom Rastislav Bodik has collaborated include Sirui Lu, Dan Caşcaval, Mira Shalah, Maneesh Agrawala, and Adriana Schulz.
Rastislav Bodik has published extensively in venues such as the Proceedings of the ACM on Programming Languages, arXiv (Cornell University), Computer Graphics Forum, Formal Methods in System Design, and Zenodo (CERN European Organization for Nuclear Research).
Notable recent publications include:
Rastislav Bodik has received professional recognition including the ACM Fellow award in 2018 for contributions to program synthesis and the Hellman Fellowship in 2005.
Perry de Valpine;Daniel Turek;Christopher J. Paciorek;Clifford Anderson-Bergman
Glenn Ammons;Rastislav Bodík;James R. Larus
Krste Asanovic;Rastislav Bodik;James Demmel;Tony Keaveny
Armando Solar-Lezama;Liviu Tancau;Rastislav Bodik;Sanjit Seshia
Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin
Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman
David Mandelin;Lin Xu;Rastislav Bodík;Doug Kimelman
Min Xu;Rastislav Bodik;Mark D. Hill
Rastislav Bodik;Armando Solar-Lezama
Manu Sridharan;Rastislav Bodík
Brian Fields;Shai Rubin;Rastislav Bodík
Rastislav Bodík;Rajiv Gupta;Vivek Sarkar
Armando Solar-Lezama;Rodric Rabbah;Rastislav Bodík;Kemal Ebcioğlu
Manu Sridharan;Stephen J. Fink;Rastislav Bodik
Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin
Manu Sridharan;Denis Gopan;Lexin Shan;Rastislav Bodík
Emina Torlak;Rastislav Bodik
Armando Solar-Lezama;Christopher Grant Jones;Rastislav Bodik
Emina Torlak;Rastislav Bodik
Min Xu;Rastislav Bodík;Mark D. Hill
Chenglong Wang;Alvin Cheung;Rastislav Bodik
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science online opens the door to a range of related degrees and affordable educational options. For students considering advancing their expertise, pursuing one of the cheapest phd programs can be an excellent way to earn a doctorate without incurring high student debt.
If you're looking for leadership or education-focused roles, some of the easiest edd programs allow you to quickly obtain a doctoral degree in education through fast-track online options.
For those at the start of their academic journey, an associate's degree online can help build foundational skills in as little as six months, making your entry into tech fields faster and more convenient.
Beyond computer science, consider careers in management or entrepreneurship by enrolling in an online business degree with financial aid. Doing so broadens your opportunities and supports career transitions or dual specialties.
University of Calgary
California Department of Fish and Wildlife
The Ohio State University
Universidade de São Paulo
University of Bologna
Fisheries and Oceans Canada
University of Freiburg
California Institute of Technology
Duke University
Iowa State University
University of Amsterdam
Stanford University
University of Amsterdam
University of California, San Francisco
National University of Singapore
University of Liège
