The Chair of Software Engineering, headed by Prof. Andreas Podelski, hosted the Alpine Verification Meeting (AVM) in Freiburg from September 4 to 6.
Software Engineering
Freiburg team wins for the second time in a a row
Parlamentarischer Staatssekretär Dr. Jens Brandenburg übergibt den Fördermittelbescheid an Prof. Dr. Andreas Podelski, Professur für Softwaretechnik
Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP)
Document Actions