People

People

Toggle side column

People

Professors and Research Group Leaders

Prof. Dr.-Ing. Franz Baader

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

Automata Theory 

Prof. Dr. Dr. h. c. Christel Baier

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

Algebraic and Logical Foundations of Computer Science 

Prof. Dr. Manuel Bodirsky

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

Algebra and Discrete Structures 

Dr. Sarah Alice Gaggl

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

Logic Programming and Argumentation 

Prof. Dr. Markus Krötzsch

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

Knowledge-Based Systems 

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 

Management

Kerstin Achtruth

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

Automata Theory 

Dipl.-Ing. Ramona Behling

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

Computational Logic, Logic Programming and Argumentation 

Thomas Bruderrek

•  kaai@tu-dresden.de

Knowledge-aware Artificial Intelligence 

Kati Domann

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

Knowledge-Based Systems 

Katrin Heber

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

Computational Logic, Logic Programming and Argumentation 

Andrea Kühn

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

Algebraic and Logical Foundations of Computer Science 

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

Scientific Staff

Rajab Aghamov

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

Knowledge-Based Systems, Algebraic and Logical Foundations of Computer Science 

Christian Al-Rabbaa

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

Automata Theory 

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

Automata Theory 

Dipl.-Inf. Elisa Böhl

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

Knowledge-Based Systems 

Calvin Chau

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

Algebraic and Logical Foundations of Computer Science 

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

Automata Theory 

Dr. Martin Diller

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

Logic Programming and Argumentation 

Dr. Oliver Fernández Gil

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

Automata Theory 

Tom Friese

• APB 2029

Knowledge-Based Systems 

Dipl.-Inf. Lukas Gerlach

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

Knowledge-Based Systems 

M.Sc. Larry González

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

Knowledge-Based Systems 

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

Knowledge-Based Systems 

Dr. Luisa Herrmann

• APB/2019 and S14/717
• +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

Knowledge-Based Systems 

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

Algebraic and Logical Foundations of Computer Science 

Dr.-Ing. Max Korn

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

Algebraic and Logical Foundations of Computer Science 

Dr.-Ing. Francesco Kriegel

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

Automata Theory 

Nikolai Käfer

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

Algebraic and Logical Foundations of Computer Science 

Johannes Lehmann

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

Algebraic and Logical Foundations of Computer Science 

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

Knowledge-Based Systems 

Dr. Stephan Mennicke

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

Knowledge-Based Systems 

Dr. Sergei Obiedkov

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

Knowledge-Based Systems 

Dr. 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

Dr. Jakob Piribauer

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

Algebraic and Logical Foundations of Computer Science 

Dominik Rusovac

•  dominik.rusovac@tu-dresden.de

Knowledge-Based Systems 

Alexander Schulz

Knowledge-aware Artificial Intelligence 

Timm Spork

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

Algebraic and Logical Foundations of Computer Science 

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

Algebraic and Logical Foundations of Computer Science 

Dr.-Ing. Robin Ziemek

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

Algebraic and Logical Foundations of Computer Science 

Guest Researchers

Dr. Huong Le Thanh

Technical Administrators

Karina Adler

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

Computational Logic, Logic Programming and Argumentation 

Petra Humann

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

Automata Theory, Knowledge-Based Systems 

Student Assistants

Knut Berling

Knowledge-Based Systems 

Matthias Meißner

Knowledge-Based Systems 

Alexander Shmelkin

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

Ilja Shmelkin

•  ilja.shmelkin@tu-dresden.de

Former Members

Dr. Shima Asaadi

• Former PhD Researcher
• Computational Logic

Dr. Sebastian Bader

• Former PhD Researcher
• Knowledge Representation and Reasoning

Bartosz Bednarczyk

• Former Research Associate
• Computational Logic

Adrian Bielefeldt

• Former Student Assistant
• Knowledge-Based Systems

Dr. rer. nat. Daniel Borchmann

• Former Research Associate
• Automata Theory

Dr. Camille Bourgaux

• Former Research Associate
• Automata Theory

Dr.-Ing. Sebastian Philipp Brandt

• Former Research Associate
• Automata Theory

Dr. Paola Bruscoli

• Former Research Associate
• Knowledge Representation and Reasoning

Dipl.-Inf. Elisa Böhl

• Former Research Associate
• Logic Programming and Argumentation

Dipl.-Inf. Elisa Böhl

• Former Research Associate
• Computational Logic

Stephan Böhme

• Former Research Associate
• Automata Theory

Dr. Claudia Carapelle

• Former Research Associate
• Automata Theory

Dr. David Carral

• Former Research Associate
• Knowledge-Based Systems

İsmail İlkan Ceylan

• Former Research Associate
• Automata Theory

Dr. Long Cheng

• Former Research Associate
• Knowledge-Based Systems

Dr. Emmanuelle Dietz

• Former Research Associate
• Knowledge Representation and Reasoning

Dr. Martin Diller

• Former Research Associate
• Computational Logic

Dr. rer. nat. Felix Distel

• Former Research Associate
• Automata Theory

M.Sc. Irina Dragoste

• Former Research Associate
• Knowledge-Based Systems

Andreas Ecke

• Former PhD Researcher
• Automata Theory

Eldora

• Former Research Associate
• Automata Theory

M.Sc. Ali Elhalawati

• Former PhD Researcher
• Knowledge-Based Systems

Dr. Stefan Ellmauthaler

• Former Research Associate
• Knowledge-Based Systems

Fredo Erxleben

• Former Student Assistant
• Knowledge-Based Systems

Faiq Miftakhul Falakh

• Former PhD Researcher
• Computational Logic

M.Sc. Thomas Feller

• Former Research Associate
• Computational Logic

Dr. Johannes Fichte

• Former Research Associate

Dr. Walter Forkel

• Former Research Associate
• Automata Theory

Dr. Bertram Fronhöfer

• Former Research Associate
• Knowledge Representation and Reasoning

Benno Fünfstück

• Former Student Assistant
• Knowledge-Based Systems

Dr. Sarah Alice Gaggl

• Former Research Associate
• Computational Logic

Julius Gonsior

• Former Student Assistant
• Knowledge-Based Systems

Horst Graupner

• Former Research Associate
• Knowledge Representation and Reasoning

Ass.-Prof. Dagmar Gromann

• Former Research Associate
• Computational Logic

Dr. Axel Großmann

• Former PhD Researcher
• Knowledge Representation and Reasoning

Dr. Alessio Guglielmi

• Former Research Associate
• Knowledge Representation and Reasoning

Dr. Lucía Gómez Álvarez

• Former Research Associate
• Computational Logic

Michael Günther

• Former Graduate Assistant
• Knowledge-Based Systems

Dr. Ursula Hans

• Former Research Associate
• Knowledge Representation and Reasoning

Dr. Mitch Harris

• Automata Theory

Robert Hein

• Former Research Associate
• Knowledge Representation and Reasoning

Taufiq Hidayat

• Former PhD Researcher
• Knowledge Representation and Reasoning

Dr.-Ing. Thomas Hinze

• Former Research Associate
• Automata Theory

Dr. Pascal Hitzler

• Former Research Associate
• Knowledge Representation and Reasoning

Dr. rer. nat. Jan Hladik

• Former Research Associate
• Automata Theory

Lucas Kahlert

• Former Student Assistant
• Knowledge Representation and Reasoning

Dr.-Ing. Martin Knechtel

• Former External PhD Student
• Automata Theory

Simon Knäuer

• Former Scholarship Holder
• Algebra and Discrete Structures

Dr. Patrick Koopmann

• Former Research Associate
• Automata Theory

Julia Koppenhagen

• Former Secretary
• Knowledge Representation and Reasoning

... further results

Former Guests

Akshay Agrawal

• Former Visiting Scientist
• Automata Theory

Prof. Pedro Barahona

• Former Visiting Professor

Apratim Bhattacharyya

• Former Visiting Scientist
• Automata Theory

Prof. Maria Paola Bonacina

• Former Visiting Professor

Prof. Catalin Buiu

• Former Visiting Professor

Dr. Marco Cerami

• Former Visiting Scientist
• Automata Theory

Dr. Jens Claßen

• Former Visiting Scientist
• Automata Theory

Dr. Roy Dyckhoff

• Former Visiting Scientist

Prof. Zoltan Esik

• Former Visiting Professor

Dr. Shasha Feng

• Former Visiting Scientist
• Automata Theory

Dr. Enrico Franconi

• Former Visiting Scientist

Prof. Norbert Fuchs

• Former Visiting Professor

Prof. Dr. Rajeev Goré

• Former Visiting Scientist
• Automata Theory

Dr. Peter Grigoriev

• Former Visiting Scientist

Dr. Dieter Hutter

• Former Visiting Scientist

Prof. Achim Jung

• Former Visiting Professor

Prof. Antonis Kakas

• Former Visiting Professor

Dr. Natalya Keberle

• Former Visiting Scientist
• Automata Theory

Dr. Petros Kefalas

• Former Visiting Scientist

Dr. Michael Kohlhase

• Former Visiting Scientist

Prof. Franz J. Kurfess

• Former Visiting Professor

Prof. Sergei Kuznetsov

• Former Visiting Professor

Prof. Giorgio Levi

• Former Visiting Professor

Dr. Chunping Li

• Former Visiting Scientist

Prof. Jim Lipton

• Former Visiting Professor

Dr. Alessio Lomuscio

• Former Visiting Scientist

Francisco Martín-Recuerda

• Former Visiting Scientist
• Automata Theory

Prof. Faron Moller

• Former Visiting Professor

Giuseppina Monterosso

• Former Visiting Scientist
• Logic Programming and Argumentation

Dr. Ilkka Niemelä

• Former Visiting Scientist

Dr. Jan Otop

• Former Visiting Scientist
• Automata Theory

Prof. Luís Moniz Pereira

• Former Visiting Professor

Dr. Gerald Pfeifer

• Former Visiting Scientist

Prof. Andras Pluhar

• Former Visiting Professor

Prof. Horst Reichel

• Former Visiting Professor

Ario Santoso

• Former Visiting Scientist
• Automata Theory

Prof. Jörg Siekmann

• Former Visiting Professor

Dr. Manfred Stede

• Former Visiting Scientist

Prof. Lim Yohanes Stefanus

• Former Visiting Professor

Dr. Werner Stephan

• Former Visiting Scientist

Dr. Lutz Strassburger

• Former Visiting Scientist

Dr. Lidia Tendera

• Former Visiting Scientist
• Automata Theory

Prof. Dr. David Toman

• Former Visiting Scientist
• Automata Theory

Dr. Diana Troancă

• Former Visiting Scientist
• Computational Logic

Levan Uridia

• Former Visiting Scientist
• Automata Theory

Prof. Dmitrii V. Vinogradov

• Former Visiting Professor

Prof. Andrei Voronkov

• Former Visiting Professor

Dr. Christoph Weidenbach

• Former Visiting Scientist

Dr. Gregory R. Wheeler

• Former Visiting Scientist

Dr. Xia Wu

• Former Visiting Scientist
• Automata Theory

... further results