Hannes Strass

Postdoctoral Researcher
Intelligent Systems Group
Computer Science Institute
Leipzig University, Germany

E-Mail: strass at informatik dot uni-leipzig dot de
Phone: +49 (0) 341 973 22 86
Fax: +49 (0) 341 973 22 99
Office: Room P812, Paulinum

I am a postdoctoral researcher in the group of Prof. Gerhard Brewka. I obtained my B.Sc. in Computer Science and M.Sc. in Computational Logic both from the TU Dresden in 2006 and 2008, respectively. I received my PhD (Dr. rer. nat.) and habilitation (Dr. rer. nat. habil.) both from Leipzig University in 2012 and 2017, respectively. My habilitation thesis is titled “Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning”; its acceptance was recommended by Prof. Gerhard Brewka, Prof. Marc Denecker, and Prof. Paul E. Dunne. My PhD thesis “Default Reasoning about Actions” was supervised by Prof. Michael Thielscher and Prof. Gerhard Brewka. Previously, from October 2008 to February 2011, I was a research associate and PhD student in the Computational Logic Group at TU Dresden. From September 2010 to April 2011, I was a visiting researcher at The University of New South Wales in Sydney, Australia. Since May 2011, I work at Leipzig University. My main research interest lies in logic-based knowledge representation and reasoning, with a special focus on non-monotonic reasoning. If you happen to find the symbol “ß” on your keyboard, you are invited to use the German spelling of my name, Hannes Straß.