Magne Haveraaen

Professor, Head of Bergen Language Design Laboratory (BLDL)
(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 2013: Kurset INF101 - Videregående programmering (Programmering 2)
Høst 2012: Kurset INF220 - Programspesifikasjon
og kurset INF328 - Programmeringsspråkelementer
Vår 2012: Kurset INF329 - Utvalgte emner i programutviklingsteknologi: domene-engineering
Høst 2011: Kurset INF220 - Programspesifikasjon
og spesialpensumet Z-INF - Software Testing Foundations
Høst 2010/vår 2011: forskningstermin uten undervisning.
Vår 2010: Kurset INF223 - Kategoriteori
Høst 2009: Kurset INF220 - Programspesifikasjon
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:

Bergen Language Design Laboratory (BLDL) et laboratorium for ekspermintering med design av programmeringsspråk. Se også den norske informasjonssiden (med nyheter).
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++.
Magnolia et programmeringsspråk for uttesting av idéer innen språkdesign.
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) var et fellesprosjekt innen temaet konsistente og trygge heterogene data på heterogene plattformer.

Konferanser mm (conferences)

Jeg har vært (og er) medarrangør, styringskomité- eller programkomitémedlem for en rekke konferanser og vitenskapelige møter, deriblant:

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.
- 4th Conference on Algebra and Coalgebra in Computer Science (CALCO'11), 29.08.-2.09.2011, Winchester, UK. Dette inkluderer CALCO-jnr (CALCO Young Researchers Workshop) 29.08.2011 som spesielt er rettet mot PhD-studenter og post-doktor-forskere.
20th Conference on Computer Science Logic (CSL 2011), 12.-15.09.2011, Bergen, Norway.
Doctoral Symposium at the 18th International Symposium on Fundamentals of Computation Theory, 26.8.2011, Oslo, Norway (avlyst).
Workshop on Generic Programming (WGP).
- 6th Workshop on Generic Programming (WGP 2010), 26.9.2010, Baltimore, Maryland, USA.
- 7th Workshop on Generic Programming (WGP 2011), 18.9.2011, Tokyo, Japan.
- 8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012), 9.9.2012, Copenhagen, Denmark.
- 8th ACM SIGPLAN Workshop on Generic Programming (WGP 2013), late September, Boston, Massachusetts, USA.
Generative Programming and Component Engineering (GPCE).
- Generative Programming and Component Engineering 2009 (GPCE'09), 4.-5.10.2009, Denver, Colorado, USA.
- Generative Programming and Component Engineering 2009 (GPCE'10), 10.-13.10.2010, Eindhoven, Nederland.
International Supercomputing Conference (ISC'13) 16.-20.6.2012, Leipzig, Tyskland.
Workshop on Language Descriptions Tools and Applications (LDTA 2010) 27.-28.3.2010, Paphos, Kypros.
12th Nordic Workshop on Programming Theory 11.-13.10.2000 på Fløyen, Bergen, Norge.
Workshop on Program Generation and Transformation for HPC Applications at ICCS 2011, 1.-3.06.2011, Tsukuba, Japan. Workshopen ble avlyst, men ICCS gikk i Singapore.
IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).
- 9th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'09), 20.-21.9.2009, Edmonton, Canada.
- 10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), 12.-13.09.2010, Timişoara, Romania.
- 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2011), 25.-26.09.2011, Williamsburg, VA, USA.
- 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), 23.-24.09.2012, Riva del Garda, Trento, Italy.
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.

Sist oppdatert 2012-12-07