The local season for writing MSc thesis project proposal is here and I have formulated a few ideas for students to start from. They are posted in Chalmers' "MSc thesis portal" so I basically just link to them here:
- Computing Level-p-complexity with Haskell / Agda (Formalise or explore subclasses, or develop the connection to the Pareto front)
- Dependent Types for Climate Impact Research (possible directions: explore using agda2hs, translation from Idris to Agda, seq.dec.problems with multiple objectives)
- "Responsibility under uncertainty" using functional programming
If you are interested in one of these, or almost anything related to my research interests, do get in touch.
Due to high local demand, I cannot take on external students unless you come here for an exchange year or semester.
Due to high local demand, I cannot take on external students unless you come here for an exchange year or semester.