Karel Chvalovsky

Researcher, Czech Technical University in Prague

  • Joined September 2018

Names

Karel Chvalovsky (Preferred)

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

Postdoc Advisor
2017 – Present
 
PhD Advisor
Marta Bilkova
2007 – 2015
 

Expertise

automated reasoning
2017 – Present
 
logic
2007 – Present
 
proof theory
2007 – Present