University Assistant, MSc Institute of Logic and Computation Formal Methods in Systems Engineering TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0309 Email: ta.ca.neiwutnull@semihc.kram Website: https://github.com/mark-chimes/

Research Interests
will be added by the researcher

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, where I am part of the Formal Methods in Systems Engineering (FORSYTE) group. I have started my PhD in February 2023 under the supervision of Associate Prof. Dipl.-Math. Dr.techn. Florian Zuleger.

Education
MSc in Mathematics from Stellenbosch University, South Africa

Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Mark Chimes.

Work experience
I have been working as a programmer in South Africa for six years.