People

From International Center for Computational Logic
Toggle side column

People

Professors and Research Group Leaders

Management

Scientific Staff

Missing portrait 3-2.png
Missing portrait 3-2.png
Missing portrait 3-2.png

Guest Researchers

Technical Administrators

Student Assistants

Former Members

Shima6.jpg
Bart-personal-2.jpg
Adrian Bielefeldt.jpg
Borchmann-real-23.png
Dr. rer. nat. Daniel Borchmann
Missing portrait 3-2.png
Missing portrait 3-2.png
Elisa-400x600.jpg
Dipl.-Inf. Elisa Böhl
Missing portrait 3-2.png
Me pic.png
David-Carral-2019-10-21.jpg
Ismail-.jpg
Long Cheng.jpg
Martin-diller-2019.jpg
Missing portrait 3-2.png
Dr. rer. nat. Felix Distel
Irina-Dragoste-2019-10-21.jpg
Ecke.jpg
Missing portrait 3-2.png
Ali-Elhalawati-2019-10-21.jpg
Fredo Erxleben.jpg
Thomas-400x600.jpg
Photo1.jpg
  • Former Research Associate
Missing portrait 3-2.png
Missing portrait 3-2.png
TUD 8253 hi res 2.jpg
Julius Gonsior.jpg
DagmarFoto.png
Ass.-Prof. Dagmar Gromann
Lucia400x600.jpg
Michael Guenther.jpg
Missing portrait 3-2.png
Missing portrait 3-2.png
Dr.-Ing. Thomas Hinze
Missing portrait 3-2.png
Dr. rer. nat. Jan Hladik
Missing portrait 3-2.png
Dr.-Ing. Martin Knechtel
Patrick-400x600.jpg
Alexander Krause.jpg
Dipl.-Inf. Alexander Krause
... further results

Former Guests

Missing portrait 3-2.png
Barahona.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
Bonacina.jpg
  • Former Visiting Professor
Buiu.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
Missing portrait 3-2.png
Dyckhoff.jpg
  • Former Visiting Scientist
Esik.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
Franconi.jpg
  • Former Visiting Scientist
N.Fuchs.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
Prof. Dr. Rajeev Goré
Grigoriev.jpg
  • Former Visiting Scientist
Hutter.jpg
  • Former Visiting Scientist
Jung.jpg
Prof. Achim Jung
  • Former Visiting Professor
Kakas.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
Kefalas.jpg
  • Former Visiting Scientist
Kohlhase.jpg
  • Former Visiting Scientist
Kurfess.jpeg
  • Former Visiting Professor
Kusnetzov.jpg
  • Former Visiting Professor
Levi.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
  • Former Visiting Scientist
Lipton.jpg
Prof. Jim Lipton
  • Former Visiting Professor
Lomuscio.jpg
  • Former Visiting Scientist
Missing portrait 3-2.png
Moller.jpg
  • Former Visiting Professor
Niemelae.jpg
  • Former Visiting Scientist
Missing portrait 3-2.png
Pereira.jpg
  • Former Visiting Professor
Pfeifer.jpg
  • Former Visiting Scientist
Pluhar.jpg
  • Former Visiting Professor
Reichel.jpg
  • Former Visiting Professor
Missing portrait 3-2.png
Siekmann.jpg
  • Former Visiting Professor
Stede.jpg
  • Former Visiting Scientist
Stefanus.jpg
  • Former Visiting Professor
W.Stephan.jpg
  • Former Visiting Scientist
Strassburger.jpeg
  • Former Visiting Scientist
Missing portrait 3-2.png
Missing portrait 3-2.png
Prof. Dr. David Toman
Diana.JPG
Missing portrait 3-2.png
Vinogradov.jpg
  • Former Visiting Professor
Voronkov.jpg
  • Former Visiting Professor
Weidenbach.jpg
  • Former Visiting Scientist
Wheeler.jpg
  • Former Visiting Scientist
Missing portrait 3-2.png
Dr. Xia Wu
... further results