We are proud to announce that Tim Willemse has won the GEWIS Best Teacher Award. Students chose Tim for his commitment to making complex theoretical concepts simple and accessible to everyone, and for his willingness …continue reading
Category: Education
News about education
New book on mCRL2
The book ‘Understanding behaviour of distributed systems using mCRL2‘, written by Muhammad Atif and Jan Friso Groote has appeared in the Systems, Decision and Control series of Springer. It gives an introduction into mCRL2 with …continue reading
Open position Postdoc: continuous improvement of machines through verified software updates
We are looking for a post-doctoral researcher on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means …continue reading