Mark-Oliver Stehr

This page is no longer maintained.

Room:

C-217

Phone:

040 / 42883-2245

Telefax:

040 / 42883-2246

E-Mail:

stehr@informatik.uni-hamburg.de

Position:

former research assistant

Previously:

International Fellow at SRI International, Computer Science Laboratory, Menlo Park, California, USA

Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA

Current projects:

General Net Theory (German only)

Concurrency Theory

Cyclic Orders

Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)

Spezification und Verification in A Type Theoretic Framework (see also here)

Rewriting Semantics for High-Level Petri Nets

CINNI - A Calculus of Indexed Names and Named Indices

Pure Type Systems in Rewriting Logic

OCC - An Open Calculus of Constructions

Formal Interoperability in Computer-Aided Theorem Proving

Maude: A Wide-Spectrum Formal Language for Secure Active Networks

Seminars and Lectures

Lecture: Type Theory (SS 97 and WS 01/02)

Projectseminar: Computer-Aided Theorem Proving (WS 97/98)

Lecture: General Net Theory (SS98, see also here)

Projectseminar: Formal Verification of Distributed Algorithms (SS 98)

Lecture: Assertional Reasoning and Temporal Logic for System Verification (MATCH Advanced Summer School, Jaca, Spain, September 98)

Scientific Events

PNSE'97 - Petri Nets in System Engineering

VCL'2002 - Verification and Computational Logic

Bibliography