David Cerna
Member Of Technical Staff at Academy of Sciences of the Czech Republic
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolDavid Cerna is a Research Fellow and symbolic AI specialist with 14 years of experience bridging formal logic and practical research across academia and industry. Based in Vienna, he leads and contributed to multiple EU- and university-funded projects at Johannes Kepler Universität and now researches at the Academy of Sciences of the Czech Republic, with a recent industry stint in Dynatrace’s Open Innovation Lab. His work combines deep theoretical foundations—rooted in a PhD from TU Wien and dual degrees in CS and Math from RPI—with applied logic tools and teaching-driven project leadership. Known for advancing logic-based AI methods, he often operates at the intersection of formal verification, knowledge representation, and deployable research prototypes. An unassuming polymath, he moves fluidly between principal investigator duties and hands-on research lab engineering.
14 years of coding experience
3 years of employment as a software developer
Vienna University of Technologymaster, Computer science, master, Computer science at Rensselaer Polytechnic Institute
German, English
Github Skills (15)
z310
theorem-proving10
sat-solver10
proofs10
proof-assistant10
tla10
proof10
coq10
theory10
tactics10
smt10
sat10
architecture10
scala10
algorithm2
Programming languages (3)
Github contributions (5)
Ermine516/europroofnet.github.io
Feb 2023 - Jun 2024
Sources of the EuroProofNet web site.
Contributions:2 PRs, 62 pushes, 1 branch in 1 year 4 months
Ermine516/ermine516.github.io
Apr 2025 - Dec 2025
Contributions:84 pushes in 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.