Rakamarić na prestižnom seminaru u Dagstuhlu

Mr.sc. Zvonimir Rakamarić, doktorski student računarskih znanosti na kanadskom sveučilištu Britanska Kolumbija (UBC), rodom Križevčanin i član lokalne udruge P.O.I.N.T., od jučer sudjeluje na međunarodnom seminaru u njemačkom dvorcu Dagstuhl. Poziv na ovaj prestižni skup, koji okuplja najveće svjetske stručnjake iz primjene interaktivne i automatske dedukcije u softverskoj verifikaciji, Rakamarić je zaslužio znanstvenim rezultatima, kao i svjetskom nagradom Microsoft Research Fellowship, koje je nositelj od 2008. godine. U jednotjednom boravku u istraživačkom centru Dagstuhl, Rakamarić će predstaviti rezultate u otkrivanju konkurentnih pogrešaka u sistemskom kodu i pred kolegama iz Microsofta koje predvodi dr.sc. Thomas Ball. Uoči puta u Njemačku, Rakamarić je već posjetio Hrvatsku i Križevce, gdje navraća na još tjedan dana prije povratka na studij u Vancouver.