[orcid] [dblp] [linkedIn]

Florian Funke

I am a postdoc at the Chair of Algebraic and Logic Foundations of Computer Science of the Technical University Dresden. My mentor is Christel Baier. I am also a member of the Collaborative Research Center ("Sonderforschungsbereich") 248 Center for Perspicuous Computing, funded by the DFG.

I studied mathematics in Bonn and Oxford and obtained my Ph.D. from the University of Bonn, supervised by Wolfgang Lück. During my Ph.D. time, I was a fellow of the MPI for Mathematics. Prior to settling in theoretical computer science, I worked at Fraunhofer on applied artificial intelligence.