Solution Architect at Eijsink / DISH · PhD in Computer Science from the University of Twente
I'm a solution architect based in the Netherlands with a background in formal methods, model checking, and automata learning. I hold a PhD from the University of Twente, where I worked on efficient techniques for learning and verifying system behavior. These days I apply that rigour to designing and building enterprise software systems.
- Architect backend systems using Java, Spring, and cloud-connected infrastructure
- Design real-time distributed messaging with Redis, WebSockets, and gRPC
- Design advanced algorithms for optimization and linearization over complex data structures
- Bridge the gap between formal methods research and practical software engineering
- Elevate engineering practices through technical talks, knowledge dissemination, and hands-on mentoring
My dissertation, Efficient Learning and Analysis of System Behavior (2019), covers techniques for learning-based testing using active automata learning and LTL model checking, as well as improvements to symbolic reachability analysis. Three of my publications were supported by NASA. I was a core contributor to the LTSmin model checking toolset and collaborated with the LearnLib project.
I'm a member of the University of Twente's Industrial Advisory Board (IAB) for the Software Technology Master programme.
| Publication | Venue | Cited by |
|---|---|---|
| LTSmin: High-Performance Language-Independent Model Checking | TACAS 2015 | 246 |
| Sound Black-Box Checking in the LearnLib | ISSE 2019 | 23 |
| Efficient Learning and Analysis of System Behavior | PhD Thesis, University of Twente, 2019 | 3 |
📊 617 total citations · h-index 12 · Full profile on Google Scholar
- 2016 MCC — 1st place in the LTL model checking category with LTSmin
- 2017 RERS — 1st place in the sequential reachability category with LTSmin
Maintainer:
- LTSmin — High-performance language-independent model checking toolset
Contributor: