Welcome to Max Schäfer's Homepage

I am now at Oxford University Computing Laboratory, but since I don't have a homepage to speak of there, I'll leave this page up for the moment.

During my time in Taiwan, I was working as a research assistant at Dr. Chuang's lab in Academia Sinica.

Before that, I was a graduate student in the International Master's program in Computational Logic at TU Dresden.

• Information about software I have written.
• A list of my publications (where "published" means "I put them on my webpage")
• Some unofficial lecture notes from my time in Dresden
• Some unofficial examination protocols from my time in Dresden
• A couple of category theory cheatsheets