Franzisco Schmidt

I am a computer science student at the Technical University of Munich. When not occupied with life, I like to think about all things theoretical, which is mostly Logic, Mathematics and theoretical Computer Science. I am currently interesed in various areas from complexity theory, including WQOs for termination of high complexity systems and parameterized hardness of Nested-Counter-Systems.

In my free time I also like to pick up heavy circles, although I am not particularly good at it.

Contact

            
            Franzisco David Schmidt
            School of Computation, Information and Technology
            Technische Universitaet Muenchen
            Boltzmannstr. 3
            85748 Garching
            Germany 
            
            E-mail: franzisco.schmidt@tum.de