Dominik Winterer @dominikwinterer.bsky.social
Assistant Professor (Lecturer) at University of Manchester Formal Methods Engineering Lab: https://manchester-fme.github.io
you reached the end!!
Assistant Professor (Lecturer) at University of Manchester Formal Methods Engineering Lab: https://manchester-fme.github.io