설명
주요 학습
- forge
- model checking
- infrastruktur
발표자
- ABAlex BraunAlex Braun hat nach seinem Studium des Bauingenieurwesens 2013 eine Stelle als wissenschaftlicher Mitarbeiter beim Lehrstuhl für Computergestützte Modellierung und Simulation der TU München angenommen. Dort forscht er im Bereich der automatisierten Baufortschrittskontrolle. Seit 2017 ist er akademischer Rat und Leiter der Rechnerbetriebsgruppe der Fakultät Bau Geo Umwelt.