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

  • Amsterdam AI and Smart Health Amsterdam: joining together for an innovative future

    Big news! Amsterdam AI and Smart Health Amsterdam are joining together for an innovative future in what Geert ten Dam, chair of the Amsterdam AI governing board, calls “the next logical step” in Amsterdam’s development as an international hotspot for responsible AI.

  • ADS TECH020 Career Fair Recap

     The annual ADS TECH020 Career Fair took place on  April 13th at Lab42, Amsterdam Science Park. We hosted 16 companies and 200 students who made it a lively and interactive event. Few of the companies that attended where: KPN, Cloudflight, UWV, Creative Clicks B.V., Aurai, Xebia Data, Savills and Equals.Amsterdam. *Photo credit by Teus Hagen

  • ADS Partner Dinner | Invitation Only

     ADS will host its second ADS Partner Dinner on June 1st  at Mediamatic in Amsterdam.