Florian Horn is a research associate with CNRS, working from the Institut de Recherche en Informatique Fondamentale in Université Paris-Cité. Their research is focused on games and automata, as they are used in the specification and verification of software. They specialize in problems of memory, incomplete information, and multi-agents games. They are also studying the theory of Merkle Graphs, which undergird version control systems such as Git and Mercurial.

---