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