MIN-Fakultät
Fachbereich Informatik
TAMS

Research interests

  •  Automatisation in the field of nano manipulation
  •  Specialized architectures for linear optimization
  •  Arithmetics
  •  Model checking
  •