Education: MSc in Mathematics, HU Berlin
Expertise: Category theory, type theory, blockchain consensus
Location: Berlin, Germany
Andre is a mathematician who believes that everyone could use more category theory in their lives. After finishing his thesis on homology and quantum field theory, he wanted to do 'something with categories in the real world', so he went into functional programming and formal verification. This led him to type theory and logic, and eventually working with Statebox.
When he is not working on Statebox, he is working on one of his personal research projects, reading papers or wasting time on games from his childhood. If he finds some extra time, he likes to go swing dancing, play some piano or improve his rusty Japanese.