Registered user since Tue 27 Nov 2018
Name:Niels Voorneveld
Bio:
Mathematics PhD at University of Ljubljana, Slovenia, 2015-2019, on programming language theory.
PostDoc at Tallinn University of Technology, Estonia, 2020-2023
Research position at Cybernetica AS, Estonia, 2023-now
Country:Estonia
Affiliation:Cybernetica AS
Personal website: http://nvoorneveld.com
Research interests:Modal Logic, Cryptography, Program equivalence, Algebraic effects, realizability
Contributions
Using general profile