Scholar
David M. Cerna
Google Scholar ID: SEWgr70AAAAJ
Czech Academy of Sciences Institute of Computer Science
Citations & Impact
Citations
219
H-index
10
i10-index
10
Publications
20
Co-authors
15
list available
Publications
Resume (English only)
Research Experience
- - Researcher at the Czech Academy of Sciences Institute of Computer Science (CAS ICS)
- - Czech Principal investigator of the GACR-FWF international project PANDAFOREST
- - Co-representative for Czechia within the Cost Action EUROPROOFNET
- - Institute representative within the CLAIRE Research Network
- - Previously led the Linz Institute of Technology Young researcher project MathLP
- - Spent numerous years at the Research Institute for Symbolic computation (RISC) as a postdoctoral researcher within several projects (LOGTECHEDU, GALA, LogicGuard II)
Background
- Research interests include, but are not limited to, artificial intelligence, automated reasoning, unification, anti-unification, computational logic, and proof theory. Currently a Research Scientist at the Czech Academy of Sciences Institute of Computer Science (CAS ICS).
