Beweistechnik
IBM Faculty Award für Saarbrücker Informatik-Professor Michael Backes
Der Preis wird jährlich weltweit ausgeschrieben und ist mit 40.000 US-Dollar dotiert. Mit dem Faculty Award fördert IBM herausragende wissenschaftliche…