avatar

I am Felix E. Linker, a PhD student in the Information Security group at ETH Zurich where I am part of the Centre for Cyber Trust1.

Research Interests

I research protocol analysis and design using formal methods and strive to bring stronger security guarantees to people in their everyday life. To assure that those are guarantees, I back my claims by formal methods and improve the tools whenever I hit a limit. I dream of a world in which formal methods are automated and accessible.

Find more details about my research on my projects site or in my dissertation’s research plan here.

Professional Experience

WhenWhereWhat
2020-Information Security Group, ETH ZurichScientific Assistant
2019-2020Chair for Intelligent Systems, Leipzig UniversityResearch Assistant/Scientific Staff
2018Security Research Arm Ltd, Cambridge, UKIntern
2016-2018cookionista, NurembergProgrammer
2016AKSW, Leipzig UniversityStudent Assistant Programmer

Education

WhenWhereWhat
2020-ETH ZurichPhD Student
2017-2020Leipzig UniversityM.Sc. Computer Science
2014-2019Leipzig UniversityB.A. Philosophy
2014-2017Leipzig UniversityB.Sc. Computer Science
2001-2014Altes Gymnasium FlensburgA Level

Publications