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.

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