Viktor Palmkvist

I'm a PhD student at the division of Software and Computer Systems. My research interests include programming languages, type theory, and how better theory might pave the way for a better programming user experience.

David Broman is my main supervisor, and Philipp Haller is my co-supervisor.