Peter Amthor – Author profile

Peter Amthor ist promovierter Informatiker, er forscht und lehrt am Fachgebiet Verteilte Systeme und Betriebssysteme der Technischen Universität Ilmenau. Seine wissenschaftlichen Veröffentlichungen auf dem Gebiet sicherer IT-Systeme verfolgen das Ziel, formale Methoden für deren Entwurf, Analyse, Spezifikation und Implementierung einem breiten Spektrum von Anwendungen zugänglicher zu machen. Er unterrichtet Kurse in Betriebssystemen, verteilten Systemen, Systemsicherheit und modellbasiertem Security Engineering.

Peter Amthor holds a PhD in Computer Science. He works as a postdoctoral researcher in the Distributed Systems and Operating Systems group at Ilmenau University of Technology (Technische Universität Ilmenau), Germany. His publication work focuses on formal foundations of secure IT systems, with the aim of making formal methods for their design, analysis, specification, and implementation more accessible to a broad range of applications. He teaches courses in operating systems, distributed systems, systems security and model-based security engineering.

Contributed to the following publications

Aspect-oriented Security Engineering

Peter Amthor

Author

ISBN-13 (Hard Copy): 978-3-73699-980-0
ISBN-13 (eBook): 978-3-73698-980-1

EUR 59.90

EUR 41.90

2019-03-05