Marco Eilers
Senior Researcher ( Oberassistent ) at ETH Zürich
Zürich Metropolitan Area Switzerland
Summary
🤩
Rockstar🎓
Top SchoolMarco Eilers is a postdoctoral researcher at ETH Zurich’s Chair of Programming Methodology with 11 years of experience spanning academic research and industry consulting in model-driven software development and domain-specific languages. He completed a PhD in Computer Science at ETH Zürich after advanced studies across Europe (Copenhagen, Utrecht, Anglia Ruskin) and brings practical tooling experience from itemis AG and IBM, particularly with Eclipse, Xtext and AUTOSAR. Marco bridges formal programming-methodology research and hands-on engineering, turning rigorous ideas into usable language tooling and consulting solutions. Based in Zurich, he combines deep academic training with proven industry delivery, often working at the intersection of language design, tooling infrastructure, and embedded software ecosystems. An understated strength is his international academic path, which informs a pragmatic, multilingual approach to collaborative research and tool-building.
12 years of coding experience
2 years of employment as a software developer
Computing, Computing at Anglia Ruskin UniversityMaster of Science (M.Sc.) Computer Science, Master of Science (M.Sc.) Computer Science at University of CopenhagenComputer Science, Computer Science at Utrecht UniversityBachelor of Science (B.Sc.) Business Information Technology, Bachelor of Science (B.Sc.) Business Information Technology at Berlin School of Economics and LawDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at ETH Zürich
German, English, French, Danish
Github Skills (44)
programming-language10
python10
viper10
verification10
symbolic-execution10
concurrent9
boogie9
java9
vscode-extension9
opencl9
type-inference9
formal-verification9
concurrency9
smt9
rust9
Programming languages (8)
Github contributions (5)
viperproject/silver-sif-extension
Jan 2021 - Jan 2026
Extension of the Viper language with modular product programs and information flow specifications
Contributions:4 reviews, 4 PRs, 16 pushes in 5 years 1 month
viper
marcoeilers/nagini
Nov 2015 - Dec 2022
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Contributions:2 releases, 7 reviews, 860 commits in 7 years 1 month
pythonviper
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.