About

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 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). 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

Address

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