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.

• Publications, drafts and accompanying code
• Talks
• Contact info
• Software