Datenbanken und Informationssysteme

Michael Meier Institut für Informatik Albert-Ludwigs-Universität Freiburg Georges-Köhler-Allee, Geb. 51 79110 Freiburg i. Br., Germany Office:   051-01-028 e-mail:   meierm 'at' informatik.uni-freiburg.de phone:   +49 (761) 203-8126 fax:       +49 (761) 203-8122

I obtained my "Bakkalaureus der Mathematik" in April 2007 and my diploma in computer science with minor in mathematics in August 2007. I have joined the database and information systems group of Prof. Dr. Lausen as a Ph.D. student in September 2007. I am supported by a scholarship from the DFG-Graduiertenkolleg GRK 806 - Mathematical Logic and Applications.

- Database Theory (in particular the Chase algorithm)
- RDF and SPARQL
- Logic and Complexity Theory

• Foundations of SPARQL Query Optimization, Michael Schmidt, Michael Meier, Georg Lausen. To appear in Proc. ICDT 2010, Lausanne (Switzerland).
• On Chase Termination Beyond Stratification, Michael Meier, Michael Schmidt, Georg Lausen. In Proc. VLDB 2009, Lyon (France). Technical Report.
• Stop the Chase, Michael Meier, Michael Schmidt, Georg Lausen. In Proc. Alberto Mendelzon Workshop 2009, Arequipa (Peru). Technical Report.
• Foundations of SPARQL Query Optimization, Michael Schmidt, Michael Meier, Georg Lausen. Technical Report.
Towards Rule-Based Minimization of RDF Graphs under Constraints, Michael Meier. In Proc. RR 2008, Karlsruhe (Germany).
• SPARQLing Constraints for RDF, Georg Lausen, Michael Meier, Michael Schmidt. In Proc. EDBT 2008, Nantes (France).

- Studienberatung Informatik:

• Ich berate die folgenden Studiengänge: Bachelor of Science in Informatik, Master of Science in Informatik und Angewandter Informatik, Lehramt / Staatsexamen und Informatik als Nebenfach zu anderen Studiengängen.
• Bitte zunächst die Studienpläne und Prüfungsordnungen konsultieren!
• Beratung zur Sprechstunde: Fr 09.30-11.30 Uhr und Mo 10:30-11:30.
• Mails bitte nur an studienberatung 'at' informatik.uni-freiburg.de

- Schnupperstudium für Schülerinnen 2009