Institute for Theoretical Computer Science
Charles University, Prague ida at iuuk mff cuni cz
Teaching (in Czech)
CV
