Formella

 

Exempel

  • Ai, Checkers program skrivet i C, tillsammans med Bartek Kania, Magnus Borg. klicka här
  • Databas med UI uppbygg för en kakhanterings fabrik skriven i Java, tillsammans med Kenneth Rodriguez. klicka här
  • en Wiki skriven i Perl/cgi. klicka här
  • Implementering av A* för att söka busslinjer mellan olika orter, skriven i Prolog. klicka här