https://www.uni-passau.de/en/webservice/mnav/138204/mnav.webservice
Wichtiger Hinweis
: Sie haben JavaScript in Ihrem Browser deaktiviert. Einige Features der Website funktionieren möglicherweise nicht korrekt.
Suchbegriff
Quick links
Apply
Study options
Academic Advice Service
Course catalogue
International Office
Careers and Competencies
Examinations Office
Graduate Centre
Student Services Association
University Library
English
Keine weiteren Sprachen vorhanden
Home
PIDS
Team
Prof. Dr. Joachim Posegga
Wird geladen...
Office
Dr. Henrich C. Pöhls
Wird geladen...
Philipp Eichhammer
Talaya Farasat
Aleena Elsa George
Alumni
Kailun Sha
Martin Schmid
Korbinian Spielvogel
Farnaz Mohammadi
Felix Klement
Daniel Schreckling
Christopher Alm
Dr. Bastian Braun
Eric Rothstein Morris
Stephan Huber
Prof. Dr. Martin Johns
Dr. Markus Karwe
Peng Liu
Oussama Mahjoub
Wolfram Gottschlich
Arne Bilzhause
Dr. Juan David Parra Rodriguez
Tobias Marktscheffel
Boutheyna Belgacem
University
Research
Study
Knowledge transfer
International
Information for
Current students
Prospective students
Academics
Early career researchers
Businesses
Alumni and friends
Staff
Media representatives
University
Research
Study
Knowledge transfer
International
Information for
Current students
Prospective students
Academics
Early career researchers
Businesses
Alumni and friends
Staff
Media representatives
Publications
Research
Wird geladen...
Teaching
Wird geladen...
University
Research
Study
Knowledge transfer
International
Information for
Current students
Prospective students
Academics
Early career researchers
Businesses
Alumni and friends
Staff
Media representatives
English
Keine weiteren Sprachen vorhanden
Login
Contact
Toggle Dropdown
Suche einschränken
Gesamte Universität
Hilfe- und Supportportal
Search term
Suchen
Quick links
Quick links
Apply
Study options
Academic Advice Service
Course catalogue
International Office
Careers and Competencies
Examinations Office
Graduate Centre
Student Services Association
University Library
Chair of IT Security
Startseite
Faculty of Computer Science and Mathematics
Chair
Team
Alumni
Eric Rothstein Morris
Eric Rothstein Morris
Research Interest
Formal methods and their application.
Abstract state machines.
Property verification and specification.
Concrete coalgebras for system and information security.
Share this page
Back to top
Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet.
Video anzeigen