TGI

Education

: 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