Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

 

 

M.Sc. Timm Liebrenz

       

  

Liebrenz, Timm.jpg
 Kontakt
Adresse:

Technische Universität Berlin
Fachgebiet Programmierung eingebetteter Systeme
Ernst-Reuter-Platz 7

10587 Berlin

Raum: TEL 1002

Telefon:

 +49-30-314-29858
Telefax: +49-30-314-78866
Homepage: https://www.pes.tu-berlin.de/menue/ueber_uns/team/timm_liebrenz/

E-Mail:

 liebrenz(at)soamed.de
Ausbildung
Mitglied bei SOAMED: 01.09.2015
2013-2015

Master of Science in "Technischer Informatik", Technische Universität Berlin

Thema der Masterarbeit:

"Automatic Slicing and Abstraction of HW/SW Co-Designs to enable Compositional Verification"
2009 - 2013

Bachelor of Science in "Technischer Informatik", Technische Universität Berlin

Thema der Bachelorarbeit:

"Automatische Transformation von hierarchischen SytemC Modellen in Timed Automata"
2009

Abitur an der Barnin - Oberschule in Berlin
Publikationen