David Basin
Affiliate Professor
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolDavid Basin is a seasoned computer scientist and entrepreneur who serves as Affiliate Professor at INSAIT and Professor of Information Security at ETH Zurich, where he founded and led the Zurich Information Security Center. With a PhD from Cornell and a Habilitation from Saarland, he blends deep academic research in formal verification and system validation with practical impact through spinoffs like Anapaya Systems and 3db Access (acquired by Infineon). He co-founded Thenti to apply machine learning to physical-object authentication, showing a consistent pattern of translating formal security expertise into commercial technology. A long-time editor and advisor in privacy and cryptography, he consults for industry and government while teaching advanced courses in cryptography and information security. Unusually for a senior academic, he remains actively involved in startup product and board roles, bridging rigorous research and product-driven engineering.
10 years of coding experience
15 years of employment as a software developer
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Cornell UniversityHabilitation Computer Science, Habilitation Computer Science at Universität des SaarlandesBachelor's degree Mathematics and Economics, Bachelor's degree Mathematics and Economics at Reed CollegeGithub contributions (1)
tamarin-prover/manual
Nov 2015 - Nov 2015
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.