Eric Rothstein Morris
Research Interest
- Formal methods and their application.
- Abstract state machines.
- Property verification and specification.
- Concrete coalgebras for system and information security.
Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet.