Sylvia Grewe
Platform Engineer
Marienberg, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolSylvia Grewe is a platform engineer with 11 years of experience bridging academic research and industry delivery, now focused on Kubernetes and cloud-native platforms at LANCOM Systems. She combines deep expertise in network transformation and network function virtualization with practical DevOps and automation skills, notably using Ansible and cloud-native toolchains. Sylvia holds a PhD in programming languages and formal verification from TU Darmstadt, where she automated type soundness proofs and spent seven years publishing and mentoring students. Her background gives her a rare blend of rigorous formal methods and hands-on network/cloud engineering, enabling her to design reliable, well-documented automation and test frameworks. Based in Marienberg, Germany, she’s passionate about mentoring the next generation of engineers and translating complex research into production-ready solutions.
11 years of coding experience
Technischen Universität DarmstadtDiplôme d'Ingénieur, Telekommunikationstechnik, Informatik, Diplôme d'Ingénieur, Telekommunikationstechnik, Informatik at EURECOM
English, French, Spanish
Github Skills (11)
relational-algebra5
prolog5
perl4
polyglot3
c-programming3
javascript3
stack-based3
esoteric-language3
programming-language2
odin2
language-design1
Programming languages (2)
Github contributions (5)
stg-tud/type-pragmatics
Oct 2014 - Jun 2019
Contributions:1164 commits, 6 PRs, 634 pushes in 4 years 9 months
cygnenoir/cka
Mar 2025 - Mar 2025
Contributions:1 push in 1 day
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.