Felix Linker
Postdoc at ETH Zürich
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolFelix Linker is a security researcher and postdoctoral fellow at ETH Zurich with 11 years of experience applying formal methods to security-critical systems. He is an independent consultant and a recognized expert in the Tamarin prover, using protocol verification to produce machine-checked security guarantees and force explicit adversary and assumption modeling. His work spans academic research—PhD in Informatics from ETH Zurich and prior roles in formal logics and non-monotonic reasoning—to industry-focused verification efforts such as formally verifying the ARM ISA. Felix combines deep theoretical rigor with practical system development, having built prototypes for BPMN execution and deterministic benchmark generators earlier in his career. Colleagues know him for translating formal proofs into actionable security assurances that improve design clarity as much as they improve trust.
11 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Informatics, 1,0, Master of Science - MS, Informatics, 1,0 at Universität LeipzigDoctor of Philosophy - PhD, Informatics, Doctor of Philosophy - PhD, Informatics at ETH Zürich
Stackoverflow
80reputation
3kreached
3answers
2questions
Github Skills (200)
difference10
javascript10
sqf10
bpmn-js10
compile10
csharp10
css10
ace10
in-progress9
rendering9
docker-compose9
fundamentals9
browser9
bpmn9
latex9
Programming languages (16)
Github contributions (5)
felixlinker/FETT_CfgLoadouts
Sep 2015 - Aug 2021
A loadout-system for ArmA 3.
Contributions:1 review, 71 commits, 2 PRs in 5 years 11 months
armabare-metalloadoutarma-3arm
felixlinker/felixlinker.github.io
Dec 2017 - Oct 2023
Contributions:32 pushes, 2 branches in 5 years 10 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.