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…