Information on my computer science Studies


When I started to work in Bremen, the sophistication of proof support for CoCASL (find a nice paper about CoCASL here) and the automation of circular coinductive proofs in Isabelle were of special scientific interest to me. Now I am working on a coalgebraic specification of process calculi which are capable to modell mobility (such as the ambient calculus, the basic SAIL calculus, KLAIM).


A list with most of the courses I attended during my studies in Dresden.

A list of my academic work:


Papers:
New:
Daniel Hausmann, Till Mossakowski, Lutz Schröder. A Coalgebraic Approach to the Semantics of the Ambient Calculus.
In Jose Fiadeiro, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science (CALCO'05),

Vol. 3629, pp. 151--165, Lecture Notes in Computer Science. Springer, Berlin. Full paper: pdf, ps.


Daniel Hausmann, Till Mossakowski, Lutz Schröder. Iterative Circular Coinduction for CoCASL in Isabelle/HOL.
In Maura Cerioli (Ed.), Fundamental Approaches to Software Engineering 2005 (FASE'05),

Vol. 3442, pp. 341-356, Lecture Notes in Computer Science. Springer, Berlin. Full paper: pdf, ps.


D. Hausmann. Data Types and Computability via Final Coalgebras.

Master Thesis (Diplom), Dresden, July 23, 2004. Task: pdf, Full paper: pdf ps, Short version: pdf.


D. Hausmann. General recursive and partial recursive functions in type theories.

Student Project (Großer Beleg), Dresden, January 21, 2004. Task: pdf, Full paper: pdf ps.

The project was awarded the "accenture Award for the best student project 2003/2004" on July 17, 2004.

D. Hausmann. Transition Systems for the Ambient Calculus.

Seminar Report, Dresden, June 20, 2003. Full paper: pdf ps.
 


Talks:

D. Hausmann. An approach to the coinductive specification of the Ambient Calculus.

Research Seminar Talk, Bremen, Part 1: October 29, Part 2: November 12, 2004. Slides: pdf.

D. Hausmann. Data Types and Computability via Final Coalgebras.

Talk at "Algorithms and Tools for Coinductive Reasoning", Dresden, September 21, 2004. Slides: pdf.


D. Hausmann. Data Types and Computability via Final Coalgebras.

Diploma Thesis Defense, Dresden, July 30, 2004. Slides: pdf.


D. Hausmann. Data Types and Computability via Final Coalgebras.

Invited Research Seminar Talk, Bremen, July 01, 2004. Slides: pdf.


D. Hausmann. Data Types and Computability via Final Coalgebras.

Research Seminar Talk, Dresden, June 16, 2004. Slides: pdf.


D. Hausmann. General recursive and partial recursive functions in type theories.

Student Project Defense, Dresden, January 13, 2004. Slides: pdf.

D. Hausmann. Transition Systems for the Ambient Calculus.

Seminar Talk, Dresden, June 20, 2003. Slides: pdf.


D. Hausmann. Innovative Interfaces: Creative Interface Engineering and Custom Components.

Proseminar Talk, Dresden, June 19, 2002.

Scripts:

Inofficial Script for the Lecture "Modal Logic" held by Dr. Carsten Lutz (summer term 2003): pdf ps (last update: 07/15/2003 - 14:57 - final version).
This script was created by me, send me a mail if you want further info or see something changed, or found some mistakes etc.


notes to: hausmann@tzi.de

last changed: 26.10.04 - 15:27:56