print · source · login   


  • Paul Fiterau received a first prize for his thesis at the VERSEN PhD award ceremony at the ICT Open conference in Hilversum on March 20. The jury commented: "An outstanding thesis that uses foundational techniques for a common, relevant, and urgent software engineering problem."
  • Marielle Stoelinga is PC co-chair of the FORMATS'19 conference in Amsterdam, 26-31 August 2019.
  • Frits Vaandrager will give an invited lecture at the ICALP 2019 conference in Patras, Greece, 8-12 July 2019.
  • Nils Jansen received a grant for the VWData kickstarter project ‘EXoDuS - EXplainable Data Science’. The research will focus on applying formal methods to increase the understandability of decision­-making tools that use machine learning methods as a black­ box. With additional support from iCIS, a PhD position will be funded from this grant.
  • The paper 'Shepherding Hordes of Markov Chains' by Milan Češka, Nils Jansen, Sebastian Junges and Joost-Pieter Katoen was accepted for publication at TACAS 2019 in Prague, 6-11 April 2019.
  • Nils Jansen gave an invited talk at the SynCop 2019 workshop at ETAPS in Prague, 6-11 April 2019
  • The Rigorous Examination of Reactive Systems (RERS) challenge is a contest that allows any tool or technique to be used to analyze a given piece of software, including e.g. source code analysis, passive learning, active automata learning, and combinations of techniques. In 2019, for the first time, RERS features an industrial track, co-organized by our group, with problems provided by ASML.
  • In December 2018, Cynthia Kop and Frits Vaandrager received the good news that they both have been awarded an NWO Top grant. See also this news item from Radboud University.
  • In November 2018, Marielle Stoelinga gave her inaugural lecture A certain risk: quantitative risk management for high-tech systems both at Radboud University and Twente University. Her appeal that the Netherlands needs a National Nerd was discussed on national TV and radio, and in the newspapers, e.g. RTL nieuws, RTV Oost, Radio1, BNR nieuwsradio, De Telegraaf, and De Gelderlander.
  • Frits Vaandrager gave a keynote presentation at the 18th International Conference on Runtime Verification (RV'18), Limassol, Cyprus, November 10-13, 2018.
  • Joshua Moerman was one of the 200 young researchers selected to participate in the 2018 Heidelberg Laureate Forum, where he met 33 winners of the Turing Award, Nevallinna prize, Fields medal and Abel Prize.
  • Frits Vaandrager gave a keynote presentation at the 14th International Conference on Grammatical Inference (ICGI'18), September 5-7, 2018, Wroclaw, Poland.
  • Nils Jansen, together with Joost-Pieter Katoen, Pushmeet Kohli and Jan Kretinsky, organized Dagstuhl Seminar 18121: Machine Learning and Model Checking Join Forces, Wadern, March 18-23, 2018
  • Frits Vaandrager, together with Joeri de Ruiter and Juray Somorovsky, organized the Lorentz Center workshop on Systematic Analysis of Security Protocol Implementations, Leiden, June 11-15, 2018
  • Rinus Plasmeijer, Pieter Koopman et al. organized the Three “CO” (Composability, Comprehensibility and Correctness) Winter School (3COWS) of the ERASMUS+ project No. 2017-1-SK01-KA203-035402, Kosice, Slovakia between January 22-26, 2018. In October we had all teachers of this project in Nijmegen for a full week of teacher training.