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
- To appear in the proceedings of AAAI 2012
- To appear in the proceedings of ICDT 2012
-
In
Logical Methods in Computer Science 7(3), paper 9, 2011
(part of the Special issue for ICDT 2010) - In CSL 2011, p. 277-291
- In ACM Transactions on Database Systems 36(2), article 14, 2011
-
Dissertation, Goethe-Universität Frankfurt am Main, Germany, 2010
Also published at: Logos Verlag Berlin, ISBN 978-3-8325-2735-8 - In ICDT 2010, p. 143-154 (Best Student Paper Award)
- In Logic and the Foundations of Game and Decision Theory - LOFT 8, p. 61-85, 2010
- In Journal of the ACM 56(3), article 12, 2009 (Special section for PODS 2006)
- In Theoretical Computer Science 401(1-3), p. 191-205, 2008
- In PODS 2007, p. 113-122
- In ArXiV (CoRR), August 2006
- In PODS 2006, p. 243-252
- In MFCS 2005, p. 422-434
- Diploma Thesis, Technische Universität Berlin, 2005
Teaching
This term and upcoming:
| Summer 2012 | Seminar:
Grundlagen der Datenintegration und des Datenaustauschs (Foundations of Data Integration and Data Exchange) |
Previous terms:
| Winter 2011/12 | Exercise classes for Logik in der Informatik (Logic in Computer Science) |
| Summer 2011 | Lecture: Logik und Komplexität (Logic and Complexity) |
| Winter 2010/11 | Exercise classes for Logik, Spiele und Automaten (Logic, Games, and Automata) |
| Summer 2010 | Exercise classes for Berechenbarkeit (Computability) |
| Seminar: Datenstromalgorithmen (Data Stream Algorithms) | |
| Winter 2009/10 | Exercise classes for Logik in der Informatik (Logic in Computer Science) |
| Winter 2008/09 | Exercise classes for Diskrete Modellierung (Discrete Modelling) |
| Summer 2008 | Seminar: Datenstromalgorithmen (Data Stream Algorithms) |
| Winter 2007/08 | Exercise classes for Diskrete Modellierung (Discrete Modelling) |
| Seminar: Datenstromalgorithmen (Data Stream Algorithms) | |
| Summer 2007 | Exercise classes for Logik und Komplexität (Logic and Complexity) |
| Winter 2005/06 | Seminar: Kommunikationskomplexität (Communication Complexity) |