Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

Forschungsinteressen | Publikationen | Lehre | CV | Aktivitäten  

Prof. Dr. Nicole Schweikardt

Besucheranschrift:   Johann von Neumann-Haus
Raum 3.401 (Haus 3, 4. Etage, Raum 401)
Rudower Chaussee 25
12489 Berlin (Adlershof)
Anfahrtskizze
Postanschrift:   Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
D-10099 Berlin
Sprechstunde: Termine bitte per Email mit Eva Sandig vereinbaren.
Telefon: +49-30-2093 3044
Fax: +49-30-2093 3081
E-Mail:
URL: www.informatik.hu-berlin.de/~schweikn/
Prof. Dr. Nicole Schweikardt

Forschungsinteressen

Logik, Datenbanktheorie, Komplexitätstheorie, endliche Modelltheorie, Grundlagen der Verarbeitung von großen Datenmengen und Datenströmen

Publikationen

Lehre

CV

Diplom in Mathematik mit Nebenfach Informatik (1998) und anschließende Promotion zum Dr. rer. nat. (2002) am Fachbereich Mathematik und Informatik der Johannes Gutenberg-Universität Mainz (bei Prof. Dr. Clemens Lautemann). Danach Post-Doc am Laboratory for Foundations of Computer Science der University of Edinburgh (2002-2003). Anschließend wissenschaftliche Assistentin (2003-2005) bzw. Juniorprofessorin für Logik und Datenbanktheorie (2005-2007) am Institut für Informatik der Humboldt-Universität zu Berlin. 2007-2014 Professorin (zunächst W2, seit 2008 W3) für Theorie komplexer Systeme am Institut für Informatik der Goethe-Universität Frankfurt am Main. Seit September 2014 Professorin für Logik in der Informatik am Institut für Informatik der Humboldt-Universität zu Berlin.

Auszeichnungen und Preise: GI-Dissertationspreis (2002), Emmy Noether-Stipendium (2005, im Rahmen des DFG Aktionsplan Informatik), Berufung in die Junge Akademie an der Berlin-Brandenburgischen Akademie der Wissenschaften und der Deutschen Akademie der Naturforscher Leopoldina (2005), Heinz-Maier-Leibnitz-Preis der DFG und des BMBF (2007).

Aktivitäten

Zur Zeit bin ich Mitglied im Wissenschaftlichen Direktorium von Schloss Dagstuhl (seit 2010), im Fachbeirat des Max-Planck-Institut für Informatik in Saarbrücken (seit 2013), im Nominierungsausschuss zum GI-Dissertationspreis (seit 2013), im Editorial Board der Zeitschriften Logical Methods in Computer Science (LMCS) (seit 2010) und Acta Informatica (seit 2015), im Council der International Conference on Database Theory (ICDT) (seit 2007), im Vorstand der Deutschen Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) (seit 2010) und im ACM SIGLOG Education Committee (seit 2014).

Ich war Beiratsvorsitzende des Bundeswettbewerb Informatik (2008-2013), Publicity Co-Chair für IEEE Symposium on Logic in Computer Science (LICS) (2005-2010), Publicity Co-Chair der 4th Federated Logic Conference (FLoC 2006) und Publicity Chair der 5th Federated Logic Conference (FLoC 2010).

Ich bin bzw. war Mitglied im Programmkomitee der folgenden Konferenzen:

Ich bin bzw. war an der Organisation der folgenden Workshops beteiligt: