Florian Funke

I have completed my Ph.D. and moved to the Chair of Algebraic and Logic Foundations of Computer Science at the TU Dresden. My new homepage can be found here.