Grigory Markin
Lead Software Development Engineer at EACG - Enterprise Architecture Consulting Group
Greater Kiel Area Germany
Summary
👤
Senior🎓
Top SchoolGrigory Markin is a Lead Software Development Engineer based in the Greater Kiel Area with nine years of professional experience grounded in research-driven software and formal methods. He combines deep expertise in low-level languages and tooling—C, C++, OCaml, LLVM—and a strong background in Eclipse-based tooling and verification/model checking from roles at University of Lübeck and TUM. As co-founder of SCADE Inc and a lead at EACG, he bridges rigorous academic techniques with product-focused engineering, turning formal specifications into practical, verifiable systems. His early work on CAD processing and 3D visualization and internships in industrial verification highlight a recurring focus on correctness and robust tooling for engineering domains. Colleagues can expect a leader who pairs algorithmic depth with hands-on system-building and a preference for provable, auditable solutions.
9 years of coding experience
5 years of employment as a software developer
Master, Computer Science, Master, Computer Science at Technical University of MunichDiploma, Mathematics, Diploma, Mathematics at Russian State University named after Immanuel Kant (former Kaliningrad State University)
Russian, German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (70)
cocoa10
attestation10
cra10
swift10
sca10
dependency-graph10
editors10
ide10
nimble10
editor9
scanner9
cyclonedx9
sdk9
sqlite-database9
sbom9
Programming languages (6)
Github contributions (5)
scade-platform/swift4j
May 2021 - Mar 2025
Contributions:21 pushes, 7 branches, 6 tags in 3 years 10 months
eacg-gmbh/keycloak
Dec 2020 - Oct 2024
Contributions:12 pushes, 1 branch in 3 years 10 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.