Bernhard Gleiss
Head Of Product & AI at Studyly
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolBernhard Gleiss is a Head of Product & AI with a PhD in Computer Science and nine years of experience bridging research-grade AI and enterprise product delivery across startups, big tech, consulting and academia. He combines hands-on technical depth—contributions to theorem provers like Z3 and Vampire and low-level optimizations at AWS—with product leadership skills proven by leading a 30+ person, multi-team credit risk core application hailed as a major company milestone. Skilled in domain-driven discovery, solution architecture, and data- and process-automation, he excels at turning complex regulatory and legacy constraints into pragmatic, scalable systems. Known for smoothing cross-team delivery, he pairs stakeholder fluency with code-level rigor, often stepping in to design APIs, review code, and unblock engineering work. Based in Vienna, he focuses on product innovation where AI and robust software architecture deliver measurable business value.
9 years of coding experience
9 years of employment as a software developer
Vienna University of TechnologyBachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at University of Vienna
German, English
Github Skills (3)
cprogramming-language10
c-language10
theorem-proving10
Programming languages (4)
Github contributions (5)
Z3Prover/z3
Aug 2017 - Jan 2018
The Z3 Theorem Prover
Role in this project:
Back-end Developer
Back-end DeveloperContributions:15 commits in 5 months
Contributions summary:Bernhard primarily contributed to the Z3 theorem prover's internal logic and optimizations. They fixed typos in the unsat core plugin code, refactored variable names and added comments to the min-cut-related methods, and improved options for IUC computation. Furthermore, they added options for debugging proofs used in the IUC-generation. These commits suggest a focus on improving the efficiency and functionality of the core theorem proving algorithms.
theorem-proverprovertheorem
gleiss/rapid
Aug 2018 - Aug 2020
Contributions:1 release, 222 commits, 9 PRs in 2 years 1 month
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.