Computer Science PhD Student at Aalborg University.
Interests are formal methods, model checking, equivalence checking, behavioural metrics, etc.
-
Aalborg University
- Aalborg, Denmark
Popular repositories Loading
-
P6
P6 Public archiveThis repository is the code base for the bachelor project for group d608f16 at SICT Aalborg University. The associated documentation for the project is also in this repository.
Python
-
-
-
prism-games
prism-games PublicForked from prismmodelchecker/prism-games
Personal branch of prism-games
Java
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.