Some words on myself

Find here what I deem worthy of mention.

The Past

• My name is Florian Guthmann.
• I was born in Nürnberg and currently live in Erlangen.
• I studied computer science at TH Nürnberg and FAU from 2017 to 2025.
• In my Master's Thesis I examined how bisimulation-based process algebras (like CCS) can be implemented in the categorical framework of Higher-Order GSOS.

The Present

Academically, a subset of my interests is:

• Programming Language Semantics
• Type Theory
• Category Theory

The Future (at the time of writing)

Starting October, I will be doing my PhD at the chair of theoretical computer science at FAU funded by the RTG Cybercrime and Forensic Computing. Surely I will also be doing other things, but who knows.

The Rest

Some of my other interests/hobbies are:

• Markup Languages
• Biking
• Cooking
• Medieval Philosophy, in particular in the muslim world

Some tidbits/fun facts:

• At time of writing, I am on rank #11 of all time edits to Open Street Maps in North Macedonia, having been there a total of 5 days in my life.
• My favourite programming language is Agda (because I can express what I want to express). My second favourite programming language is XSLT (because I can't express what I want).