Ulrik Nyman ⬡
Head of Studies, Deputy Head of Department at Computer Science, Aalborg University
https://ulrik.blog.aau.dk
Associate Professor, PhD.
#compsci
#formalmethods
Website: https://ulrik.blog.aau.dk
GitHub: https://github.com/ulriknyman
Location: Aalborg, Denmark 🇩🇰, Europe 🇪🇺
Verification tool: https://ecdar.net
https://ulrik.blog.aau.dk
Associate Professor, PhD.
#compsci
#formalmethods
Website: https://ulrik.blog.aau.dk
GitHub: https://github.com/ulriknyman
Location: Aalborg, Denmark 🇩🇰, Europe 🇪🇺
Verification tool: https://ecdar.net
Public Key
npub1gvflagxl3h7e2ve7ruu4qsweqwej7vgsvu4uxtraladcuk2n82wsst9na8NIP-05 Address
ulriknyman_at_mastodon.social@momostr.pinkProfile Code
nprofile1qqsyxyl75r0cmlv4xvlp7w2sg8vs8ve0xygxw27r937l7kuwt9fn48gprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnt7ssq0tPublishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1gvflagxl3h7e2ve7ruu4qsweqwej7vgsvu4uxtraladcuk2n82wsst9na8