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.
Smart Contract Interactions in Coq
Jakob Botsch Nielsen and Bas Spitters. In pre-proceedings, FMBC19.
Conferences and workshops
Software Engineer Intern
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
Sep 2009 — Aug 2018
I was involved in writing automation software for various computer
games such as World of Warcraft.
Nygaard 266, Aabogade 34, DK-8200 Aarhus N