Mark-Oliver Stehr
|
|
|
|
 |
-
- Diese Seite wird nicht mehr gepflegt.
- Raum:
- C-217
- Telefon:
- 040 / 42883-2245
- Telefax:
- 040 / 42883-2246
- E-Mail:
- stehr@informatik.uni-hamburg.de
- Stellung:
- ehemaliger Wissenschaftlicher Mitarbeiter
- Zuvor:
- International Fellow at
SRI International,
Computer Science Laboratory,
Menlo Park, California, USA
- Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA
- Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA
- Aktuelle Projekte:
-
Allgemeine Netztheorie
- Theorie der Nebenläufigkeit (Concurrency Theory)
- Zyklische Ordnungen
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Spezifikation und Verifikation im Rahmen der Typtheorie (see also here)
- Termersetzungs-Semantik (rewriting semantics) für höhere Petri-Netze
- CINNI - Ein Kalkül der indizierten Namen und benannten Indizes
- Reine Typ Systeme (Pure Type Systems) in Rewriting Logik
- OCC - Ein offenenes Kalkül der Konstruktionen (open calculus of constructions)
- Formale Interoperabilität beim rechnergestützten Theorembeweisen
- Maude: Eine formale Wide-Spektrum-Sprache für sichere Aktive Netzwerke
- Seminare und Vorlesungen
- Vorlesung: Typtheorie (SS 97 und WS 01/02)
- Projektseminar: Rechnergestueztes Beweisen (WS 97/98)
- Vorlesung: Allgemeine Netztheorie (SS98, siehe auch hier)
- Projektseminar: Formale Verifikation verteilter Algorithmen (SS 98)
- Vorlesung: Assertional Reasoning and Temporal Logic for System Verification (MATCH Advanced Summer School, Jaca, Spain, September 98)
- Wissenschaftliche Veranstaltungen
- PNSE'97 - Petri Nets in System Engineering
- VCL'2002 - Verification and Computational Logic
- Bibliographie
- Theorie der Nebenläufigkeit (Concurrency Theory)
