Chris Schulz

Hello! I'm Chris Schulz (they/them), and I'm a postdoctoral researcher here at MPI-SWS, working with Prof. Joël Ouaknine on his DynAMiCs project. I received my PhD from the University of Illinois Urbana-Champaign with Prof. Philipp Hieronymi in 2023.

How to Reach Me

• Email: chschulz@mpi-sws.org
• Telephone: +49 681 9303 9724
• Office: Room 308, Campus E1 5, 66123 Saarbrücken

Bio

I was born and raised near Chicago, Illinois, USA. I received my B.S. in computer science and mathematics from Rose-Hulman Institute of Technology in 2017. In 2023, I finished my PhD studies in mathematics at the University of Illinois Urbana-Champaign, under the supervision of Prof. Philipp Hieronymi (now at Universität Bonn). I then spent three years as a postdoc working with Prof. Jason Bell of the University of Waterloo before moving to Saarbrücken.

I am nonbinary/gender-diverse; in official English-speaking contexts I prefer they/them pronouns. In German, I have no pronoun preference; feel free to mix and match as you see fit.

Research interests

• Finite and Büchi automata and their applications
• Decision problems and interdefinability for various theories of arithmetic
• Numeration systems, esp. Ostrowski numeration

Personal interests

In my spare time, I'm a fan of adventure games, especially in the science fiction genre. I write fiction, compose music, and develop video games. Feel free to ask me about any of this anytime if you want. I also play the ocarina on occasion, so let me know if you want to hear a demonstration.

Fun Fact of the Day

(Come back tomorrow for a new fact!)