Dr. Andreas Dolzmann

Aufgabengebiete

• Mitglied im Wissenschaftlichen Stab
• Leitung des Bereichs "Seminare und Workshops"
• Lietung der Geschäftsstelle in Saarbrücken

Lebenslauf

Andreas Dolzmann hat an der Universität Passau Informatik studiert und das Studium 1995 mit dem Diplom abgeschlossen. Danach war er am Lehrstuhl für Computer Algebra wissenschaftlicher Mitarbeiter und promovierte mit seiner Arbeit "Applicable Real Quantifier Elimination" zum Dr. rer. nat. im Jahr 2000. Als wissenschaftlicher Assistent forschte an der Uni Passau weiter und habilitierte sich 2006 mit seiner Arbeit "Integrated Quantifier Elimination". Als akademischer Oberassitent und Privatdozent forschte er bis 2009 weiter an der Universität Passau.

Seit 2010 arbeitet Andreas Dolzmann im Wissenschaftlichen Stab von Schloss Dagstuhl. Seit 2018 leitet er dort die Geschäftstelle und seit 2021 leitet er den Bereich "Seminare und Workshops". 

Ausgewählte Forschungsbeiträge

Fast alle meiner Publikationen werden in der dblp gelistet.

• REDLOG Team; computer algebra meets computer logic; An extension of the computer algebra system REDUCE for working with first-order logic.
  https://www.redlog.eu/
• Marek Kosta, Thomas Sturm, Andreas Dolzmann; Better answers to real questions; J. Symb. Comput; 74: 255-275 (2016).
  https://doi.org/10.1016/j.jsc.2015.07.002
• Andreas Dolzmann, Andreas Seidl, Thomas Sturm; Efficient projection orders for CAD; Jaime Gutierrez, editor, Proceedings of the ISSAC 2004; pages 111-118; Santander, Spain; July 2004; ACM Press, New York, 2004.
  https://doi.org/10.1145/1005285.1005303
•  Andreas Dolzmann, Thomas Sturm; Parametric systems of linear congruences; V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, editors; Computer Algebra in Scientific Computing. Proceedings of the CASC 2001; pages 149-166; Springer, Berlin, 2001.
  https://doi.org/10.1007/978-3-642-56666-0_12
• Andreas Dolzmann, Thomas Sturm; Simplification of quantifier-free formulae over ordered fields; J. Symb. Comput; 24(2):209-231; August 1997.
  https://doi.org/10.1006/jsco.1997.0123