Dr. Moritz Sinn , MSc

FH-Dozent
Department Informatik und Security
Departments:
  • Informatik und Security
  • Medien und Digitale Technologien
Studiengänge:
  • Information Security (MA)
  • IT Security (BA)
  • Smart Engineering (BA)
Institut:
  • Institut für IT Sicherheitsforschung

Kurzprofil

  • 2003 – 2011 Bachelor und Masterstudium der Informatik an der TU Darmstadt und der Universidad Politécnica de Valencia
  • 2011-2016 Doktoratsstudium der Informatik an der TU Wien
  • 2011-2016 Universitäts- und Projektassistent am Arbeitsbereich Formal Methods in Systems Engineering des Instituts für Informationssysteme der TU Wien

Download Lebenslauf

Ausgewählte Publikationen

From Shapes to Amortized Complexity
Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, In: International Conference on Verification, Model Checking, and Abstract Interpretation, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, pp. 205-225, URL: https://link.springer.com/chapter/10.1007/978-3-319-73721-8_10, 2017.