About

David Cerna is a Researcher at the Czech Academy of Sciences Institute of Computer Science (CAS ICS). He is currently the Czech Principal investigator of the GACR-FWF international project PANDAFOREST, co-representative for Czechia within the Cost Action EUROPROOFNET, and the institute representative within the CLAIRE Research Network. He previously lead the Linz Institute of Technology Young researcher project Math_LP. Prior to accepting his position at CAS ICS, he spend numerous years at the Research Institute for Symbolic computation (RISC) as a postdoctoral researcher within several projects (LOGTECHEDU, GALA, LogicGuard II). His research interest include, but are not limited to, artificial intelligence, automated reasoning, unification, anti-unification, computational logic, and proof theory.

Curriculum Vitae

Full Version      Short Version

Address

Office 324
Institute of Computer Science
The Czech Academy of Sciences
Pod Vodárenskou věží 271/2
182 07 Prague 8 Czechia