Write a Blog >>
Ondřej Lhoták

Registered user since Wed 14 Sep 2016

Name: Ondřej Lhoták

Country: Canada

Affiliation: University of Waterloo

Personal website: http://plg.uwaterloo.ca/~olhotak/

Contributions

POPL 2020 Undecidability of D<: and Its Decidable Fragments
Show activities from other conferences

POPL 2020-profile
View general profile