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.
11 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 (20)
opencl10
concurrent10
viper10
verification10
java10
openmp10
go10
golang10
concurrency10
parallel9
binary-decision-diagrams8
programming-language8
symbolic-execution6
vscode-plugin4
automata4
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/com.github.javabdd
Jun 2024 - Mar 2026
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
Contributions:22 pushes, 14 branches in 1 year 9 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.