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.

Contact

Alexandre Buisse
Office 4C16
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 København S
Denmark
Work: +45 72 18 50 77

Table Of Contents

This Page