People

People

Toggle side column

People

Professors and Research Group Leaders

Prof. Dr.-Ing. Franz Baader

• APB 3021
• +49 (0) 351 463-39160
•  [email protected]

Automata Theory 

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

• APB 3006
• +49 351 463 38548
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Prof. Dr. Manuel Bodirsky

• WIL C 120
• +49 351 463-35355
•  [email protected]

Algebra and Discrete Structures 

Dr. Sarah Alice Gaggl

• APB 2021
• +49 351 463 38679
•  [email protected]

Logic Programming and Argumentation 

Prof. Dr. Markus Krötzsch

• APB 3033
• +49 351 463 38486
•  [email protected]

Knowledge-Based Systems 

Prof. Dr. Simon Razniewski

• S12-14, 646B
•  [email protected]

Knowledge-aware Artificial Intelligence 

Prof. Dr. Sebastian Rudolph

• APB 2035
• +49 351 463 38516
•  [email protected]

Computational Logic 

Management

Kerstin Achtruth

• APB 3020
• +49 (0) 351 463-38231
•  [email protected]

Automata Theory 

Dipl.-Ing. Ramona Behling

• APB 2034
• +49 351 463 38516
•  [email protected]

Computational Logic, Logic Programming and Argumentation 

Thomas Bruderrek

•  [email protected]

Knowledge-aware Artificial Intelligence 

Kati Domann

• APB 3034
• +49 351 463 43507
•  [email protected]

Knowledge-Based Systems 

Katrin Heber

• APB 2034
• +49 351 463 38516
•  [email protected]

Computational Logic, Logic Programming and Argumentation 

Angele Helies

•  [email protected]

Knowledge-aware Artificial Intelligence 

Andrea Kühn

• APB 3005
• +49 351 463 38549
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Sandy Seifarth

• APB 3023
• +49 351 463 43505
•  [email protected]

Sylvia Wünsch

• APB 2006
• +49 351 463 38341
•  [email protected]

Scientific Staff

Rajab Aghamov

• APB 3009
•  [email protected]

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

Christian Al-Rabbaa

• APB 3024
•  [email protected]

Automata Theory 

Dr. Dörthe Arndt

• APB 2019
• +49 351 463 43559
•  [email protected]

Computational Logic 

M.Sc. Meghna Bhadra

• APB 2020
• +49 351 463 38426
•  [email protected]

Computational Logic 

Dr.-Ing. Stefan Borgwardt

• APB 3023
• +49 (0) 351 463-39209
•  [email protected]

Automata Theory 

Dipl.-Inf. Elisa Böhl

• APB 3032
• +49 351 463 42666
•  [email protected]

Knowledge-Based Systems 

Calvin Chau

• APB 3004
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dr. Marcos Cramer

• APB2020
• +49 351 463 38426
•  [email protected]

M. Sc. Filippo De Bortoli

• APB 3030
•  [email protected]

Automata Theory 

Dr. Martin Diller

• APB 2018
•  [email protected]

Logic Programming and Argumentation 

Dr. Oliver Fernández Gil

• APB 3029
•  [email protected]

Automata Theory 

Tom Friese

• APB 2029

Knowledge-Based Systems 

Dipl.-Inf. Lukas Gerlach

• APB 3031
• +49 351 463 43503
•  [email protected]

Knowledge-Based Systems 

Luca Giordano

Knowledge-aware Artificial Intelligence 

M.Sc. Larry González

• APB 3010
• +49 351 463 38043
•  [email protected]

Knowledge-Based Systems 

M.Sc. Piotr Gorczyca

• APB 2039
• +49 351 463 43549
•  [email protected]

Computational Logic 

Dipl.-Inf. Philipp Hanisch

• APB 3035
• +49 351 463 43506
•  [email protected]

Knowledge-Based Systems 

Dr. Luisa Herrmann

• APB/2019 and S14/717
• +49 351 463 42667
•  [email protected]

Computational Logic 

Yujia Hu

Knowledge-aware Artificial Intelligence 

Dipl.-Inf. Alex Ivliev

• APB 3031
• +49 351 463 43506
•  [email protected]

Knowledge-Based Systems 

M.A. Jonas Karge

• APB 2033
•  [email protected]

Computational Logic 

M.A. Pascal Kettmann

• APB 2039
• +49 351 463 43549
•  [email protected]

Computational Logic 

Dr.-Ing. Sascha Klüppelholz

• APB 3007
• +49 351 463 38440
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dr.-Ing. Max Korn

• APB 3004
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dr.-Ing. Francesco Kriegel

• APB 3022
• +49 351 463 38253
•  [email protected]

Automata Theory 

Nikolai Käfer

• APB 3007
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Johannes Lehmann

• APB 3008
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dr. Tim Lyon

• APB 2031
•  [email protected]

Computational Logic 

Dipl.-Math. Maximilian Marx

• APB 3037
• +49 351 463 43510
•  [email protected]

Knowledge-Based Systems 

Dr. Stephan Mennicke

• APB 3010
• +49 351 463 38043
•  [email protected]

Knowledge-Based Systems 

Dr. Sergei Obiedkov

• APB 3032
• +49 351 463 42666
•  [email protected]

Knowledge-Based Systems 

Dr. Piotr Ostropolski-Nalewaja

• APB 2031
• +48 504609291
•  [email protected]

Computational Logic 

M. Sc. Tobias Philipp

• APB 2019
• +49 351 463 38547
•  [email protected]

Dr. Jakob Piribauer

• APB 3009
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dominik Rusovac

•  [email protected]

Knowledge-Based Systems 

Alexander Schulz

Knowledge-aware Artificial Intelligence 

Timm Spork

• APB 3007
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dr. habil. Hannes Straß

• APB 2036
• +49 351 463 43560
•  [email protected]

Computational Logic 

Patrick Wienhöft

• APB 3008
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Dr.-Ing. Robin Ziemek

• APB 3004
•  [email protected]

Algebraic and Logical Foundations of Computer Science 

Guest Researchers

Dr. Huong Le Thanh

Technical Administrators

Karina Adler

• APB 2004
• +49 351 463 38521
•  [email protected]

Computational Logic, Logic Programming and Argumentation 

Petra Humann

• APB 3018
• +49 (0) 351 463-38422
•  [email protected]

Automata Theory, Knowledge-Based Systems 

Student Assistants

Matthias Meißner

Knowledge-Based Systems 

Alexander Shmelkin

• APB2016
•  [email protected]

Ilja Shmelkin

•  [email protected]

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

Knut Berling

• Former Graduate Assistant
• Knowledge-Based Systems

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

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