Thursday November 9 2023

Have you ever been academically roasted? For his academic promotion 'roast', also known as a PhD defense, Jouke Stoel received a lot of praise. He did his research for the Centrum Wiskunde & Informatica and the Eindhoven University of Technology. Jouke looked at how to determine if the requirements of a bank's extensive application landscape are correct and, subsequently, if they have been implemented correctly within ING Bank. Building the right thing and building it right, right 😊.

He investigated, among other things, domain-specific languages to create clear and readable specifications that can be understood by domain experts; how to demonstrate requirements (model checking) and how to automatically test them (model-based testing). Praise was given because Jouke not only succeeded in connecting theory and complex practice but also delivered working tools. Looking back, this has had a remarkably large impact both within and outside of ING Bank, as stated by supervisor Jurgen Vinju.

Therefore, we consider ourselves fortunate that Jouke is now applying his skills on the Axini Modeling Platform. By the way, he could still use some help there – a Master's degree will suffice, PhD welcome.

For the juicy details of his research, we refer you to his dissertation Solving the Bank: Lightweight Specification and Verification Techniques for Enterprise Software.