Registered user since Wed 13 Jan 2021
Name:Štěpán Starosta
Country:Czechia
Affiliation:Faculty of Information Technology, Czech Technical University in Prague
Personal website: https://users.fit.cvut.cz/~staroste/
Research interests:Combinatorics on Words, Dynamical Systems, Formalization of Mathematics
Contributions
POPL 2021-profile
View general profile
View general profile