Prof. Dr. Nicole Schweikardt
|
![]() |
Forschungsinteressen
Logik, Datenbanktheorie, Komplexitätstheorie, endliche Modelltheorie, Grundlagen der Verarbeitung von großen Datenmengen und DatenströmenPublikationen
Geordnet nach Jahren oder nach Kategorien.Lehre
- Dieses Semester (SoSe 2013)
- Ausblick auf kommende Semester
- Archiv vergangener Semester
- E-Lectures
Prüfungstermine
Informationen zu Prüfungsterminen etc. finden Sie hier.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. Seit 2007 Professorin (zunächst W2, seit 2008 W3) für Theorie komplexer Systeme am Institut für Informatik der Goethe-Universität Frankfurt am Main.
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 Beiratsvorsitzende des Bundeswettbewerb Informatik (seit 2008), sowie 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 Zeitschrift Logical Methods in Computer Science (LMCS) (seit 2010), im Council der International Conference on Database Theory (ICDT) (seit 2007) und im Vorstand der Deutschen Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) (seit 2010).
Ich war 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:
- 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'13)
- Computability in Europe 2013 (CiE'13)
- 16th International Conference on Database Theory (ICDT'13)
- 21st EACSL Annual Conference on Computer Science and Logic (CSL'12)
- 39th International Colloquium on Automata, Languages and Programming (ICALP'12), Track B
- 4th International Workshop on Logic in Databases (LID'11)
- 14th International Conference on Database Theory (ICDT'11)
- Computability in Europe 2010 (CiE'10)
- 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09)
- 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'09)
- 12th International Conference on Database Theory (ICDT'09)
- 16th Annual European Symposium on Algorithms (ESA'08)
- 10th Workshop on Descriptional Complexity of Formal Systems (DCFS'08)
- 25th International Symposium on Theoretical Aspects of Computer Science (STACS'08)
- 16th EACSL Annual Conference on Computer Science and Logic (CSL'07)
- 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07)
- 12. GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW'07)
- 33rd International Colloquium on Automata, Languages and Programming (ICALP'06), Track B
- 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'06)
- 4th International Symposium on the Foundations of Information and Knowledge Systems (FoIKS'06)
- 10th International Symposium on Database Programming Languages (DBPL'05)
Ich bin bzw. war an der Organisation der folgenden Workshops beteiligt:
- Dagstuhl-Seminar "Advances and Applications of Automata on Words and Trees" (12.-17.12.2010, Schloss Dagstuhl)
- GI-Dagstuhl-Seminar "Data Exchange, Data Integration, and Data Streams" (DEIS'10) (07.-12.11.2010, Schloss Dagstuhl)
- Algorithmic Model Theory Meeting 2010 (AlMoTh 2010) (25.-26.2.2010, Goethe-Univ. Frankfurt)
- 16th annual meeting of the "GI Fachgruppe Logik in der Informatik" (LogInf 2009) (6.-7.11.2009, Goethe-Univ. Frankfurt)
- ICC'08: Information, Control and Communication. A Transdisciplinary Workshop (10.-12.04.2008, Junge Akademie, Berlin)




