Personen

Personen

Toggle side column

Personen

Professoren und Gruppenleiter

Prof. Dr.-Ing. Franz Baader

• APB 3021
• +49 (0) 351 463-39160
•  baader@tcs.inf.tu-dresden.de

Automatentheorie 

Prof. Dr. Christel Baier

• APB 3006
• +49 351 463 38548
•  christel.baier@tu-dresden.de

Verifikation und formale quantitative Analyse 

Prof. Dr. Manuel Bodirsky

• WIL C 120
• +49 351 463-35355
•  Manuel.Bodirsky@tu-dresden.de

Algebra und Diskrete Strukturen 

Dr. Sarah Alice Gaggl

• APB 2021
• +49 351 463 38679
•  sarah.gaggl@tu-dresden.de

Logische Programmierung und Argumentation 

Prof. Dr. Markus Krötzsch

• APB 3033
• +49 351 463 38486
•  markus.kroetzsch@tu-dresden.de

Wissensbasierte Systeme 

Prof. Dr. Sebastian Rudolph

• APB 2035
• +49 351 463 38516
•  sebastian.rudolph@tu-dresden.de

Computational Logic 

Verwaltung

Kerstin Achtruth

• APB 3020
• +49 (0) 351 463-38231
•  Kerstin.Achtruth@tu-dresden.de

Automatentheorie 

Dipl.-Ing. Ramona Behling

• APB 2048
• +49 351 463 38516
•  ramona.behling@tu-dresden.de

Computational Logic, Logische Programmierung und Argumentation 

Kati Domann

• APB 3034
• +49 351 463 43507
•  kati.domann@tu-dresden.de

Wissensbasierte Systeme 

Sandy Seifarth

• APB 3023
• +49 351 463 43505
•  sandy.seifarth@tu-dresden.de

Romy Thieme

• APB2005
• +49 351 463 39239
•  Romy.Thieme@tu-dresden.de

Sylvia Wünsch

• APB 2006
• +49 351 463 38341
•  sylvia.wuensch@tu-dresden.de

Wissenschaftliche Mitarbeiter

Rajab Aghamov

• APB 3009
•  rajab.aghamov@tu-dresden.de

Wissensbasierte Systeme, Verifikation und formale quantitative Analyse 

Christian Al-Rabbaa

• APB 3031
•  christian.alrabbaa@tu-dresden.de

Automatentheorie 

Dr. Dörthe Arndt

• APB 2034
• +49 351 463 38343
•  doerthe.arndt@tu-dresden.de

Computational Logic 

Bartosz Bednarczyk

• APB 2031
• +49 351 463 42665
•  bartosz.bednarczyk@tu-dresden.de

Computational Logic 

Dr.-Ing. Stefan Borgwardt

• APB 3023
• +49 (0) 351 463-39209
•  Stefan.Borgwardt@tu-dresden.de

Automatentheorie 

Dipl.-Inf. Elisa Böhl

• APB 2017
• +49 351 463 42666
•  elisa.boehl@tu-dresden.de

Logische Programmierung und Argumentation 

Dr. Marcos Cramer

• APB2020
• +49 351 463 38426
•  marcos.cramer@tu-dresden.de

M. Sc. Filippo De Bortoli

• APB 3030
•  filippo.de_bortoli@tu-dresden.de

Automatentheorie 

Dr. Martin Diller

• APB 2018
•  martin.diller@tu-dresden.de

Logische Programmierung und Argumentation 

Dr. Stefan Ellmauthaler

• APB 3035
• +49 351 463 38314
•  stefan.ellmauthaler@tu-dresden.de

Wissensbasierte Systeme 

Dr. Oliver Fernández Gil

• APB 3030
•  oliver.fernandez@tu-dresden.de

Automatentheorie 

Dipl.-Inf. Lukas Gerlach

• APB 3031
• +49 351 463 43503
•  lukas.gerlach@tu-dresden.de

Wissensbasierte Systeme 

M.Sc. Larry González

• APB 3010
• +49 351 463 38043
•  larry.gonzalez@tu-dresden.de

Wissensbasierte Systeme 

M.Sc. Piotr Gorczyca

• APB 2039
• +49 351 463 43549
•  piotr.gorczyca@tu-dresden.de

Computational Logic 

Dr. Lucía Gómez Álvarez

• APB 2033
•  lucia.gomez_alvarez@tu-dresden.de

Computational Logic 

Dipl.-Inf. Philipp Hanisch

• APB 3031
• +49 351 463 43506
•  philipp.hanisch1@tu-dresden.de

Wissensbasierte Systeme 

Dr. Luisa Herrmann

• APB 2019
• +49 351 463 42667
•  luisa.herrmann@tu-dresden.de

Computational Logic 

Dipl.-Inf. Alex Ivliev

• APB 3031
• +49 351 463 43506
•  alex.ivliev@tu-dresden.de

Wissensbasierte Systeme 

M.A. Jonas Karge

• APB 2036
•  jonas.karge@tu-dresden.de

Computational Logic 

M.A. Pascal Kettmann

• APB 2039
• +49 351 463 43549
•  pascal.kettmann@tu-dresden.de

Computational Logic 

Dr.-Ing. Sascha Klüppelholz

• APB 3007
• +49 351 463 38440
•  sascha.klueppelholz@tu-dresden.de

Verifikation und formale quantitative Analyse 

Simon Knäuer

• WIL C41
• +49 351 463-34224
•  simon.knaeuer@tu-dresden.de

Algebra und Diskrete Strukturen 

Dr.-Ing. Francesco Kriegel

• APB 3032
• +49 351 463 38253
•  francesco.kriegel@tu-dresden.de

Automatentheorie 

Dr. Tim Lyon

• APB 2031
•  timothy_stephen.lyon@tu-dresden.de

Computational Logic 

Dipl.-Math. Maximilian Marx

• APB 3037
• +49 351 463 43510
•  maximilian.marx@tu-dresden.de

Wissensbasierte Systeme 

Dr. Stephan Mennicke

• APB 3010
• +49 351 463 38043
•  Stephan.Mennicke@tu-dresden.de

Wissensbasierte Systeme 

Dr.-Ing. Adrian Nuradiansyah

• APB 3032
•  adrian.nuradiansyah@tu-dresden.de

Automatentheorie 

MSc Piotr Ostropolski-Nalewaja

• APB 2031
• +48 504609291
•  piotr.ostropolski-nalewaja@tu-dresden.de

Computational Logic 

M. Sc. Tobias Philipp

• APB 2019
• +49 351 463 38547
•  tobias.philipp@tu-dresden.de

Dominik Rusovac

• APB 2017
• +49 351 463 37920
•  dominik.rusovac@tu-dresden.de

Logische Programmierung und Argumentation 

Dr. habil. Hannes Straß

• APB 2036
• +49 351 463 43560
•  hannes.strass@tu-dresden.de

Computational Logic 

M.Sc. Satyadharma Tirtarasa

• APB 3032
•  satyadharma.tirtarasa@tu-dresden.de

Automatentheorie 

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

• APB 3022
• +49 (0) 351 463-39167
•  Anni-Yasmin.Turhan@tu-dresden.de

Automatentheorie 

Gastwissenschaftler

Dr. Huong Le Thanh

Techniker

Karina Adler

• APB 2004
• +49 351 463 38521
•  karina.adler@tu-dresden.de

Computational Logic, Logische Programmierung und Argumentation 

Petra Humann

• APB 3018
• +49 (0) 351 463-38422
•  petra.humann@tu-dresden.de

Automatentheorie, Wissensbasierte Systeme 

Studentische und Wissenschaftliche Hilfskräfte

Knut Berling

Wissensbasierte Systeme 

Matthias Meißner

Wissensbasierte Systeme 

Simon Meusel

Wissensbasierte Systeme 

Alexander Shmelkin

• APB2016
•  alexander.shmelkin@mailbox.tu-dresden.de

Ilja Shmelkin

•  ilja.shmelkin@tu-dresden.de

Ehemalige

Dr. Shima Asaadi

• Ehemals Doktorandin
• Computational Logic

Dr. Sebastian Bader

• Ehemals Doktorand
• Wissensverarbeitung

Adrian Bielefeldt

• 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

Stephan Böhme

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Dr. Claudia Carapelle

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Dr. David Carral

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensbasierte Systeme

İsmail İlkan Ceylan

• 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

M.Sc. Irina Dragoste

• Ehemals Wissenschaftliche Mitarbeiterin
• Wissensbasierte Systeme

Andreas Ecke

• Ehemals Doktorand
• Automatentheorie

Eldora

• Ehemals Wissenschaftliche Mitarbeiterin
• Automatentheorie

M.Sc. Ali Elhalawati

• Ehemals Doktorand
• Wissensbasierte Systeme

Fredo Erxleben

• Ehemals Studentische Hilfskraft
• Wissensbasierte Systeme

Faiq Miftakhul Falakh

• Ehemals Doktorand
• Computational Logic

M.Sc. Thomas Feller

• Ehemals Wissenschaftlicher Mitarbeiter
• Computational Logic

Dr. Johannes Fichte

• Ehemals Wissenschaftlicher Mitarbeiter

Dr. Walter Forkel

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Dr. Bertram Fronhöfer

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

Benno Fünfstück

• Ehemals Studentische Hilfskraft
• Wissensbasierte Systeme

Dr. Sarah Alice Gaggl

• Ehemals Wissenschaftliche Mitarbeiterin
• Computational Logic

Julius Gonsior

• Ehemals Studentische Hilfskraft
• Wissensbasierte Systeme

Horst Graupner

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

Ass.-Prof. Dagmar Gromann

• Ehemals Wissenschaftliche Mitarbeiterin
• Computational Logic

Dr. Axel Großmann

• Ehemals Doktorand
• Wissensverarbeitung

Dr. Alessio Guglielmi

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

Michael Günther

• Ehemals Wissenschaftliche Hilfskraft
• Wissensbasierte Systeme

Dr. Ursula Hans

• Ehemals Wissenschaftliche Mitarbeiterin
• Wissensverarbeitung

Dr. Mitch Harris

• Automatentheorie

Robert Hein

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

Taufiq Hidayat

• 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

Lucas Kahlert

• Ehemals Studentische Hilfskraft
• Wissensverarbeitung

Dr.-Ing. Martin Knechtel

• Ehemals Externer Doktorand
• Automatentheorie

Dr. Patrick Koopmann

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Julia Koppenhagen

• Ehemals Sekretärin
• Wissensverarbeitung

Victoriia Korsak

• Ehemals Studentische Hilfskraft
• Wissensverarbeitung

Dipl.-Inf. Alexander Krause

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensbasierte Systeme

Franziska Krüger

• Ehemals Studentische Hilfskraft
• Wissensverarbeitung

Sylvia Kötteritzsch

• Ehemals Sekretärin

Christian Lewe

• Ehemals Studentische Hilfskraft
• Wissensbasierte Systeme

… weitere Ergebnisse

Ehemalige Gäste

Akshay Agrawal

• Ehemals Gastwissenschaftler
• Automatentheorie

Prof. Pedro Barahona

• Ehemals Gastprofessor

Apratim Bhattacharyya

• 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

Francisco Martín-Recuerda

• 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

Ario Santoso

• 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

Dr. Lutz Strassburger

• Ehemals Gastwissenschaftler

Dr. Lidia Tendera

• Ehemals Gastwissenschaftlerin
• Automatentheorie

Prof. Dr. David Toman

• Ehemals Gastwissenschaftler
• Automatentheorie

Dr. Diana Troancă

• Ehemals Gastwissenschaftlerin
• Computational Logic

Levan Uridia

• Ehemals Gastwissenschaftler
• Automatentheorie

Prof. Dmitrii V. Vinogradov

• Ehemals Gastprofessor

Prof. Andrei Voronkov

• Ehemals Gastprofessor

Dr. Christoph Weidenbach

• Ehemals Gastwissenschaftler

Dr. Gregory R. Wheeler

• Ehemals Gastwissenschaftler

Dr. Xia Wu

• Ehemals Gastwissenschaftlerin
• Automatentheorie

Dr. Ye Yuxin

• Ehemals Gastwissenschaftler
• Automatentheorie

… weitere Ergebnisse