Since March 2012 I am a joint postdoc with Helmut Veith at TU Wien and Krishnendu Chatterjee at IST Austria.
My main interest is in theoretical computer science. Specifically, I have worked on:
- the connections between automata and logic, specifically structures presentable by automata and the expressive power of logical interpretations.
- finite model theory.
- verification of probabilistic systems.
My present topics are in formal methods, distributed systems, and game theory.
When I’m not working I feed my addiction to Brazilian percussion, flamenco, and rock climbing.
Florian gave an interview about his research on bound computation to the Austrian daily newspaper “Der Standard”.[Read More...]
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.[Read More...]