My name is Pim Otte. I am joining CASA as a PhD-candidate in “Type Theory for Education”, with supervision from Jim Portegies, as well as Johan Commelin and Paige North (both UU). Before this, I was a teacher and software engineer in a consultancy. I am primarily based in Utrecht, for the foreseeable future it looks like I will be in Eindhoven one day a week. In my spare time I enjoy playing (board)games, solving puzzles and going on walks. I like being a sparring partner, so if you have a problem you would like a fresh perspective on, feel free to get in touch. I look forward to meeting you all!