Magne Haveraaen

Magne Haveraaen is a Professor in the Department of Informatics at the University of Bergen, where he leads the Bergen Language Design Laboratory (BLDL). He is actively engaged in research on programming theory, formal methods, language design, and high-integrity systems. His work centers on algebraic specifications, generic programming, domain engineering, and the design of the Magnolia programming language. He has been a long-standing instructor of key courses such as INF220 (Program Specification) and INF222 (Programming Languages), and contributes to national and international academic forums.

• University: University of Bergen
• School: Faculty of Mathematics and Natural Sciences
• Department: Department of Informatics
• Academic Rank: Professor
• Email: magne.haveraaen@uib.no

His research interests include programming language design, formal specifications, generic and mouldable programming, multicore and GPU computing, and algebraic methods in software development. He emphasizes correctness, reuse, and high-integrity software through theoretical and practical innovations. He has contributed extensively to the literature on algebraic reasoning, array programming, and domain-specific abstractions.

The recent publications highlight a consistent focus on algebraic semantics, language design (especially Magnolia), array programming, and formal verification. Themes across these works include correctness by design, specification-driven development, and adapting programming models for modern architectures. His involvement in workshops like ARRAY, WGP, and CALCO underscores his leadership in programming language theory.

No scientific awards are listed in the provided texts.

He advises students and welcomes collaboration in programming theory, language design, and formal methods. He has led funded projects such as MoSIS and SHIP and is involved in the High Integrity Systems Forum. He organizes and participates in key conferences including NWPT, GPCE, and SCAM.

He leads the Bergen Language Design Laboratory (BLDL), which focuses on experimental language design, and contributes to the SAGA initiative on scientific computing with algebraic abstractions. His work integrates theory with practical tooling and language implementation.