Karel Chvalovský

I am a graduate student of logic supervised by Marta Bílková at the Institute of Computer Science, Academy of Sciences of the Czech Republic. I am especially interested in theoretical aspects of automated theorem proving in non-classical logics.

email: karel at chvalovsky dot cz