Thomas Van Strydonck
Senior Software Engineer at Schaakinitiatief Vlaanderen vzw
Leuven, Flemish Brabant, Belgium
Summary
👤
Senior🎓
Top SchoolThomas Van Strydonck is a senior software engineer and security researcher based in Leuven with eight years of experience specializing in formal reasoning about software security for modern architectures. He holds a PhD from KU Leuven and has advanced work on provable guarantees for compilers and hardware security primitives, notably the CHERI capability project, combining deep theory with practical tooling. Currently at Fortanix after a postdoc at KU Leuven, he translates rigorous research into deployable security engineering. Outside academia he teaches chess to hundreds of kids each summer, reflecting a commitment to mentorship and clear knowledge transfer.
8 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science (Specialization: Secure Software), Doctor of Philosophy - PhD, Computer Science (Specialization: Secure Software) at KU LeuvenLatin-mathematics 8 hours, Latin-mathematics 8 hours at OLVE CollegeATHENS Exchange Programme, Non-linear mathematical models and applications, ATHENS Exchange Programme, Non-linear mathematical models and applications at Universidad Politécnica de Madrid
Dutch, English, French, German, japans, portugees
Github Skills (13)
tla10
capability10
tlaplus9
verification8
theorem-proving8
logic8
security8
specification7
symbolic-execution7
sanitization6
embedded5
formal-methods5
test-suite3
Programming languages (2)
Github contributions (5)
proteus-core/cheritree
Apr 2023 - Jul 2023
Snapshot of the three implementations (in Sail, Proteus and Morello, respectively) discussed in our EuroS&P 2023 paper "CHERI-TrEE: Flexible enclaves on capability machines"
Contributions:4 pushes in 2 months
otenkosol2/CPL2020skeleton
Nov 2020 - Dec 2020
Contributions:9 pushes in 1 month
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.