Jeden z nejvýznamnějších počítačových vědců své doby, Dines Björner, získal ocenění FME Fellowship Award. Asociace Formal Methods Europe, sdružující odborníky z oblasti formálních metod, u jejíhož zrodu letos čtyřiaosmdesátiletý profesor stál, jej uděluje za úspěchy v oblasti rozvoje, aplikace a propagace formálních metod. Oceňuje tak průkopnickou činnost a vědecké průlomy, které díky pokroku v oblasti formálních metod, pomáhají měnit svět. Ať už tak ocenění činí skrze vývoj, výuku nebo svou publikační činnost.
FME Fellowship Award je udělována od roku 2015 a Björner se stal jejím čtvrtým držitelem. Sedmičlenná komise ocenila jeho akademické úspěchy a celoživotní vliv na komunitu formálních metod. Björner coby spolutvůrce Vídeňské rozvojové metody – Vienna Development Method (VDM), jedné z nejzavedenějších formálních metod pro vývoj počítačových systémů, stál nejen u zrodu VDM-Europe (předchůdce dnešní FME), ale zakládal a vedl též United Nations University UNU-IIST v čínském Macau nebo vývojové centrum Dansk Datamatik Center v rodném Dánsku, včetně jeho komerčního spin-offu DDC International.
„Profesor Björner dokázal vždy hledět dál než do současnosti, geografické hranice pro něj nebyly překážkou. Formální metody prosazoval po celém světě. Krom toho, že byl vizionářem, jeho energie a zápal pomáhaly utvářet celou komunitu formálních metod. Neúnavně přispíval a prosazoval nové nápady, byl velkorysý a svým působením ovlivnil životy a kariéry mnoha vědců,“ vyzdvihla komise.
Dines Björner přispěl k rozvoji komunity v oblasti formálních metod i mezi informatiky z Masarykovy univerzity, resp. Univerzity Jana Evangelisty Purkyně ještě před sametovou revolucí, a ovlivnil tak i kariéry vědců na dnešní Fakultě informatiky MU. Už v minulosti za svou práci Dines Björner získal řadu uznání a ocenění. Krom dánského státního vyznamenání Dannebrog také například Zlatou medaili Masarykovy univerzity nebo čestný doktorát Masarykovy univerzity v oboru informatika.
