Address:
Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Fachbereich Modelle und Theorie Verteilter Systeme
Sek. TEL 7-2
Ernst-Reuter-Platz 7
10587 Berlin
Raum: TEL 705
Phone:
+49-30-314- 27336
Fax:
+49-30-314-73750
E-Mail:
brodmann(at)soamed.de
Member at SOAMED:
Computer Science at TU Berlin
Title of Master`s Thesis:
"Automated Generation of Refinement Mappings"
Computer Science at TU Berlin (Bachelor)
Mathematis Study at TU Berlin (Diplom)
2016
Bisping, Brodmann, Jungnickel, Rickmann, Seidler, Stüber, Wilhelm-Weidner, Peters, Nestmann:
"Mechanical Verification of a Constructive Proof for FLP"
M.Sc. Paul-David Brodmann
