Karel Chvalovský
I'm a logician, currently at
the Czech Institute of Informatics, Robotics, and Cybernetics,
Czech Technical University in Prague.
My research interests are automated theorem proving, logic in computer science, algorithmic
learning theory, and theoretical computer science in general.
email: karel at chvalovsky dot cz