Alexandre Buisse

Status:PhD Student Supervisor:Lars Birkedal Research Team:Programming, Logic and Semantics University:IT University of Copenhagen, Denmark

Interests

• Programming languages semantics
• Separation Logic
• Hoare Type Theory
• Category and Domain theory
• Photography

Publications

• Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116 [pdf]
• Alexandre Buisse, Peter Dybjer: The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. In Electronic Notes in Theoretical Computer Science 218: 21-32 (2008) [pdf]
• Alexandre Buisse, Peter Dybjer: Towards Formalizing Categorical Models of Type Theory in Type Theory. In Electronic Notes in Theoretical Computer Science 196: 137-151 (2008) [pdf]

Teaching

• Spring 2009: Programming Workshop: Again, the project consisted in creating an othello game in java, including an artificial intelligence.
• Fall 2008: Object-Oriented Programming, Introduction: I’m responsible for the project, which consisted in the creation of a complete othello game.

Technical reports

• 2007: Formalizing Categorical Models of Type Theory in Type Theory
• 2006: Categorical Models of Dependent Type Theory
• 2005: Puissance de calcul de l’Automate Cellulaire 54 (French)

Links

• My photographic portfolio: AlexandreBuisse.org
• My photoblog, updated daily: ApertureFirst.org
• C’est bon la salade !

Contact

Alexandre Buisse

abui@itu.dk

Office 4C16

IT University of Copenhagen

Rued Langgaards Vej 7

DK-2300 København S

Denmark

Work: +45 72 18 50 77