Mark Chimes

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.