Personen
Personen
Professoren und Gruppenleiter
Prof. Dr.-Ing. Franz Baader
- baader@tcs.inf.tu-dresden.de
- +49 (0) 351 463-39160
- APB 3021
- Automatentheorie
Prof. Dr. Christel Baier
- christel.baier@tu-dresden.de
- +49 351 463 38548
- APB 3006
- Verifikation und formale quantitative Analyse
Prof. Dr. Manuel Bodirsky
- sarah.gaggl@tu-dresden.de
- +49 351 463 38679
- APB 2034
- Logische Programmierung und Argumentation
Prof. Dr. rer. nat. habil. Steffen Hölldobler
- sh@iccl.tu-dresden.de
- +4935146338340
- APB 2007
- Wissensverarbeitung
Prof. Dr. Markus Krötzsch
- markus.kroetzsch@tu-dresden.de
- +49 351 463 38486
- APB 3033
- Wissensbasierte Systeme
Prof. Sebastian Rudolph
- sebastian.rudolph@tu-dresden.de
- +49 351 463 38516
- APB 2035
- Computational Logic
Verwaltung
- Kerstin.Achtruth@tu-dresden.de
- +49 (0) 351 463-38231
- APB 3020
- Automatentheorie
Dipl.-Ing. Ramona Behling
- kati.domann@tu-dresden.de
- +49 351 463 43507
- APB 3034
- Wissensbasierte Systeme
- sandy.seifarth@tu-dresden.de
- +49 351 463 43505
- APB 3034
- Wissensbasierte Systeme
- Romy.Thieme@tu-dresden.de
- +49 351 463 39239
- APB2005
- Wissensverarbeitung
- sylvia.wuensch@tu-dresden.de
- +49 351 463 38341
- APB 2006
- Wissensverarbeitung
Wissenschaftliche Mitarbeiter
- bartosz.bednarczyk@tu-dresden.de
- +49 351 463 42665
- APB 2031
- Computational Logic
Dr.-Ing. Stefan Borgwardt
- Stefan.Borgwardt@tu-dresden.de
- +49 (0) 351 463-39209
- APB 3024
- Automatentheorie
Dipl.-Inf. Elisa Böhl
- elisa.boehl@tu-dresden.de
- +49 351 463 42666
- APB 2031
- Logische Programmierung und Argumentation
Dr. Marcos Cramer
- marcos.cramer@tu-dresden.de
- +49 351 463 38426
- APB2020
- Wissensverarbeitung
M.Sc. Irina Dragoste
- irina.dragoste@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Wissensbasierte Systeme
M.Sc. Ali Elhalawati
- ali.elhalawati@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Wissensbasierte Systeme
- stefan.ellmauthaler@tu-dresden.de
- +49 351 463 38314
- APB 3035
- Wissensbasierte Systeme
M.Sc. Thomas Feller
- firstname.lastname@tu-dresden.de
- +49 351 463 42665
- APB 2031
- Computational Logic
Dr. Johannes Fichte
- johannes.fichte@tu-dresden.de
- +49 351 463 43548
- APB2018 (https://goo.gl/maps/k7iD8kfi5Cu)
- Wissensverarbeitung
M.Sc. Larry González
- larry.gonzalez@tu-dresden.de
- +49 351 463 38043
- APB 3010
- Wissensbasierte Systeme
Dr.-Ing. Sascha Klüppelholz
- sascha.klueppelholz@tu-dresden.de
- +49 351 463 38440
- APB 3007
- Verifikation und formale quantitative Analyse
Dipl.-Math. Francesco Kriegel
- francesco.kriegel@tu-dresden.de
- +49 (0) 351 463-38253
- APB 3032
- Automatentheorie
Dipl.-Math. Maximilian Marx
- maximilian.marx@tu-dresden.de
- +49 351 463 43510
- APB 3037
- Wissensbasierte Systeme
Dr. Stephan Mennicke
- Stephan.Mennicke@tu-dresden.de
- +49 351 463 38043
- APB 3010
- Wissensbasierte Systeme
M. Sc. Tobias Philipp
- tobias.philipp@tu-dresden.de
- +49 351 463 38547
- APB 2019
- Wissensverarbeitung
M.Sc. Lukas Schweizer
- firstname.lastname@tu-dresden.de
- +49 351 463 43559
- APB 2033
- Computational Logic
Dr.-Ing. Monika Sturm
- monika.sturm@tu-dresden.de
- +49 (0) 351 463-38423
- APB 3023
- Automatentheorie
PD Dr.-Ing. habil. Anni-Yasmin Turhan
- Anni-Yasmin.Turhan@tu-dresden.de
- +49 (0) 351 463-39167
- APB 3022
- Automatentheorie
- zarriess@tcs.inf.tu-dresden.de
- +49 (0) 351 463-43501
- APB 3029
- Automatentheorie
Gastwissenschaftler
Dr. Huong Le Thanh
Techniker
- petra.humann@tu-dresden.de
- +49 (0) 351 463-38422
- APB 3018
- Automatentheorie, Wissensbasierte Systeme
Studentische und Wissenschaftliche Hilfskräfte
Ehemalige
Dr. Shima Asaadi
- Ehemals Doktorandin
- Computational Logic
Dr. Sebastian Bader
- Ehemals Doktorand
- Wissensverarbeitung
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
Dr. rer. nat. Daniel Borchmann
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Camille Bourgaux
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie
Dr.-Ing. Sebastian Philipp Brandt
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Paola Bruscoli
- Ehemals Wissenschaftliche Mitarbeiterin
- Wissensverarbeitung
Dipl.-Inf. Elisa Böhl
- Ehemals Wissenschaftliche Mitarbeiterin
- Computational Logic
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. David Carral
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Long Cheng
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme
Dr. Emmanuelle Dietz
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
Dr. Martin Diller
- Ehemals Wissenschaftlicher Mitarbeiter
- Computational Logic
Dr. rer. nat. Felix Distel
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
- Ehemals Wissenschaftliche Mitarbeiterin
- Computational Logic
- Ehemals Studentische Hilfskraft
- Wissensbasierte Systeme
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
Ass.-Prof. Dagmar Gromann
- Ehemals Wissenschaftliche Mitarbeiterin
- Computational Logic
Dr. Axel Großmann
- Ehemals Doktorand
- Wissensverarbeitung
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
- Ehemals Wissenschaftliche Hilfskraft
- Wissensbasierte Systeme
Dr. Ursula Hans
- Ehemals Wissenschaftliche Mitarbeiterin
- Wissensverarbeitung
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
- Ehemals Doktorand
- Wissensverarbeitung
Dr.-Ing. Thomas Hinze
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Pascal Hitzler
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
Dr. rer. nat. Jan Hladik
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
- Ehemals Studentische Hilfskraft
- Wissensverarbeitung
Dr.-Ing. Martin Knechtel
- Ehemals Externer Doktorand
- Automatentheorie
- Ehemals Sekretärin
- Wissensverarbeitung
- Ehemals Studentische Hilfskraft
- Wissensverarbeitung
Dipl.-Inf. Alexander Krause
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme
- Ehemals Studentische Hilfskraft
- Wissensverarbeitung
- Ehemals Sekretärin
Dr. rer. nat. Marcel Lippmann
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr.-Ing. Hongkai Liu
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Michel Ludwig
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Prof. Dr. rer. nat. habil. Carsten Lutz
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Yue Ma
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie
Dr. Theofilos Mailis
- Ehemals Wissenschaftlicher Mitarbeiter
- Automatentheorie
Dr. Norbert Manthey
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensverarbeitung
Dr. Tomáš Masopust
- Ehemals Wissenschaftlicher Mitarbeiter
- Wissensbasierte Systeme
- Ehemals Wissenschaftliche Hilfskraft
- Automatentheorie
Dr. rer. nat. Maja Miličić
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie
Ehemalige Gäste
- Ehemals Gastwissenschaftler
- Automatentheorie
Prof. Pedro Barahona
- Ehemals Gastprofessor
- Ehemals Gastwissenschaftler
- Automatentheorie
Prof. Maria Paola Bonacina
- Ehemals Gastprofessorin
Prof. Catalin Buiu
- Ehemals Gastprofessor
Dr. Marco Cerami
- Ehemals Gastwissenschaftler
- Automatentheorie
Dr. Jens Claßen
- Ehemals Gastwissenschaftler
- Automatentheorie
Dr. Roy Dyckhoff
- Ehemals Gastwissenschaftler
Prof. Zoltan Esik
- Ehemals Gastprofessor
Dr. Shasha Feng
- Ehemals Gastwissenschaftlerin
- Automatentheorie
Dr. Enrico Franconi
- Ehemals Gastwissenschaftler
Prof. Norbert Fuchs
- Ehemals Gastprofessor
Prof. Dr. Rajeev Goré
- Ehemals Gastwissenschaftler
- Automatentheorie
Dr. Peter Grigoriev
- Ehemals Gastwissenschaftler
Dr. Dieter Hutter
- Ehemals Gastwissenschaftler
Prof. Achim Jung
- Ehemals Gastprofessor
Prof. Antonis Kakas
- Ehemals Gastprofessor
Dr. Natalya Keberle
- Ehemals Gastwissenschaftlerin
- Automatentheorie
Dr. Petros Kefalas
- Ehemals Gastwissenschaftler
Dr. Michael Kohlhase
- Ehemals Gastwissenschaftler
Prof. Franz J. Kurfess
- Ehemals Gastprofessor
Prof. Sergei Kuznetsov
- Ehemals Gastprofessor
Prof. Giorgio Levi
- Ehemals Gastprofessor
Dr. Chunping Li
- Ehemals Gastwissenschaftler
Prof. Jim Lipton
- Ehemals Gastprofessor
Dr. Alessio Lomuscio
- Ehemals Gastwissenschaftler
- Ehemals Gastwissenschaftler
- Automatentheorie
Prof. Faron Moller
- Ehemals Gastprofessor
Dr. Ilkka Niemelä
- Ehemals Gastwissenschaftler
Dr. Jan Otop
- Ehemals Gastwissenschaftler
- Automatentheorie
Prof. Luís Moniz Pereira
- Ehemals Gastprofessor
Dr. Gerald Pfeifer
- Ehemals Gastwissenschaftler
Prof. Andras Pluhar
- Ehemals Gastprofessor
Prof. Horst Reichel
- Ehemals Gastprofessor
- Ehemals Gastwissenschaftler
- Automatentheorie
Prof. Jörg Siekmann
- Ehemals Gastprofessor
Dr. Manfred Stede
- Ehemals Gastwissenschaftler
Prof. Lim Yohanes Stefanus
- Ehemals Gastprofessor
Dr. Werner Stephan
- Ehemals Gastwissenschaftler
- Ehemals Gastwissenschaftler
Dr. Lidia Tendera
- Ehemals Gastwissenschaftlerin
- Automatentheorie
Prof. Dr. David Toman
- Ehemals Gastwissenschaftler
- Automatentheorie
Dr. Diana Troancă
- Ehemals Gastwissenschaftlerin
- Computational Logic
- Ehemals Gastwissenschaftler
- Automatentheorie
Prof. Dmitrii V. Vinogradov
- Ehemals Gastprofessor
Prof. Andrei Voronkov
- Ehemals Gastprofessor
- Ehemals Gastwissenschaftler
- Ehemals Gastwissenschaftler
Dr. Xia Wu
- Ehemals Gastwissenschaftlerin
- Automatentheorie
Dr. Ye Yuxin
- Ehemals Gastwissenschaftler
- Automatentheorie
