Thomas Seiller
Professor
Department of Informatics
University of Copenhagen
Denmark
Biography
Dr. Thomas Seiller has completed his PhD and doing as Professor in the University of Copenhagen in Denmark. He belongs to department of Informatics. He works in the research field of Biomediacl Informatics
Research Interest
Thomas Seiller is currently at DIKU under a Marie Curie Individual Fellowship, to work on a new approach to Computational Complexity Theory using methods from Logic, Semantics of Proofs and Programs, Operator Algebras and Dynamical Systems. He obtained his PhD from Aix-Marseille university, supervised by Jean-Yves Girard and Laurent Regnier. Before joining DIKU, he was a postdoc at the Paris 7 University, at the Institut des Hautes Etudes Scientifiques (IHES), and at the Savoie University.