Grigory Markin
Lead Software Architect & 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.
10 years of coding experience
17 years of employment as a software developer
Master, Computer Science, Master, Computer Science at Technical University of MunichDiploma, Mathematics, Diploma, Mathematics at Immanuel Kant Baltic Federal University
Russian, German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (54)
cra10
editor10
dependency-graph10
swift10
macos10
supply-chain-security9
scanner9
cyclonedx9
android-api9
sbom9
maven-package9
malware9
spdx9
sca9
yara9
Programming languages (6)
Github contributions (5)
TrustSource/ts-mvn-plugin
Aug 2018 - Sep 2022
Plugin to integrate TrustSource (code compliance) with your Maven Package Manager
Contributions:6 releases, 20 commits, 22 pushes in 4 years 1 month
maven-package
scade-platform/swift4j
May 2021 - Apr 2026
Run native Swift Code across multiple platforms using Java or Kotlin
Contributions:34 pushes, 10 branches, 9 tags in 4 years 11 months
javakotlinswiftjava-androidkotlin-android
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.