### About Me

Hi there! My name is Menno. Currently I am a Mathematical Foundations of Computing Science (MFoCS) student at Radboud University.

Topics that are of interest to me include Automata Theory, Category Theory, Model Checking, Automated Reasoning and Testing Techniques.

### Teaching

Throughout my studies I have been a teaching assistant for the following courses:

**Languages and Automata**NWI-IPC002 (2018-2023)**Mathematical Structures**NWI-IPC020 (2020-2023)**Inleiding Wiskunde (Introduction Mathematics)**NWI-WP029 (2021)**Computability**NWI-IBC003 (2019-2020)**Operating Systems**NWI-IBC019 (2019)**Semantics and Correctness**NWI-IBC026 (2021)

### Education

**MSc Mathematical Foundations of Computer Science**, Radboud University Nijmegen (expected spring 2024)**BSc Mathematics**, Radboud University Nijmegen (2021)-
**BSc Computing Science**, Radboud University Nijmegen

Thesis: Closure Properties of Nominal Automata under Substitutions, supervised by Dr. Jurriaan Rot, Grade: 7.5 (2021)

### Experience

For the last year I have been a part-time employee at Yookr. Check them out, they do nice work. :)