Ulrik Nyman

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