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).

From October 2012 to September 2013, I am visiting Phokion Kolaitis at the University of California, Santa Cruz. You can still contact me at my e-mail address given below.

Contact

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

Publications and Theses

Teaching

Summer 2012 Seminar: Grundlagen der Datenintegration und des Datenaustauschs (Foundations of Data Integration and Data Exchange)
Winter 2011/12 Tutorials for Logik in der Informatik (Logic in Computer Science)
Summer 2011 Lecture: Logik und Komplexität (Logic and Complexity)
Winter 2010/11 Tutorials for Logik, Spiele und Automaten (Logic, Games, and Automata)
Summer 2010 Tutorials for Berechenbarkeit (Computability)
Seminar: Datenstromalgorithmen (Data Stream Algorithms)
Winter 2009/10 Tutorials for Logik in der Informatik (Logic in Computer Science)
Winter 2008/09 Tutorials for Diskrete Modellierung (Discrete Modelling)
Summer 2008 Seminar: Datenstromalgorithmen (Data Stream Algorithms)
Winter 2007/08 Tutorials for Diskrete Modellierung (Discrete Modelling)
Seminar: Datenstromalgorithmen (Data Stream Algorithms)
Summer 2007 Tutorials for Logik und Komplexität (Logic and Complexity)
Winter 2005/06 Seminar: Kommunikationskomplexität (Communication Complexity)