Freiburger Informatiker gewinnen ersten Platz beim internationalen Wettbewerb für Software Verifikation (SV-COMP)
Softwaretechnik
Bei der feierlichen Eröffnung des Akademischen Jahres 2016/2017 der Albert-Ludwigs-Universität hat Rektor Prof. Dr. Dr. h.c. Hans-Jochen Schiewer Martin Zens, Lisa Becherer, Annelie Schiller, Maxim Tatarchenko, Matthias Heizmann und Nils Spengler von der Technische Fakultät ausgezeichnet
Freiburger Informatiker-Team gewinnt ersten Platz beim 5. Internationalen Wettbewerb für Software Verifikation
Nach erneuter erfolgreicher Begutachtung durch die Deutsche Forschungsgemeinschaft (DFG) wird der vor acht Jahren ins Leben gerufene transregionale Sonderforschungsbereich (SFB/TR 14) „Automatic Verification and Analysis of Complex Systems“ (AVACS) für weitere vier Jahre gefördert. Dafür stellt die DFG Mittel in Höhe von 10 Millionen Euro bereit.
Inhaltspezifische Aktionen