Rastislav Bodik (Q102265447)
Jump to navigation
Jump to search
computer scientist
- Ras Bodik
Language | Label | Description | Also known as |
---|---|---|---|
English | Rastislav Bodik |
computer scientist |
|
Statements
1 reference
31 August 2023
1 reference
31 August 2023
1 reference
1 reference
31 August 2023
August 2002
June 2015
1 reference
31 August 2023
1 reference
31 August 2023
October 2022
1 reference
2 references
1 reference
31 August 2023
July 2015
1 reference
31 August 2023
2002
2015
1 reference
31 August 2023
5 December 2018
1 reference
2018
5 December 2018
For contributions to program synthesis (English)
1 reference
0 references
31 August 2023
0 references
31 August 2023
0 references
July 2015
1 reference
31 August 2023
1 reference