Wytse Oortwijn
Research Fellow at TNO-ESI
Netherlands
Summary
👤
Senior🎓
Top SchoolWytse Oortwijn is a research fellow and program verification specialist with 10 years' experience building SMT-based code verifiers and advancing concurrency and behavioural abstraction techniques. He has moved verification from theory toward practice—working on the VerifiedSCION project and an automated verifier for Go—bridging high-level protocol proofs with real-world code. His background spans academic research (PhD work on sound abstractions for concurrent programs) and hands-on software engineering, including large-scale web systems and C#/.NET applications. Based in the Netherlands, he combines theorem-proving and program-logic expertise with practical tool development to make formal methods usable in industry. An attention to formally relating abstract models to concrete implementations distinguishes his work and accelerates adoption of verification in deployed systems.
10 years of coding experience
8 years of employment as a software developer
Master's degree, Computer Science, 9 (with Honours distinction), Master's degree, Computer Science, 9 (with Honours distinction) at University of TwenteBachelor's degree, Computer Science, 9 (with Cum Laude distinction), Bachelor's degree, Computer Science, 9 (with Cum Laude distinction) at Windesheim
Dutch, English
Github Skills (32)
opencl10
concurrent10
modular10
viper10
verification10
java10
security10
openmp10
infrastructure10
go10
golang10
concurrency10
parallel9
intermediate9
condition8
Programming languages (4)
Github contributions (5)
wytseoortwijn/vercors
Nov 2016 - Oct 2019
The VerCors tool set for Verification of Concurrent Software
Contributions:216 pushes, 11 branches in 2 years 10 months
securityverificationconcurrent
wytseoortwijn/gobra
Oct 2020 - Feb 2021
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Contributions:31 pushes, 6 branches in 3 months
golangsecurityverifierinfrastructureprograms
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.