Theodor Risager

Bachelor in Computer Science

Student Teacher, Department of Computer Science
Student Teacher, The Technical Faculty of IT and Design
Student assistent, AAU Shared Services
Student assistent, IT-Services
Student assistent, Development and Digital Services
Student assistent, AAUtomation
!!Studerende, IT-medarbejder, AAU Shared Services
!!Studerende, IT-medarbejder, IT-Services
!!Studerende, IT-medarbejder, Development and Digital Services
!!Studerende, IT-medarbejder, AAUtomation

Phone4023 8867
Emailthriits.aaudk

Fredrik Bajers Vej 1, Åbent Kontor mod Øst på 2 sal
9220 Aalborg Ø
Denmark

Research activity per year

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

1 Similar Profiles

1 Article in proceeding

Potency-Based Heuristic Search with Randomness for Explicit Model Checking
Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 180-187 8 p. (Lecture Notes in Computer Science; No. 13872).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Theodor Risager

Fingerprint

Research output

Potency-Based Heuristic Search with Randomness for Explicit Model Checking