Georg Schuppe
Creator of GGRS.
I am a PhD student at the KTH Royal Institute of Technology in the Division of Robotics, Perception and Learning under supervision by Jana Tumova. I am also an affiliated PhD student in the WASP program.
My Research
I apply methods from Formal Verification to the domain of Multi-Robot Systems by synthesizing correct-by-design strategies over Linear Time Logic specifications in a scalable manner. Strategy negotation through assumption exchange between agents, but also between agents and humans are the overarching theme of my work.
Private Interests
In my free time, I enjoy to play and study the game of Go and dabble in Rust.
Introducing: Sparse Saving Feature
Explaining the sparse saving feature in GGRS and how it works.
Posted August 6, 2021 by Georg Schuppe ‐ 3 min read
Hello World
Introducing GGRS, a reimagination of the GGPO network SDK written in 100% safe Rust.
Posted August 4, 2021 by Georg Schuppe ‐ 0 min read