Nils Anders Danielsson

I am an assistant professor at Chalmers University of Technology and University of Gothenburg. Currently my main research interest is dependently typed programming; I am generally interested in functional programming and discrete mathematics.

Nils Anders Danielsson
Disclaimer
Last updated Sat Feb 16 15:42:33 UTC 2013.
Me.