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. Dr. h. c. Christel Baier

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

Algebraische und logische Grundlagen der Informatik 

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 2017
• +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. Simon Razniewski

• S12-14, 646B
•  simon.razniewski@tu-dresden.de

Knowledge-aware Artificial Intelligence 

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 2034
• +49 351 463 38516
•  cl@tu-dresden.de

Computational Logic, Logische Programmierung und Argumentation 

Thomas Bruderrek

•  kaai@tu-dresden.de

Knowledge-aware Artificial Intelligence 

Kati Domann

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

Wissensbasierte Systeme 

Katrin Heber

• APB 2034
• +49 351 463 38516
•  cl@tu-dresden.de

Computational Logic, Logische Programmierung und Argumentation 

Angele Helies

•  kaai@tu-dresden.de

Knowledge-aware Artificial Intelligence 

Andrea Kühn

• APB 3005
• +49 351 463 38549
•  secretary_alg@mailbox.tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Sandy Seifarth

• APB 3023
• +49 351 463 43505
•  sandy.seifarth@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, Algebraische und logische Grundlagen der Informatik 

Christian Al-Rabbaa

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

Automatentheorie 

Dr. Dörthe Arndt

• APB 2019
• +49 351 463 43559
•  doerthe.arndt@tu-dresden.de

Computational Logic 

M.Sc. Meghna Bhadra

• APB 2020
• +49 351 463 38426
•  meghna.bhadra@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 3032
• +49 351 463 42666
•  elisa.boehl@tu-dresden.de

Wissensbasierte Systeme 

Calvin Chau

• APB 3004
•  calvin.chau@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

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. Oliver Fernández Gil

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

Automatentheorie 

Tom Friese

• APB 2029

Wissensbasierte Systeme 

Dipl.-Inf. Lukas Gerlach

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

Wissensbasierte Systeme 

Luca Giordano

Knowledge-aware Artificial Intelligence 

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 

Dipl.-Inf. Philipp Hanisch

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

Wissensbasierte Systeme 

Dr. Luisa Herrmann

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

Computational Logic 

Yujia Hu

Knowledge-aware Artificial Intelligence 

Dipl.-Inf. Alex Ivliev

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

Wissensbasierte Systeme 

M.A. Jonas Karge

• APB 2033
•  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

Algebraische und logische Grundlagen der Informatik 

Dr.-Ing. Max Korn

• APB 3004
•  max.korn@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Dr.-Ing. Francesco Kriegel

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

Automatentheorie 

Nikolai Käfer

• APB 3007
•  nikolai.kaefer@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Johannes Lehmann

• APB 3008
•  johannes_alexander.lehmann@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

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. Sergei Obiedkov

• APB 3032
• +49 351 463 42666
•  sergei.obiedkov@tu-dresden.de

Wissensbasierte Systeme 

M. Sc. Tobias Philipp

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

Dr. Jakob Piribauer

• APB 3009
•  jakob.piribauer@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Alexander Schulz

Knowledge-aware Artificial Intelligence 

Timm Spork

• APB 3007
•  timm.spork@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Dr. habil. Hannes Straß

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

Computational Logic 

Patrick Wienhöft

• APB 3008
•  patrick.wienhoeft@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Dr.-Ing. Robin Ziemek

• APB 3004
•  robin.ziemek@tu-dresden.de

Algebraische und logische Grundlagen der Informatik 

Gastwissenschaftler

Dr. Huong Le Thanh

Techniker

Petra Humann

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

Automatentheorie, Wissensbasierte Systeme 

Karina Adler

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

Computational Logic, Logische Programmierung und Argumentation 

Studentische und Wissenschaftliche Hilfskräfte

Matthias Meißner

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

Bartosz Bednarczyk

• Ehemals Wissenschaftlicher Mitarbeiter
• Computational Logic

Knut Berling

• Ehemals Wissenschaftliche Hilfskraft
• Wissensbasierte Systeme

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
• Logische Programmierung und Argumentation

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

Dr. Stefan Ellmauthaler

• Ehemals Wissenschaftlicher Mitarbeiter
• 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

Dr. Lucía Gómez Álvarez

• Ehemals Wissenschaftliche Mitarbeiterin
• Computational Logic

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

Simon Knäuer

• Ehemals Stipendiat
• Algebra und Diskrete Strukturen

Dr. Patrick Koopmann

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

… 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

Giuseppina Monterosso

• Ehemals Gastwissenschaftlerin
• Logische Programmierung und Argumentation

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

… weitere Ergebnisse