Marco Eilers
Postdoc at ETH Zurich
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
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.
11 years of coding experience
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 (47)
programming-language10
tla10
python10
viper10
verification10
condition10
intermediate10
security10
infrastructure10
symbolic-execution10
smt10
concurrent9
boogie9
java9
opencl9
Programming languages (7)
Github contributions (5)
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
pythonsecurityverifierinfrastructurepython-3
viperproject/silver-sif-extension
Jan 2021 - Sep 2024
Extension of the Viper language with modular product programs and information flow specifications
Contributions:3 PRs, 6 pushes, 1 branch in 3 years 8 months
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.