Georgy Dunaev
Software Engineer & Formal Verification Specialist
M.Sc. Computer Science · M.Sc. Mathematics (Candidate)
Email
georgedunaev@gmail.com
LinkedIn
linkedin.com/in/georgy-dunaev
Web
georgydunaev.github.io
Project
obeliskproofassistant.github.io
Location
Berlin / Potsdam, Germany
Digital Hub
Obelisk Proof Assistant
Rigorous Mathematical Foundations · Zero Implicit Computation
OCaml · Standard ML · Rocq (Coq) · Isabelle · Lean 4 · C++
Interactive Theorem Proving · High-Assurance Systems · Compilers
Interactive Theorem Proving · High-Assurance Systems · Compilers
Digital Hub & CVs
LinkedIn Profile