Congratulations to Annette ten Teije et al for most cited paper listing

A recently published literature review [1] in the Journal of Software Evalution and Process on the use of formal methods in medical software systems lists the 2006 paper by Annette ten Teije (VU Computer Science) and her co-authors (“Improving medical protocols by formal methods”, [2]) as the most cited paper in the field.

[1] A systematic literature review of the use of formal methods in medical software systems, S Bonfanti, A Gargantini, A Mashkoor – Journal of Software: Evolution and Process

[2] Improving medical protocols by formal methods, A ten Teije, M. Marco, M. Balser et al., Artificial Intelligence in Medicine (2006) 36(3) 193-209

More info on the VU Computer Science web pages HERE

Read More

  • Peter Boncz appointed ACM Fellow

    CWI researcher Peter Boncz has been appointed as one of the 2022 fellows of the Association of Computing Machinery (ACM).

  • Winners of the ADS Thesis Awards 2022

    The ADS Thesis Award winners for 2022 are Philipp Sommerhalter and Sarah Kwakkelaar in the BSc category and Krijn Doekemeijer and Julia Sudnik for the MSc category. The winners were announced at the ADS Highlights Event on the 8th of December 2022!

  • Symposium in honor of Cees de Laat and Leon Gommans

    A symposium entitled ‘From Systems and Networks to Complex Cyber Infrastructures’ took place on 9th December 2022 in honor of Cees de Laat (UvA IvI) and Leon Gommans (UvA IvI).