![Josef Urban](https://popl20.sigplan.org/getProfileImage/josefurban/33a074cd-c3c6-43c8-b79e-fa9f6f67119d/small.jpg?1711522205000)
Registered user since Mon 17 Apr 2017
Name:Josef Urban
Country:Czechia
Affiliation:Czech Technical University in Prague
Personal website: https://www.ciirc.cvut.cz/~urbanjo3/
Contributions
POPL 2020-profile
View general profile
View general profile
Registered user since Mon 17 Apr 2017
Contributions