Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK

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

[MitarbeiterInnen] [TGI] [Informatik]

Letzte Änderung: 15:02 20.06.2008

Impressum