Nils Anders Danielsson

I am a senior lecturer at the CSE department at the University of Gothenburg and Chalmers University of Technology. Currently my main research interest is dependently typed programming.

Nils Anders Danielsson
Last updated Fri Nov 23 09:05:21 UTC 2018.
Me.