Clemens Grabmayer

I am temporary assistant professor (tijdelijke UD) at the Theoretical Philosophy Group of the Department of Philosophy at Utrecht University in the Netherlands.

• Realising Optimal Sharing: I am employed in the framework of this NWO-project headed by Vincent van Oostrom in collaboration with Doaitse Swierstra from the functional language group at the Department of Information and Computing Sciences at Utrecht University. I collaborate closely with Jan Rochel.
• Recent Event: TeReSe meeting on rewriting, Utrecht, 9 december 2011.
• Teaching:
  • Models of Computation (Master's programme CAI, course description in Osiris).
  • Datastructuren en Algoritmen voor CKI (Bachelor's programme CAI, course description in Osiris).
• Secretaris Examencommissie CKI: I am currently secretary of the exam commission for the study program Cognitive Artificial Intelligence at Utrecht University.
• Productivity Prover ProPro: work together with Dimitri Hendriks and Jörg Endrullis (and earlier with Ariya Isihara and Jan Willem Klop) on the productivity of stream definitions led to this online tool.
• My past and present scientific ambitions: read more here ....

My Address

Theoretical Philosophy group (Disciplinegroep Theoretische Filosofie)
Department of Philosophy (Departement Wijsbegeerte)
Faculty of Humanities (Faculteit Geesteswetenschappen)
Utrecht University (Universiteit Utrecht)
mail address:
    Postbus 80126, 3508 TC Utrecht, The Netherlands
physical adress (building, room):
    Janskerkhof 13a, 3512 BL Utrecht, The Netherlands
    Room 1.05
Tel: +31 (0)30 253 7986
FAX: +31 (0)30 253 2816
e-mail: clemens one at phil one dot uu one dot nl ( clemens één apenstaartje phil één punt uu één punt nl )
www: http://www.phil.uu.nl/~clemens   (this page)
          https://www.phil.uu.nl/profiel/clemens.grabmayer/   (my profile page on the department's webpages)

Teaching (Onderwijs)

• Models of Computation (Master's programme CAI, course description in Osiris).
  
  
• Datastructuren en Algoritmen voor CKI (Bachelor's programme CAI, course description in Osiris)
  
  
• In the Past:
  • Models of Computation 2009-10
  • Datastructuren voor CKI 2008-09.
  • Datastructuren voor CKI 2007-08.
  • Werkgroep, en Practicum Datastructuren voor CKI 2006-07.

Publications and Scientific Work

1. Publications and Technical Reports
2. Preliminary List of BibTeX Entries
3. Poster Presentations
4. PhD Thesis.
5. Master's Theses
6. Talks and Miscellaneous Work.

Brief CV

Links

Personal

About some of my more personal interests in past and present read more ....

Clemens Grabmayer / Utrecht University / clemens one at phil one dot uu one dot nl / Last modified: Mon Dec 12 10:37:03 CET 2011 /