Magne Haveraaen

(research interests and conferences I am involved in at the bottom)

Adresser

Vanlig post:

	Universitetet i Bergen
	Institutt for informatikk
	Postboks 7800
	N-5020 BERGEN
	Norway

Elektronisk post: Magne.Haveraaen@ii.uib.no

Telefon:

Institutt for informatikk: (+47) 55 58 42 00
direkte linje: (+47) 55 58 41 54
Universitetet i Bergen, sentralbord: (+47) 55 58 00 00

Telefaks: (+47) 55 58 41 99

Besøksadresse:

	Høyteknologisenteret
	Thormøhlensgate 55
	Rom 4104, datablokken

Undervisning

Vår 2009: Kurset INF223 - Kategoriteori
Høst 2008: Kurset INF220 - Programspesifikasjon
Vår 2008: Kurset INF101 - Vidaregåande programmering (Programmering 2)
Høst 2007: Kurset INF220 - Programspesifikasjon
Vår 2007: Kurset INF101 - Vidaregåande programmering (Programmering 2)
Høst 2006: Kurset INF220 - Programspesifikasjon
Vår 2006: Kurset INF329 - Utvalde emne i programutviklingsteknologi
Høst 2005: Kurset INF220 - Programspesifikasjon
Høst 2004/vår 2005: forskningstermin uten undervisning.
Vår 2004: Kurset INF112 - Systemkonstruksjon
Høst 2003: Kurset INF220 - Programspesifikasjon
Vår 2003: Kurset I122 - Systemkonstruksjon
Høst 2002: Kurset I220 - Programspesifikasjon
Vår 2002: Kurset I122 - Systemkonstruksjon
Høst 2001: Kurset I220 - Programspesifikasjon
Vår 2001: Kurset I122 - Systemkonstruksjon og Seminar i programutviklingsteknologi
Høst 2000: Spesialpensum på lavere grad: Praktisk spesifikasjon av programvare
Dette er en prøveversjon av et mulig nytt i12x kurs. Det har begrenset opptak, gir 4 vekttall i denne omgang, og inngår på vanlig måte i en cand.mag. grad.
Vår 2000: Kurset I222 - Semantikk til programmeringsspråk
Høst 1999: Kurset I220 - Programspesifikasjon og -verifikasjon
Vår 1999: Kurset I229e - Avanserte programmeringsteknikker
Høst 1998: Kurset I231 - Formelle språk og maskiner

Forskning (research)

Mine interesser er innenfor programmeringsteori, spesielt algebraiske systemutviklingsmetoder. I hovedsak jobber jeg med:

Guarded algebras er en aktivitet i samarbeid med Eric G. Wagner om voktede og partielle algebraer. Dette er varianter av mange-sortet universell algebra.
Guarded Algebras: Disguising Partiality so You Won't Know Whether its There, LNCS 1827.
Mouldable Programming utforsker formbar kode, inklusive testeverktøy for Java (JAxT) og C++.
For å teste disse idéene holder vi på å utvikle programmeringsspråket Magnolia.
Multicore Programming der vi blant annet eksperimenterer med flerkjerne-programmeringsmodeller. Dette omfatter slikt som IBMs cell-prosessor (som i Playstation3) og grafikkprosessorer (GPU), men også fremtidens mangekjerne- og massivkjerne-prosessorer.
SAGA (Scientific computing and algebraic abstractions) tar for seg algebraisk og generative teknikker (inkludert temaene formbar kode og flerkjerneprogrammering) innen feltet tungregning/beregningsvitenskap.

Jeg søker spesielt medarbeidere, studenter og samarbeidspartnere innen disse feltene. Listen over tilgjengelige hovedfagsoppgaver i programmeringsteknologi inneholder også noe relatert informasjon.

Ellers er jeg noe involvert i gruppen for programutviklingsteknologi sine fellesprosjekt.

MoSIS (Modularity in large Software and Information Systems) (2002-2006) var et fellesprosjekt innen temaet modularitet.
SHIP (Secure Heterogenous Information Presentation) (2006-2010) er et fellesprosjekt innen temaet konsistente og trygge heterogene data på heterogene plattformer.

Konferanser mm (conferences)

Jeg har vært (og er) medarrangør for en rekke konferanser og vitenskapelige møter, deriblant:

12th Nordic Workshop on Programming Theory 11.-13.10.2000 på Fløyen, Bergen, Norge.
Software transformation systems (STS) workshops, http://www.program-transformation.org/Sts
- Software transformation systems workshop 2004 (STS04), 25.10.2004, Vancouver, Canada.
- Software transformation systems workshop 2006 (STS06), 22.10.2006, Portland, Oregon, USA.
Conference on Algebra and Coalgebra in Computer Science (CALCO).
- 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07), 20.-24.08.2007, Bergen, Norge. Dette inkluderer CALCO-jnr (CALCO Young Researchers Workshop) 20.08.2007 som spesielt er rettet mot PhD-studenter og post-doktor-forskere.
- 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO'09), 6.-10.09.2009, Udine, Italia. Dette inkluderer CALCO-jnr (CALCO Young Researchers Workshop) 6.09.2009 som spesielt er rettet mot PhD-studenter og post-doktor-forskere.
9th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'09), 20.-21.9.09, Edmonton, Canada.
Generative Programming and Component Engineering 2009 (GPCE'09), 4.-5.10.2009 i Denver, Colorado, USA.

Sist oppdatert 2009-01-15