David Cerna is a Scientist at the Czech Academy of Sciences Institute of Computer Science (CAS ICS) and Principal investigator of the Linz Institute of Technology MathLP. 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). He is currently the insitute representative within the CLAIRE Research Network, and co-representative for Czechia within the Cost Action EUROPROOFNET. 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


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