Homepage of Carsten Butz

• Bitta Nielsen (bitta@itu.dk), Head of the Study Administration, for all study related matters;
• Finn Kensing (kensing@itu.dk), Design of organisational IT (DOIT) or
• Lars Birkedal (birkedal@itu.dk), Programming, Logics and Semantics (PLS) for research related matters.

I am an Associate Professor at the IT University in Copenhagen, Denmark, since November 2005 a member of the research group Design of Organizational IT (DOIT). However, I am also attached to the research group formed by my former colleagues, Programming, Logic and Semantics (PLS).

This page will give you information on

• my teaching,
• my research,
• my curriculum vitae, and on
• how to reach me.

Current activities:

• My research is concerned with semantics, in particular, categorical models of various type theories like intuitionistic first-order and higher-order logic. The buzz words are categorical logic and topos theory. See also Lars Birkedal's homepage or Bodil Biering's homepage
• Due to administrative duties I am currently not teaching regular courses at ITU. However, I do supervise projects and theses provided they fall into one of the following areas:
  • Topos theory, categorical logic, homological algebra (this requires you being a math student enrolled at one of the Copenhagen universities);
  • Service oriented architecture, web services, related XML technologies, process modelling (suitable for ITU students enrolled in software development, internet technology, e-business, and design, communication and media if focus is on organisational aspects);
  • use of IT in finance in particular and management and governance in general (marketing/branding of IT products and marketing/branding through IT products also falls into this category);
  • IT and learning (mainly of interest to DKM students at ITU);
  • other areas, provided you can get me interested (due to severe time constraints difficult, but not impossible).
• Recently I got interested in process modelling.

Administrative duties:

• Head of Studies, ITU (Information about studies at ITU in English and Danish). For appointments please contact Lisbeth Hansen, lha@itu.dk.
• Currently I am also taking care of the MSc study programme Design, Communication and Medier (DKM). For information (Danish only) please visit the DKM homepage.
• In 2002 and 2003 I was a member of the PhD study board (homepage of the study board, information about PhD studies at the ITU, note that only the front page is in Danish, the navigation panel to the left and its sub-pages are in English).
• I am also involved in the PhD school FIRST, Foundations for Innovative Research-based Software Technologies. In 2003 I served as director of the graduate school.

Before joining the IT University I spent time as researcher and later as lecturer at the following research institutions:

• Department of Mathematics, Utrecht University (The Netherlands), Oct. 93 - Dec. 96,
• BRICS, Basic Research in Computer Science, a research institute at the Department of Computer Science, Aarhus University (Denmark), Jan. 97 - Nov. 98,
• Department of Mathematics, McGill University (Montreal, Canada), Nov. 98 - Aug. 00, and at the
• Department of Computing and Electrical Engineering, Heriot-Watt University (Edinburgh, Scotland), Sept. 00 - Dec. 01.

My wife Eva-Maria holds a temporary lectureship in Germany. She maintains the homepage (German only) of her research group in Medieval History at the Department of History, Dortmund University (Germany).