Direkt zum Inhalt Direkt zur Suche Direkt zur Navigation

⇧

homepage of the instituion

Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

Welcome to SOAMED | Brodmann, Paul-David

M.Sc.

Paul-David Brodmann

Contact

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
Homepage:	paul-david_brodmann
E-Mail:	brodmann(at)soamed.de

Education

Member at SOAMED:	November 13, 2014
2012-2014	Computer Science at TU Berlin Title of Master`s Thesis: "Automated Generation of Refinement Mappings"
2007-2012	Computer Science at TU Berlin (Bachelor)
2005-2007	Mathematis Study at TU Berlin (Diplom)
2004	University-Entrance Diploma at Fritz Reuter Gymnasium in Dannenberg

Publication

2016	Bisping, Brodmann, Jungnickel, Rickmann, Seidler, Stüber, Wilhelm-Weidner, Peters, Nestmann: "Mechanical Verification of a Constructive Proof for FLP" In Proceedings of the 7^th International Conference of Interactive Theorem Proving (IIP '16) 2016.

internal area

Login