Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Štěpán Holub

Registered user since Tue 12 Jan 2021

Name: Štěpán Holub

Country: Czech Republic

Affiliation: Charles University

Personal website: https://www2.karlin.mff.cuni.cz/~holub/indexen.htm

Research interests: Combinatorics on Words, Isabelle/HOL

Contributions

CPP 2021 Formalization of Combinatorics on Words in Isabelle/HOL
Show activities from other conferences

POPL 2021-profile
View general profile