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

 

Brodmann,Paul-David.neu.jpg   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 7th International Conference of Interactive Theorem Proving (IIP '16) 2016.