MScThesis

MSc thesis work in the Functional Programming Group

From 2015-01-01 the MSc thesis "project course" at the CSE department is organised in a new form. This page is an attempt at keeping a list of links to relevant researchers and projects which would benefit from students doing MSc theses.

MSc thesis projects can be done in industry or in a research project - this page is mainly aimed at the research project side. Some faculty have extra time set aside specifically for MSc thesis supervision but basically all are interested in supervision if the proposed MSc project is well aligned with the needs of an ongoing reearch project.

(2015-03-16: We are migrating from the old project proposal page.)

People and (bigger) projects

Cezar Ionescu: "Increasingly correct scientific computing",
- GRACeFUL
- Domain Specific Languages of Mathematics
Patrik Jansson: "Algebra of Programming"
Jean-Philippe Bernardy: Types, Linear Types, Type-Theory
RAWFP
REMU

Proposals for MSc thesis topics

Feldspar-related projects
Cezar Ionescu
Jean-Philippe Bernardy
- eg. Linear Types Plugin for GHC
- Front end for Limestone (A language with efficient linear typed arrays)
- Adding Parametricity to Agda
- Better error messages for Valiant Agda Parsing
Patrik Jansson
- AoPA: Algebra of Programming in Agda Improve, extend and apply the AoPA libraries.
- Agda backend for OTT
- Something like hoogle to search for Agda or Idris library functions by type.

MSc thesis projects started (and perhaps also finished)

Student	Supervisor	Examiner	Topic	Comment
E. Bergquist	CeIo	PaJa	GAMS refactoring	2015-02-16: Half-time report done
L. Färnstrand	JoSv	PaJa	Parallelization in Rust	2015-04-14: Half-time report done
I. Lobo Valnuena	MoJo	PaJa	Conditional lemmas in Hipster	2015-03-31: Half-time report done
J. Lundqvist	MaSh	PaJa	Franca C code generator	2015-04-13: Half-time report done

The status can be

Project proposal done
Planning report done
Half-time report done
Final presentation done
Final report done