André Hernich

Lecturer at the University of Liverpool
Member of the Knowledge Representation Group
in the Department of Computer Science

Contact

Email: email address (get public pgp key)
Phone: +44 151 795 4270
Office: Ashton Building, 1.13
Address: University of Liverpool
Department of Computer Science
Ashton Street
Liverpool
L69 3BX
United Kingdom

Research Interests

databases; knowledge representation; information integration; data streaming; logic and its applications to computer science (in particular, finite model theory); complexity theory

Publications and Theses

  1. with Julio Lemos and Frank Wolter
    AAAI 2017, p. 1142-1148
  2. with Carsten Lutz, Fabio Papacchini, and Frank Wolter
    DL 2017
  3. with Phokion G. Kolaitis
    LICS 2017, p. 1-12
  4. with Carsten Lutz, Fabio Papacchini, and Frank Wolter
    PODS 2017, p. 185-199 (Best Paper Award)
  5. with Julio Lemos and Frank Wolter
    DL 2016
  6. with Carsten Lutz, Ana Ozaki, and Frank Wolter
    IJCAI 2015, p. 3048-3054
  7. with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
    KR 2014
  8. Data Exchange, Integration, and Streams. DFU, Volume 5, p. 161-184, 2013
  9. with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
    PODS 2013, p. 225-236
  10. with Martin Grohe, Berit Grußien, and Bastian Laubner
    Logical Methods in Computer Science 9(1), paper 11, 2013
    Also part of the Special Issue for CSL 2011
  11. with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
    AAAI 2012, p. 757-764. See here for the poster.
    This work was also presented at DL 2012.
  12. ICDT 2012, p. 222-235
  13. Logical Methods in Computer Science 7(3), paper 9, 2011
    Also part of the Special Issue for ICDT 2010
  14. with Martin Grohe, Berit Grußien, and Bastian Laubner
    CSL 2011, p. 277-291
  15. with Leonid Libkin, and Nicole Schweikardt
    ACM Transactions on Database Systems 36(2), article 14, 2011
  16. PhD thesis, Goethe-Universität Frankfurt am Main, Germany, 2010
    Also published at Logos Verlag Berlin, ISBN 978-3-8325-2735-8
  17. ICDT 2010, p. 143-154 (Best Student Paper Award)
  18. with Nicole Schweikardt
    Logic and the Foundations of Game and Decision Theory - LOFT 8, p. 61-85, 2010
  19. with Martin Grohe, and Nicole Schweikardt
    Journal of the ACM 56(3), article 12, 2009, Special Section for PODS 2006
  20. with Nicole Schweikardt
    Theoretical Computer Science 401(1-3), p. 191-205, 2008
  21. with Nicole Schweikardt
    PODS 2007, p. 113-122
  22. with Martin Grohe, and Nicole Schweikardt
    PODS 2006, p. 243-252
  23. with Arfst Nickelsen
    MFCS 2005, p. 422-434
  24. Diploma Thesis (comparable to MSc thesis), Technische Universität Berlin, 2005

Teaching (at University of Liverpool)

See VITAL for information on the modules below.

2017-18: Previous years: