Karel Chvalovsky (Preferred)
Karel Chvalovsky
Researcher, Czech Technical University in Prague
- Joined September 2018
Names
Emails
****@chvalovsky.cz (Confirmed)
, ****@cvut.cz (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Czech Technical University in Prague (cvut.cz)
2017 – Present
Postdoc
Czech Academy of Sciences (cas.cz)
2015 – 2016
PhD student
Charles University, Prague (cuni.cz)
2007 – 2015
Advisors, Relations & Conflicts
PhD Advisor
Marta Bilkova
2007 – 2015
Expertise
automated reasoning
2017 – Present
logic
2007 – Present
proof theory
2007 – Present