(Q102265447)

English

Rastislav Bodik

computer scientist

Ras Bodik

In more languages

Statements

0 references

0 references

0 references

university teacher

0 references

0 references

computer scientist

0 references

software system

1 reference

https://homes.cs.washington.edu/~bodik/

31 August 2023

program synthesis

1 reference

https://homes.cs.washington.edu/~bodik/

31 August 2023

computer architecture

1 reference

https://www.cs.washington.edu/people/faculty/bodik

31 August 2023

University of Washington

July 2015

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

University of California, Berkeley

August 2002

June 2015

associate professor

assistant professor

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

University of Wisconsin–Madison

November 1999

July 2002

assistant professor

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

October 2022

1 reference

https://www.linkedin.com/in/rastislav-bodik-64181a3/

31 August 2023

University of Pittsburgh

academic degree

Doctor of Philosophy

1999

computer science

doctoral advisor

2 references

Mathematics Genealogy Project

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

Technical University of Košice

academic degree

1992

computer engineering

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

academic degree

Doctor of Philosophy

University of Pittsburgh

1999

computer science

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

Technical University of Košice

1992

computer engineering

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

doctoral advisor

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

doctoral student

Subramanya Sastry

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Armando Solar-Lezama

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Ajeet Ganesh Shankar

1 reference

Mathematics Genealogy Project

1 reference

Mathematics Genealogy Project

Leo Alexander Meyerovich

1 reference

Mathematics Genealogy Project

Thibaud Baptiste Hottelier

1 reference

Mathematics Genealogy Project

1 reference

OCLC control number

July 2015

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

2002

2015

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

Association for Computing Machinery

5 December 2018

subject has role

1 reference

https://www.acm.org/media-center/2018/december/fellows-2018

24 June 2024

2018

announcement date

5 December 2018

award rationale

For contributions to program synthesis (English)

1 reference

https://www.acm.org/media-center/2018/december/fellows-2018

24 June 2024

official website

https://homes.cs.washington.edu/~bodik/

language of work or name

31 August 2023

0 references

described at URL

https://www.cs.washington.edu/people/faculty/bodik

language of work or name

31 August 2023

0 references

curriculum vitae URL

https://homes.cs.washington.edu/~bodik/cv.pdf

language of work or name

31 August 2023

0 references

on focus list of Wikimedia project

WikiProject PCC Wikidata Pilot/University of Washington

0 references

academic appointment

University of Washington Paul G. Allen School of Computer Science & Engineering

July 2015

1 reference

https://homes.cs.washington.edu/~bodik/cv.pdf

31 August 2023

personal pronoun

1 reference

https://www.linkedin.com/in/rastislav-bodik-64181a3/

31 August 2023

Identifiers

1 reference

11 September 2022

0 references

ACM Digital Library author ID

0 references

0 references

Google Scholar author ID

0 references

IEEE Xplore author ID

0 references

LinkedIn personal profile ID

rastislav-bodik-64181a3

0 references

Mathematics Genealogy Project ID

0 references

0 references

ResearchGate profile ID

Rastislav-Bodik

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q102265447&oldid=2188021944"