Ulrik Nyman ⬡@UlrikNyman@mastodon.social
Head of Studies, Deputy Head of Department at Computer Science, Aalborg University
http://ulrik.blog.aau.dk
Associate Professor, PhD.
#compsci
#formalmethods
- Notes
- 4143
- Following
- 0
- Followers
- 0
- Website
- https://ulrik.blog.aau.dk
- GitHub
- https://github.com/ulriknyman
- Location
- Aalborg, Denmark 🇩🇰
, Europe 🇪🇺
- Verification tool
- https://ecdar.net