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

  • ADS Thesis Awards 2022

    The ADS Thesis Awards aim to promote excellence in Data Science and AI from students at BSc and Master level. The Awards are open to students from all Amsterdam-based knowledge institutes.

  • Join LAB42’s Grand Opening on the 22nd of September

    On the 22nd of September LAB42 will host its Grand Opening from 15:00 onwards. LAB42 is an international hub for developing talent in the fields of digital innovation and AI. The building is the result of a partnership between the UvA, the municipality of Amsterdam and the business sector.

  • Register for the Data Science Day on the 13th of October

    The UvA Data Science Centre, part of the University Library, is pleased to host its second yearly Data Science Day on the 13th of October 2022.