CUBICAL
My name is Guillaume Brunerie and I’m a developer at ELK Studios in Stockholm since October 2020. I have been working on developping internal tools and on programming games on both the logic and client sides.
You can try out ELK Studios’ games here and play my other games (developed independently) on my itch.io page . Finally, you can find some of my other projects on my GitHub page .
I was previously doing research in mathematics/computer science, focusing on homotopy type theory , a field combining mathematics (in particular homotopy theory, category theory, and constructive mathematics) with computer science (in particular type theory, logic, and proof assistants).
CUBICAL