Prof. Dr. Nicole Schweikardt Theory of Complex Systems Group Institute for Computer Science Goethe-University Frankfurt am Main

Research interest:

Logic, Database Theory, Descriptive and Computational Complexity Theory, Finite Model Theory, Foundations of processing huge data sets and data streams

Publications:

List of publications Short abstracts of publications

 

Teaching:

Teaching by the TKS Research Group

Office hour:

In Winter 2009/10:     Wednesday 3-4 p.m. During the semester breaks, please make appointments by email.

Examination dates:

I usually offer appointments for oral exams on every 3rd Wednesday of the month (2 p.m. to 6 p.m.) during the teaching terms. Please contact my secretary, Frau Nadland, if you want to make an appointment for an oral exam.

 

CV:

Diplom (master's degree) (1998) in mathematics (minor in computer science) and Ph.D. degree (2002) at the Department of Mathematics and Computer Science at Johannes Gutenberg-Universität Mainz (PhD advisor: Prof. Dr. Clemens Lautemann). Post-Doc at the Laboratory for Foundations of Computer Science at University of Edinburgh (2002-2003). Wissenschaftliche Assistentin (Post-Doc) (2003-2005) and Assistant Professor (2005-2007) for Logic and Database Theory at the Institute for Computer Science at Humboldt-Universität zu Berlin. Since 2007 Professor (Associate Professor in 2007; Full Professor since 2008) for Theory of Complex Systems at the Institute for Computer Science at Goethe-Universität Frankfurt am Main. Honours and Awards: GI-Dissertationspreis (2002), elected member of the Young Academy (2005) at the Berlin-Brandenburg Academy of Sciences and Humanities and the German Academy of Natural Scientists Leopoldina, Heinz-Maier-Leibnitz-Prize awarded by the German Research Foundation (2007).

Activities:

Currently, I am a member in the ICDT-Council (International Conference on Database Theory), publicity co-chair for the IEEE Symposium on Logic in Computer Science (LICS), publicity chair for the 5th Federated Logic Conference (FLoC 2010), and head of the advisory board of Bundeswettbewerb Informatik. I serve(d) on the program committees of the following conferences: 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:

A list of links to websites on related topics