David M. Cerna (Preferred)
David M. Cerna
Pronouns: they/them
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