David M. Cerna (Preferred)
David M. Cerna
Researcher, Distributed Database Systems, Dynatrace Research
Researcher, Artificial Intelligence, Czech Academy of Sciences Institute of Computer Science
Joined
August 2024
Names
Emails
****@cs.cas.cz (Confirmed)
****@dynatrace.com (Confirmed)
Personal Links
Career & Education History
Researcher
Distributed Database Systems, Dynatrace Research (dynatrace.com)
2025 – Present
Researcher
Artificial Intelligence, Czech Academy of Sciences Institute of Computer Science (cs.cas.cz)
2020 – Present
Advisors, Relations & Conflicts
Expertise
Database Systems
2025 – Present
Inductive Synthesis
2021 – Present
Automated Reasoning
2015 – Present
Publications
Co-Authors
- Alexander Leitsch
- Alexandra Dzhiganskaya
- Andres Felipe Gonzalez Barragan
- Andrew Cropper
- Anela Lolic
- Armin Biere
- Cezary Kaliszyk
- Christophe Ringeissen
- Filipe Gouveia
- Giselle Reis
- Jan Jakubuv
- Josef Urban
- Lasse Blaauwbroek
- Lee A. Barnett
- Martin Suda
- Martina Seidl
- Mauricio Ayala-Rincón
- Michael Peter Lettmann
- Michal Buran
- Minghao Liu
- Rafael P. D. Kiesel
- Simon Wolfsteiner
- Stanislaw J. Purgal
- Temur Kutsia
- Thibault Gauthier