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

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