Ulrik Nyman ⬡

Head of Studies, Deputy Head of Department at Computer Science, Aalborg University
http://ulrik.blog.aau.dk
Associate Professor, PhD.

#compsci
#formalmethods