University of Würzburg
Chair of Theoretical Computer Science
Prof. Dr. Klaus W. Wagner


Christian Glaßer


 research

complexity

  • NP-complete optimization problems
  • probabilistic algorithms and interactive proof systems
  • promise problems and propositional proof systems
  • optimization of mobile networks (approximation algorithms)

logic and formal languages

  • first-order logic on words and related decidability questions
  • dot-depth hierarchy and connections to the polynomial hierarchy

publications


contact

Lehrstuhl für Informatik IV
Universität Würzburg
Am Hubland
97074 Würzburg
GERMANY
email: glasser@informatik.uni-wuerzburg.de
phone:    +49 (931) / 888 - 6668
fax: +49 (931) / 888 - 6661
For problems and suggestion: e-M@il to webmaster.
Last modification: December 4, 2006.

[ Department of Computer Science] [ Faculty of Mathematics and Computer Science] [ University of Würzburg]