Grigory Markin

Lead-Architektur und hands-on Entwicklung im TrustSource-Ökosystem: Python-Backend, AWS, REST APIs, verteilte Analyse-Workflows und kundenseparierte Deployments. Aufbau von Lösungen für Software Supply Chain Security, SCA, SBOM, Vulnerability Management, License Compliance und Static Analysis; Übersetzung von Kunden-, Produkt- und Compliance-Anforderungen in technische Roadmaps und produktive Features.

Modernisierung eines geschäftskritischen Ersatzteil-Inventory-Systems. Analyse einer großen Java- und Low-Code-Codebasis, Trennung generierter und manueller Logik, Identifikation von Architektur- und Wartungsrisiken sowie Ableitung konkreter Modernisierungspakete. Koordination technischer Themen zwischen Airbus, EACG und Plattformanbieter; Bewertung eines AWS/Docker-Deployment-Prototyps.

Technische Verantwortung für eine Cross-Platform-Entwicklungsplattform für iOS und Android. Architektur von SCADE SDK, Swift for Android, Build Tooling, Developer Experience und Interoperabilität zwischen mobilen Clients, Backend-Schnittstellen und plattformspezifischen Komponenten. Verbindung von Produktstrategie, Teamführung, Kundenbedarf und hands-on Umsetzung kritischer Plattformbestandteile.

Technische Bewertung zweier verwandter Software-Codebasen im Due-Diligence- und Produktisierungskontext. Analyse von Source Code, Architektur, Implementierungsstruktur und Algorithmen zur Bewertung von Wiederverwendung, Überschneidungen und technischen Risiken. Erstellung eines offiziellen Reports mit entscheidungsrelevanten Ergebnissen für Stakeholder.

Wissenschaftlicher Mitarbeiter in Softwaretechnik mit Schwerpunkt auf industrieller Software Verification, Model Checking, Formal Methods und Runtime Monitoring. Forschung und Prototypentwicklung zu Siemens-bezogener PLC-Verifikation mit C/C++, OCaml, LLVM, Z3, MathSAT und CPAchecker. Zusätzlich Koordination im IHATEC-SecurePort-Projekt mit LHG, Industriepartnern und angewandten Monitoring-/Security-Prototypen.

Entwicklung von Softwarekomponenten und experimentellen Werkzeugen für Analyse und Visualisierung von CAD-Modellen. Implementierung von Mesh-Simplification-Pipelines mit C++ und CGAL, Berechnung geometrischer und physikalischer Eigenschaften aus tessellierten Meshes sowie Aufbau einer Qt-basierten Windows-Anwendung für Rendering, Visualisierung und Algorithmenevaluation.

Mitarbeit an Demonstratoren und Forschungswerkzeugen am Lehrstuhl für Software & Systems Engineering, einschließlich Entwicklungsarbeit an AutoFocus 3. Schwerpunkte: Formal Methods, Systemspezifikation, Modelltransformationen, Eclipse-basiertes Tooling, Java und Research Software Engineering.

Design und Implementierung eines Prototyps zur formalen Verifikation von PLC-Programmen im Rahmen der Abschlussarbeit. Entwicklung einer Bounded-Model-Checking-Engine in F#, einer grafischen C#/.NET-Anwendung für Ergebnisdarstellung und Debugging sowie eines Parsers für PLC-Code mit yacc/bison in einem industriellen Kontext.

Mitarbeit an der Visualisierung von Produkt- und Gebäudedaten am Institut für Angewandte Informatik. Verarbeitung und Darstellung von Gebäudemodellen auf Basis von IFC (Industry Foundation Classes) sowie technischer Gebäudeausrüstung nach VDI 3805.