Georgios Bakirtzis

I’m a postdoc at The University of Texas at Austin working with Ufuk Topcu, where I apply systems theory and formal methods to safety and security of autonomous systems. I focus on compositional methods and lead the Talon project to bring those ideas to fruition.

curiculum vitæ | github | preprints | orcid

Essays

Responsible development for the physical world Increment; 2021
a case for designing software with safety and formal methods in mind

Turing categories The n-Category Café; 2019
what is the connection between computation and category theory?