Jurriaan Rot received a Vidi grant!
The Netherlands Organisation for Scientific Research (NWO) has awarded ten Nijmegen researchers Vidi funding of up to 800,000 euros. This will allow them to develop their own innovative line of research and set up a research group over the next five years.
New Foundations for Model Learning
Jurriaan Rot, Radboud University
The aim of model learning is to find a precise description of a software or hardware system, by systematically interacting with it and trying out how it responds. Model learning techniques are very useful to improve the quality of systems. For instance, these techniques has been succesful in finding bugs in implementations of internet protocols. However, due to scalability issues, model learning not yet reached its full potential. This project alleviates these issues by developing new techniques and foundations for model learning.
See more here.