Jakob Botsch Nielsen

I am a PhD student in the Logic and Semantics group as part of the Concordium Blockchain Research Center. Here I try to apply formal methods in the area of smart contracts. My interests lie mainly within type theory, proof-assistants and blockchains.
My advisor is Bas Spitters.

Publications

Conferences and workshops


Work experience

Software Engineer Intern

Microsoft

Jul 2019 — Sep 2019

I was an intern on the .NET core JIT compiler team in Redmond where I worked on enabling tail call optimization in a wider range of scenarios than previously.

Senior Developer

Bossland GmbH

Sep 2009 — Aug 2018

I was involved in writing automation software for various computer games such as World of Warcraft.

More

Email
botsch@cs.au.dk
Office
Nygaard 266, Aabogade 34, DK-8200 Aarhus N
GitHub
Click here