Personen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Personen

Professoren und Gruppenleiter

Verwaltung

Wissenschaftliche Mitarbeiter

By sarameister23-3.jpg

Dr. Johannes Fichte

Missing portrait 3-2.png

Dr.-Ing. Monika Sturm

Turhan-small.jpg

PD Dr.-Ing. habil. Anni-Yasmin Turhan

Gastwissenschaftler

Techniker

Studentische und Wissenschaftliche Hilfskräfte

Ehemalige

Missing portrait 3-2.png

Dr. Sebastian Bader

Borchmann-real-23.png

Dr. rer. nat. Daniel Borchmann

Missing portrait 3-2.png

Dr. Camille Bourgaux

Missing portrait 3-2.png

Dr.-Ing. Sebastian Philipp Brandt

Missing portrait 3-2.png

Dr. Paola Bruscoli

Missing portrait 3-2.png

Stephan Böhme

Me pic.png

Dr. Claudia Carapelle

Ismail-.jpg

İsmail İlkan Ceylan

Long Cheng.jpg

Dr. Long Cheng

Missing portrait 3-2.png

Dr. rer. nat. Felix Distel

Missing portrait 3-2.png

Eldora

Fredo Erxleben.jpg

Fredo Erxleben

Missing portrait 3-2.png

Dr. Bertram Fronhöfer

Julius Gonsior.jpg

Julius Gonsior

Missing portrait 3-2.png

Horst Graupner

Missing portrait 3-2.png

Dr. Axel Großmann

Missing portrait 3-2.png

Dr. Alessio Guglielmi

Michael Guenther.jpg

Michael Günther

Missing portrait 3-2.png

Dr. Ursula Hans

Missing portrait 3-2.png

Robert Hein

Missing portrait 3-2.png

Dr.-Ing. Thomas Hinze

Hitzler.jpg

Dr. Pascal Hitzler

Missing portrait 3-2.png

Dr. rer. nat. Jan Hladik

Missing portrait 3-2.png

Lucas Kahlert

Missing portrait 3-2.png

Dr.-Ing. Martin Knechtel

Missing portrait 3-2.png

Victoriia Korsak

Missing portrait 3-2.png

Franziska Krüger

Missing portrait 3-2.png

Sylvia Kötteritzsch

  • Ehemals Sekretärin
Missing portrait 3-2.png

Dr. rer. nat. Marcel Lippmann

Missing portrait 3-2.png

Dr.-Ing. Hongkai Liu

Missing portrait 3-2.png

Dr. Michel Ludwig

Missing portrait 3-2.png

Prof. Dr. rer. nat. habil. Carsten Lutz

Missing portrait 3-2.png

Dr. Yue Ma

Missing portrait 3-2.png

Dr. Theofilos Mailis

Norbert.jpg

Dr. Norbert Manthey

Tomas Masopust.jpg

Dr. Tomáš Masopust

Missing portrait 3-2.png

Julian Mendez

Missing portrait 3-2.png

Dr. rer. nat. Maja Miličić

Morawska.jpg

Dr. Barbara Morawska

Sibylle moehle.jpg

Dipl.-Inform. Sibylle Möhle

Rpn.jpg

Dr. rer. nat. Rafael Peñaloza Nyssen

Missing portrait 3-2.png

Dr. Tobias Pietzsch

Missing portrait 3-2.png

Prof. Dr. Ulrike Sattler

Missing portrait 3-2.png

Dr.-Ing. Barış Sertkaya

… weitere Ergebnisse

Ehemalige Gäste

Missing portrait 3-2.png

Akshay Agrawal

Barahona.jpg

Prof. Pedro Barahona

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Apratim Bhattacharyya

Bonacina.jpg

Prof. Maria Paola Bonacina

  • Ehemals Gastprofessorin
Buiu.jpg

Prof. Catalin Buiu

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Dr. Marco Cerami

Missing portrait 3-2.png

Dr. Jens Claßen

Dyckhoff.jpg

Dr. Roy Dyckhoff

  • Ehemals Gastwissenschaftler
Esik.jpg

Prof. Zoltan Esik

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Dr. Shasha Feng

Franconi.jpg

Dr. Enrico Franconi

  • Ehemals Gastwissenschaftler
N.Fuchs.jpg

Prof. Norbert Fuchs

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Prof. Dr. Rajeev Goré

Grigoriev.jpg

Dr. Peter Grigoriev

  • Ehemals Gastwissenschaftler
Hutter.jpg

Dr. Dieter Hutter

  • Ehemals Gastwissenschaftler
Jung.jpg

Prof. Achim Jung

  • Ehemals Gastprofessor
Kakas.jpg

Prof. Antonis Kakas

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Dr. Natalya Keberle

Kefalas.jpg

Dr. Petros Kefalas

  • Ehemals Gastwissenschaftler
Kohlhase.jpg

Dr. Michael Kohlhase

  • Ehemals Gastwissenschaftler
Kurfess.jpeg

Prof. Franz J. Kurfess

  • Ehemals Gastprofessor
Kusnetzov.jpg

Prof. Sergei Kuznetsov

  • Ehemals Gastprofessor
Levi.jpg

Prof. Giorgio Levi

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Dr. Chunping Li

  • Ehemals Gastwissenschaftler
Lipton.jpg

Prof. Jim Lipton

  • Ehemals Gastprofessor
Lomuscio.jpg

Dr. Alessio Lomuscio

  • Ehemals Gastwissenschaftler
Missing portrait 3-2.png

Francisco Martín-Recuerda

Moller.jpg

Prof. Faron Moller

  • Ehemals Gastprofessor
Niemelae.jpg

Dr. Ilkka Niemelä

  • Ehemals Gastwissenschaftler
Missing portrait 3-2.png

Dr. Jan Otop

Pereira.jpg

Prof. Luís Moniz Pereira

  • Ehemals Gastprofessor
Pfeifer.jpg

Dr. Gerald Pfeifer

  • Ehemals Gastwissenschaftler
Pluhar.jpg

Prof. Andras Pluhar

  • Ehemals Gastprofessor
Reichel.jpg

Prof. Horst Reichel

  • Ehemals Gastprofessor
Missing portrait 3-2.png

Ario Santoso

Siekmann.jpg

Prof. Jörg Siekmann

  • Ehemals Gastprofessor
Stede.jpg

Dr. Manfred Stede

  • Ehemals Gastwissenschaftler
Stefanus.jpg

Prof. Lim Yohanes Stefanus

  • Ehemals Gastprofessor
W.Stephan.jpg

Dr. Werner Stephan

  • Ehemals Gastwissenschaftler
Strassburger.jpeg

Dr. Lutz Strassburger

  • Ehemals Gastwissenschaftler
Missing portrait 3-2.png

Dr. Lidia Tendera

Missing portrait 3-2.png

Prof. Dr. David Toman

Diana.JPG

Dr. Diana Troancă

Missing portrait 3-2.png

Levan Uridia

Vinogradov.jpg

Prof. Dmitrii V. Vinogradov

  • Ehemals Gastprofessor
Voronkov.jpg

Prof. Andrei Voronkov

  • Ehemals Gastprofessor
Weidenbach.jpg

Dr. Christoph Weidenbach

  • Ehemals Gastwissenschaftler
Wheeler.jpg

Dr. Gregory R. Wheeler

  • Ehemals Gastwissenschaftler
Missing portrait 3-2.png

Dr. Xia Wu

Missing portrait 3-2.png

Dr. Ye Yuxin

… weitere Ergebnisse