David Greve
Генеральный Директор at Tbilisi Opera and Ballet State Theatre
Tbilisi, Georgia
Summary
👤
Senior🎓
Top SchoolDavid Greve is a Georgian entrepreneur and technologist with 17 years of hands-on experience who blends computer science training with a founder’s mindset to build scalable ventures. Now serving as CEO of Agendum Studios, he pairs software and front-end development experience with a strong aptitude for visual restoration and event photography at the Tbilisi Opera and Ballet State Theatre, showing an uncommon mix of technical and creative skills. Comfortable leading teams and shipping frontend projects, he has contributed to cybersecurity and web initiatives and steadily cultivates social capital to launch multiple projects. Fluent in practical digital tools—from Adobe Photoshop restorations to modern web stacks—he views technology as a platform for cultural preservation and business creation. Notably, he balances high-level strategic entrepreneurship with meticulous, hands-on craft work, restoring archival photos while recruiting partners for ambitious initiatives.
17 years of coding experience
Computer Sciense, Computer Sciense at Georgian Technical Universitysecondary education generalized knowledge in all areas of society, secondary education generalized knowledge in all areas of society at № 87 Vazha-Pshavela Public schoolAssociate's degree General educational - programming, Associate's degree General educational - programming at Scientific Cyber Security Association (SCSA)
Russian, Georgian, English, Latin
Github Skills (23)
formal-methods10
rewriting10
python10
sat-solver10
formal-verification10
coq10
common-lisp10
theorem-proving10
first-order-logic10
logic10
proof-assistant9
machine-learning9
tensorflow9
neural-network9
deep-learning9
Programming languages (4)
Github contributions (5)
TheBeaNerd/acl2
Sep 2015 - May 2024
ACL2 System and Books as Maintained by the Community
Contributions:76 pushes, 21 branches in 8 years 8 months
acl2
TheBeaNerd/fraction
Jul 2016 - Apr 2020
Contributions:14 pushes, 2 branches in 3 years 9 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.