Personen

Personen

Toggle side column

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

• Manuel.Bodirsky@tu-dresden.de

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

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

Dipl.-Ing. Ramona Behling

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

Kati Domann

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

Sandy Seifarth

• sandy.seifarth@tu-dresden.de
• +49 351 463 43505
• APB 3034
• Wissensbasierte Systeme 

Romy Thieme

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

Sylvia Wünsch

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

Wissenschaftliche Mitarbeiter

Christian Al-Rabbaa

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

M.Sc. Shima Asaadi

• firstname.lastname@tu-dresden.de
• +49 351 463 43560
• APB 2036
• Computational Logic 

Bartosz Bednarczyk

• 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
• Computational Logic 

Dr. David Carral

• David.Carral@tu-dresden.de
• +49 351 463 38314
• APB 3035
• Wissensbasierte Systeme 

Dr. Marcos Cramer

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

Dr. Martin Diller

• firstname.lastname@tu-dresden.de
• APB 2036
• Computational Logic 

M.Sc. Irina Dragoste

• irina.dragoste@tu-dresden.de
• +49 351 463 38314
• APB 3035
• Wissensbasierte Systeme 

Andreas Ecke

• andreas.ecke@tu-dresden.de
• APB 3029
• Automatentheorie 

M.Sc. Ali Elhalawati

• ali.elhalawati@tu-dresden.de
• +49 351 463 43510
• APB 3037
• Wissensbasierte Systeme 

Faiq Miftakhul Falakh

• faiq_miftakhul.falakh@tu-dresden.de
• +49 351 463 43558
• APB 2033
• Computational Logic 

M.Sc. Thomas Feller

• firstname.lastname@tu-dresden.de
• +49 351 463 42665
• APB 2031
• Computational Logic 

Dr. Oliver Fernández Gil

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

Dr. Johannes Fichte

• johannes.fichte@tu-dresden.de
• +49 351 463 43548
• APB2018 (https://goo.gl/maps/k7iD8kfi5Cu)
• Wissensverarbeitung 

Walter Forkel

• walter.forkel@tu-dresden.de
• APB 3024
• Automatentheorie 

Dr. Sarah Alice Gaggl

• sarah.gaggl@tu-dresden.de
• +49 351 463 38679
• APB 2034
• Computational Logic 

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 

Dr. Patrick Koopmann

• patrick.koopmann@tu-dresden.de
• APB 3031
• Automatentheorie 

Dipl.-Inf. Alexander Krause

• Alexander.Krause@tu-dresden.de
• +49 351 463 43543
• APB 3053
• Wissensbasierte Systeme 

Dipl.-Math. Francesco Kriegel

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

Pavlos Marantidis

• pavlos.marantidis@tu-dresden.de
• APB 3030
• Automatentheorie 

Dipl.-Math. Maximilian Marx

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

Adrian Nuradiansyah

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

Maximilian Pensel

• maximilian.pensel@tu-dresden.de
• APB 3030
• Automatentheorie 

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 

M.Sc. Satyadharma Tirtarasa

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

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

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

Benjamin Zarrieß

• zarriess@tcs.inf.tu-dresden.de
• +49 (0) 351 463-43501
• APB 3029
• Automatentheorie 

Gastwissenschaftler

Dr. Huong Le Thanh

Techniker

Petra Humann

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

Bettina Weser

Studentische und Wissenschaftliche Hilfskräfte

Benno Fünfstück

• Wissensbasierte Systeme 

Philipp Hanisch

• Wissensbasierte Systeme 

Christian Lewe

• Wissensbasierte Systeme 

Alexander Shmelkin

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

Ilja Shmelkin

• ilja.shmelkin@tu-dresden.de
• Wissensverarbeitung 

Ehemalige

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

Stephan Böhme

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Dr. Claudia Carapelle

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

İsmail İlkan Ceylan

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Dr. Long Cheng

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensbasierte Systeme

Dr. Emmanuelle Dietz

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

Dr. rer. nat. Felix Distel

• Ehemals Wissenschaftlicher Mitarbeiter
• Automatentheorie

Eldora

• Ehemals Wissenschaftliche Mitarbeiterin
• Automatentheorie

Fredo Erxleben

• Ehemals Studentische Hilfskraft
• Wissensbasierte Systeme

Dr. Bertram Fronhöfer

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

Julius Gonsior

• Ehemals Studentische Hilfskraft
• Wissensbasierte Systeme

Horst Graupner

• Ehemals Wissenschaftlicher Mitarbeiter
• Wissensverarbeitung

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

Julia Koppenhagen

• Ehemals Sekretärin
• Wissensverarbeitung

Victoriia Korsak

• Ehemals Studentische Hilfskraft
• Wissensverarbeitung

Franziska Krüger

• Ehemals Studentische Hilfskraft
• Wissensverarbeitung

Sylvia Kötteritzsch

• 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

Julian Mendez

• Ehemals Wissenschaftliche Hilfskraft
• Automatentheorie

Dr. rer. nat. Maja Miličić

• Ehemals Wissenschaftliche Mitarbeiterin
• Automatentheorie

Dr. Barbara Morawska

• Ehemals Wissenschaftliche Mitarbeiterin
• Automatentheorie

Dipl.-Inform. Sibylle Möhle

• Ehemals Wissenschaftliche Mitarbeiterin
• Wissensverarbeitung

Van Hau Nguyen

• Ehemals Doktorand
• Wissensverarbeitung

Prof. Prof. Sergei Obiedkov

Dr. Ana Ozaki

• Ehemals Wissenschaftliche Mitarbeiterin
• Wissensbasierte Systeme

Dr. rer. nat. Rafael Peñaloza Nyssen

• 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

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