André Hernich

I am a postdoctoral researcher (wissenschaftlicher Mitarbeiter) at Humboldt-Universität Berlin in the Logic in Computer Science group headed by Prof. Martin Grohe.

My research interests include database theory, and logic in computer science (in particular, finite model theory).

Contact

E-Mail:
Phone:	+49-30-2093-3104
Office:	Johann von Neumann-Haus (Rudower Chaussee 25), house IV, room 404 (office hours Thursdays 11-12, and by appointment)

Publications and Theses

• Equality-Friendly Well-Founded Semantics and Applications to Description Logics
  with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
  To appear in the proceedings of AAAI 2012
• Computing Universal Models Under Guarded TGDs
  To appear in the proceedings of ICDT 2012
• Answering Non-Monotonic Queries in Relational Data Exchange
  In Logical Methods in Computer Science 7(3), paper 9, 2011
  (part of the Special issue for ICDT 2010)
• L-Recursion and a new Logic for Logarithmic Space
  with Martin Grohe, Berit Grußien, and Bastian Laubner
  In CSL 2011, p. 277-291
• Closed World Data Exchange
  with Leonid Libkin, and Nicole Schweikardt
  In ACM Transactions on Database Systems 36(2), article 14, 2011
• Foundations of Query Answering in Relational Data Exchange
  Dissertation, Goethe-Universität Frankfurt am Main, Germany, 2010
  Also published at: Logos Verlag Berlin, ISBN 978-3-8325-2735-8
• Answering Non-Monotonic Queries in Relational Data Exchange
  In ICDT 2010, p. 143-154 (Best Student Paper Award)
• Logic and Data Exchange: Which Solutions are "Good" Solutions?
  with Nicole Schweikardt
  In Logic and the Foundations of Game and Decision Theory - LOFT 8, p. 61-85, 2010
• Lower Bounds for Processing Data with Few Random Accesses to External Memory
  with Martin Grohe, and Nicole Schweikardt
  In Journal of the ACM 56(3), article 12, 2009 (Special section for PODS 2006)
• Reversal Complexity Revisited
  with Nicole Schweikardt
  In Theoretical Computer Science 401(1-3), p. 191-205, 2008
• CWA-Solutions for Data Exchange Settings with Target Dependencies
  with Nicole Schweikardt
  In PODS 2007, p. 113-122
• Reversal Complexity Revisited
  with Nicole Schweikardt
  In ArXiV (CoRR), August 2006
• Randomized Computations on Large Data Sets: Tight Lower Bounds
  with Martin Grohe, and Nicole Schweikardt
  In PODS 2006, p. 243-252
• Combining Self-Reducibility and Partial Information Algorithms
  with Arfst Nickelsen
  In MFCS 2005, p. 422-434
• Combining Self-Reducibility with Partial Information Algorithms
  Diploma Thesis, Technische Universität Berlin, 2005

Teaching

This term and upcoming:

Previous terms: