Andrei Aleksandrov
Research Scientist at Fraunhofer FOKUS
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolAndrei Aleksandrov is a research scientist in Berlin with 10 years of experience building mathematically rigorous software for computer-aided verification, focusing on safety and security of neural networks, urban informatics, and cyber-physical systems. He bridges academic formalism and practical deployment—recent projects include homomorphic encryption for secure urban data platforms and a knowledge-based lock management system for the Kiel Canal at Fraunhofer FOKUS. His background spans backend service development, OpenShift deployments, and data engineering, and he has taught Coq-based safety modules at TU Berlin. Comfortable moving between Python, Java/Spring Boot, and databases like PostgreSQL, he brings a pragmatic eye for testing and operational reliability, evidenced by introducing database tests and property-based testing in prior roles. Notably, he pairs formal verification techniques with applied system design to make safety guarantees usable in real-world infrastructure.
10 years of coding experience
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Technische Universität Berlin
Russian, German, English, Arabic
Stackoverflow
894reputation
919kreached
11answers
3questions
Github Skills (23)
api-client9
sdk9
api9
rest-api8
rest8
generator8
restful-api7
spec7
rest-client7
api-server7
openapi7
powershell6
rfc6
iso6
openapi-generator6
Programming languages (2)
Github contributions (5)
Zawuza/VKCommunityMessenger
Feb 2017 - Dec 2017
Contributions:3 releases, 123 pushes, 1 branch in 9 months
Zawuza/andreizawuzahomepage
Dec 2016 - May 2018
Contributions:2 PRs, 66 pushes, 3 branches in 1 year 5 months
my-homepage
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.