|
Address: |
Technische Universität Berlin 10587 Berlin Raum: TEL 1002 |
Phone: |
+49-30-314-29858 |
Fax: | +49-30-314-78866 |
Homepage: | timm_liebrenz |
E-Mail: |
liebrenz(at)soamed.de |
Education
Member at SOAMED: | September 01, 2015 |
2013-2015 |
Master of Science in "Technische Informatik" at Technische Universität Berlin Title of Master`s Thesis: "Automatic Slicing and Abstraction of HW/SW Co-Designs to enable Compositional Verification" |
2009 - 2013 |
Bachelor of Science in "Technische Informatik" at Technische Universität Berlin Title of Bachelor`s Thesis: "Automatische Transformation von hierarchischen SytemC Modellen in Timed Automata" |
2009 |
University-Entrance Diploma in Berlin, Barnim - Oberschule |
Publications
|