GD
Georgy Dunaev
Software Engineer & Formal Verification Specialist
M.Sc. Mathematics · M.Sc. Computer Science (Candidate)
Interactive Theorem Proving · High-Assurance Compilers · Systems
💼 LinkedIn
✉️ Email
🐙 GitHub
💾 Save Contact
💼
Connect on LinkedIn
PRO
Professional network, recommendations & career updates
→
🌐
Interactive Portfolio & Proofs
Mathematical showcases, Isabelle/ZF tagged pairs, dark mode UI
→
Curriculum Vitae & Documents
📄
Curriculum Vitae (English)
Print-ready PDF, ATS-friendly, comprehensive technical experience
↓
🇩🇪
Lebenslauf (Deutsch)
Vollständiger tabellarischer Lebenslauf nach deutschen Standards
↓
✉️
Cover Letter
Standard executive motivation & high-assurance statement
↓
Projects & Demonstrations
⚡
Obelisk Proof Assistant & REPL
Rigorous foundation, Morse-Kelley set theory & web playground
→
🛡️
Anti-Vibe Coding Manifesto
Ten Inviolable Laws of high-assurance software engineering
→
📇
Interactive 3D Business Card
Interactive flippable card with print-ready PDF generator
→