Welcome
This is the homepage of Uli Fahrenberg, mathematician / computer scientist. It is deliberately kept short to be (hopefully) more easily maintainable.
I am a postdoc at IRISA Rennes, where I work within the ARC(TP)I project.
Previously, until November 2010, I have been postdoc and assistant professor at the department of computer science at Aalborg University, and yet earlier (until July 2006), PhD student / research assistant at the department of mathematical sciences at the same university.
Research
My current research is in the area of real-time and general quantitative systems and interfaces. I keep an up-to-date list of publications and a list of talks.
I am also interested in directed algebraic topology and its applications in concurrency theory, in categorical foundations for theoretical computer science, and in hybrid systems.
Scientific service
- Program committee co-chair, FORMATS 2011
- Publicity chair, QMC 2010
- Publicity chair, several GETCO workshops
- Reviews for TCS, CAV, NFM, CONCUR, HSCC, ICALP, FSTTCS, FMOODS/FORTE, DAC, ICFEM, SOFSEM, GETCO and others
Network
Here's a list (in alphabetic order) of nice people I work, or have worked, with:
Sebastian S. Bauer,
Patricia Bouyer-Decitre,
Benoît Delahaye,
Lisbeth Fajstrup,
Eric Goubault,
Kim G. Larsen,
Axel Legay,
Radu Mardare,
Nicolas Markey,
Dejan Ničković,
Martin Raussen,
Jiří Rosický,
Jiří Srba,
Claus Thrane,
Andrzej Wąsowski.
Teaching
My teaching has been within computer science and mathematics. Here's a non-exhaustive list:
- PhD student co-supervision: Claus Thrane (since Fall 2008; with Kim G. Larsen)
- PhD course: Category theory with applications in functional programming (Fall 2009; with René R. Hansen)
- Master's student supervision: Max-plus algebra for real-time model checking (Spring 2010)
- Graduate course: Formal systems (Fall 2010; with Kim G. Larsen)
- Graduate course: Semantics and verification (Spring 2010; with Kim G. Larsen)
- Graduate student project supervision (Spring 2010 (19 ECTS), Fall 2010 (27 ECTS); with Kim G. Larsen)
- Undergraduate course: Syntax and semantics (Spring 2007, 2008, 2009)
- Undergraduate student supervision (Fall 2006 to Spring 2008; 15 projects à 22 ECTS)
- Undergraduate course: Programming in C (Fall 2006, 2007)
- Undergraduate course: Linear algebra for electrical engineers (Spring 2006)
- Undergraduate course: Calculus for architects (Fall 2005)