Prof. Dr. Nicole Schweikardt Arbeitsgruppe Theorie komplexer Systeme Institut für Informatik Goethe-Universität Frankfurt am Main

Forschungsinteressen:

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

Publikationen:

Publikationsliste Kurze Zusammenfassungen der Publikationen

 

Lehrveranstaltungen:

Lehrveranstaltungen der Arbeitsgruppe TKS

Sprechstunde:

Im SoSe 2009:   keine (wegen Forschungssemester) Während der vorlesungsfreien Zeit Termine bitte vorher per Email vereinbaren!

Prüfungstermine:

Termine für mündliche Prüfungen biete ich i.d.R. an jedem 3. Mittwoch im Monat (von 14 bis 18 Uhr) während der Vorlesungszeit an. Bitte setzen Sie sich mit meiner Sekretärin, Frau Nadland, in Verbindung, falls Sie einen Termin für eine mündliche Prüfung vereinbaren wollen.

 

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), 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 Council der International Conference on Database Theory (ICDT), Publicity Co-Chair für IEEE Symposium on Logic in Computer Science (LICS), Publicity Chair für 5th Federated Logic Conference (FLoC 2010) und Beiratsvorsitzende des Bundeswettbewerb Informatik. Ich bin bzw. war Mitglied im Programmkomitee der folgenden Konferenzen: 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)

 

Links:

Eine Liste mit Links zu verwandten Themen