Sebastian Rudolph

Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence, Faculty of Computer Science, TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies.

• 2017: ERC Consolidator Grant for decidability principles in logic-based knowledge representation
• 2006-2013: Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB
• 2011: Habilitation at KIT
• Earlier: PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden

His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.