patrikja, 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" and linked from here:
https://patrikja.owlstown.net/posts/1968-msc-thesis-proposalsIn short, if you want to come to Gothenburg and work with #Agda or #Haskell in relation to some of my research interests, do get in touch.
Add comment