Viorica Sofronie-Stokkermans: Curriculum Vitae

Curriculum Vitae

Personal Data

Name: Viorica Sofronie-Stokkermans
Academic Degrees: Dipl.Inf., Specialization diploma (equivalent M.Sc.), Dr. techn., Privatdozentin
Birth Date: March 17, 1965
Citizenship: Romanian and German
Personal Status: Married with Dr. Karel Stokkermans; one daughter
Languages: Romanian (native), English (fluent), German (very good), French (very good, no practice in the last years), Portuguese (good, no practice in the last years), Dutch (reading: very good; listening: good).

Education

  • 2004: Habilitation in Computer Science.
  • Habilitation talk: ``Algebraic and logic methods in automated theorem proving and in the study of concurrency'' (January 26, 2004)
  • Antrittsvorlesung: ``Automated reasoning in extensions and combinations of logical theories'' (November 24, 2004)

  • 1992-1997: Ph.D. Study at RISC Linz, Johannes Kepler University, Linz, Austria; all exams passed with grade 1 (very good).
  • 1997: PhD thesis: "Fibered Structures and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems". Grade 1 (very good); Rigorosum: mit Auszeichnung bestanden.

  • 1991-1992: Specialization year (in Algebra) at the Faculty of Sciences, Lisbon, Portugal; all exams passed with grade: 20 (from a maximum of 20).

  • 1987-1988: Specialization year (in Computer Science and Algebra) at the University of Bucharest, Romania. Grade: 10 (from a maximum of 10).
  • 1988: Specialization Thesis: "Modal Algebras and Rewriting Algorithms". Grade: 10 (from a maximum of 10)

  • 1983-1987: Student in Computer Science, University of Bucharest, Romania. Final Grade: 9.98 (from a maximum of 10).
  • 1987: Diploma Thesis (M.Sc. degree): "Automated Theorem Proving. The Knuth-Bendix algorithm and some of its extensions". Grade: 10 (from a maximum of 10).

  • 1979-1983: High School Education. Liceul de Matematica-Fizica nr. 3 (Mathemathics and Physics High School Nr.3), Bucharest, Romania.
  • 1983: High-school exam (Bacalaureat). Final grade: 10 (from a maximum of 10).

    • Position

  • Currently: Coordinator of the research area "Reasoning in Complex Theories"
  • October 2004 - February 2005: Vertretung einer Professur der Besoldungsgruppe W3, University Trier (Chair of Theoretical Computer Science and New Applications).
  • October 1999 - present: Researcher at MPII.
  • October 1997 - October 1999: Postdoctoral fellow at MPII.
  • May - October 1997: PostDoc at RISC Linz. Collaboration on a research project on multi-agent systems (together with ProFactor Steyr).
  • 1992 - 1997: Ph.D student (and research assistant) at RISC-Linz, Johannes Kepler University, Linz, Austria. Collaboration on research projects (November 1993 - June 1994: PARAGRAPH, July 1994 - October 1995: MEDLAR II, 1996-1997: ProFactor).
  • 1991: Practical Stage at the Computing Science Department of ABB Lummus Crest GmbH, Wiesbaden, Germany (June 1991, 4 weeks).
  • 1991 - 1997: Research Assistant at the Computing Center of the University of Bucharest, Romania (on leave).
  • 1990 - 1991: Analyst-Programmer at ICSITPSCM (The Research Institute for Metallurgy), Bucharest, Romania.
  • 1988 - 1990: Obligatory stage as highschool teacher at the Highschool Nr.5, Resita, Romania (full position; classes in mathematics, physics, computer programming).

    • Professional Experience

  • Projects
  • Principal investigator SFB Transregio AVACS
  • AVACS first phase (January 2005 - December 2007)
  • AVACS second phase (since January 2008)
  • COST Action 15 (1995-2000)
  • ProFactor Project (1997)
  • MEDLAR II (1995-1997)
  • PARAGRAPH (1993-1994)

  • Teaching
  • Summer Semester 2010: Seminar: Decision procedures for logical theories, Saarland University.
  • Lecture at the AVACS spring school (Oldenburg, Gemany), 15 March 2010. Slides
  • Summer 2009: Advanced Course at ESSLLI 2009 "Reasoning in complex theories and applications"
  • CADE 2009: "Hierarchical and modular reasoning in complex theories" (Tutorial).
  • Selected Topics in Automated Reasoning (2h course + 2h exercises), University Saarbrücken, summer semester 2009.
  • KI 2008: "Reasoning in complex theories and applications" (Tutorial).
  • Seminar: Decision procedures for logical theories, University Saarbrücken, winter semester 2008.
  • Seminar: Decision procedures for logical theories, University Saarbrücken, winter semester 2005/2006.
  • Discrete Structures and Logic (4h course), University Trier, winter semester 2004/2005.
  • Automated Reasoning (2h course + 2h exercises), University Trier, winter semester 2004/2005.
  • Automated Reasoning (together with Harald Ganzinger and Uwe Waldmann), University Saarbrücken, summer semester 2004.
  • Nonclassical logics (2h course), University Saarbrücken, summer semester 2002;
  • Universal Algebra and Lattice Theory (2h course + 2h exercises), University Saarbrücken, summer semester 2001;
  • AK der Theoretischen Informatik 3 (185.134), blocked course (Jan 24-28, 2000), Institut für Computersprachen der Technisch-naturwissenschaftliche Fakultät der Technischen Universität Wien.
  • Universal Algebra and Lattice Theory (2h course + 1h exercises), University Saarbrücken, summer semester 1999;
  • Exercise class for the course "Introduction to Computer Science", University Bucharest, winter semester 1991/1992 (the programming language Pascal, formal languages)
  • Laboratory (practical exercise) for the course "Formal Languages", University Bucharest, winter semester 1991/1992,
  • Exercise class for the course "Introduction to Computer Science", University Bucharest, summer semester 1990;
  • High-school teacher:1988-1990 (mathematics, physics, computer programming, special training with the best pupils for mathematics competitions)

  • Editorial activities:
  • Proceedings of ADDCT 2007
  • Proceedings of CEDAR 2008
  • Guest editor: Special issue of the Journal of Symbolic Computation:
    Automated Deduction: Decidability, Complexity, Tractability (CFP )
    JSC Vol.45 Nr.2 (February 2010)
  • Proceedings of ADDCT 2009 (joint with UNIF'09)
  • Proceedings of FTP 2009 (Research Report 386, University of Oslo, Department of Informatics, 2009)
  • Guest editor: Special issue of the Journal of Symbolic Computation:
    First Order Theorem Proving (in preparation) CFP

  • Conference involvement:
  • Invited Speaker:
  • FroCos 2007 and FTP 2007 (invited speaker at joint FroCos and FTP session)
  • COS 2004
  • JIM 2003,
  • ISMVL 2001,
  • Symposium on Multiple-Valued logics affiliated with the 11th LMPRS 1999,
  • Seminar of the Polish Association for Logic and Philosophy of Science, April 8, 1998,
  • Seminar of the Kurt Gödel Society, Vienna, June 17, 1996.
  • Tutorials
  • CADE 2009: "Hierarchical and modular reasoning in complex theories"
  • KI 2008: "Reasoning in complex theories and applications"

  • Lectures
  • Lecture at the AVACS spring school (Oldenburg, Gemany, March 2010)
  • ESSLLI 2009: "Reasoning in complex theories and applications" (Advanced Course)

  • Conference Organization:
  • CADE-23 (PC co-chair with Nikolaj Bjørner)
  • FroCoS 2011: conference chair
  • IJCAR 2010: publicity chair
  • FTP 2009 (PC co-chair)
  • ADDCT 2009 (co-chair)
  • CEDAR 2008 (co-chair)
  • Symbolic Computation and Deduction in System Design and Verification (co-organizer)
    (special session at ACA 2008)
  • ADDCT 2007 (co-chair)
  • Workshops Chair, TABLEAUX 2007
  • Local Organization of the Third International Conference on Artificial Inteligence and Symbolic Mathematical Computation (AISMC-3), Steyr, Austria, September 23-25, 1996
  • ISMVL technical committee (2002-2004)
  • Member of the program committee:
  • FroCoS 2011 (PC member)
  • TABLEAUX 2011 (PC member)
  • IJCAR 2010 (PC member)
  • DL 2010 (PC member)
  • LfSA 2010 (PC member)
  • BNAIC 2010 (PC member)
  • Deduktionstreffen 2010 (committee member)
  • Deduktionstreffen 2009 (committee member)
  • FTP 2009 (PC chair)
  • FroCos 2009 (PC member)
  • TABLEAUX 2009 (PC member)
  • ADDCT 2009 (co-chair)
  • IJCAR 2008 (PC member)
  • Deduktionstreffen 2008(PC member)
  • CEDAR 2008 (co-chair)
  • ADDCT 2007 (co-chair)
  • TABLEAUX 2007 (PC member)
  • TABLEAUX 2005 (PC member)
  • IJCAR 2004 (PC member)
  • JIM 2003 (PC member)
  • AISC 2000 (PC member)
  • AISC 2002 (PC member)
  • ISMVL technical committee (2002-2004)

  • Referee:
  • Conferences:
  • FroCos'96,
  • CADE (1996 and 1999-2007)
  • AIS(M)C (1996, 2000, 2002)
  • Tableaux (1998, 2000, 2005, 2007, 2009)
  • ISMVL (1999-2004, 2008)
  • CSL (1999, 2003, 2006, 2010)
  • FASE (2000)
  • LICS (2000, 2003, 2004, 2008)
  • IJCAI (2001, 2003)
  • LPAR (2001, 2003, 2004)
  • ESSLLI (2002, 2003)
  • JIM (2003)
  • IJCAR (2004,2008, 2010)
  • CALCO (2005)
  • FoIKS (2006)
  • VMCAI (2006, 2007)
  • KR (2006)
  • ECAI (2006)
  • AiML (2006)
  • TACAS (2007)
  • CAV (2007)
  • ADDCT (2007, 2009)
  • FSTTCS (2007)
  • CEDAR (2008)
  • FroCoS (2009)
  • DL (2009, 2010)
  • FTP (2009)
  • LfSA (2010)
  • AtVA (2010)
  • Books:
  • Handbook of Automated Reasoning (eds. Alan Robinson and Andrei Voronkov),
  • Beyond Two: Theory and Applications of Multiple-Valued Logic (eds. Melvin Fitting and Ewa Orlowska).
  • TARSKI volume (ed. Harrie de Swart) to appear in LNCS.
  • Journals:
  • ACM Transactions on Computational Logic (ACM TOCL),
  • Annals of Mathematics and Artificial Intelligence (AMAI),
  • Bulletin of the IGPL,
  • Central European Journal of Mathematics (CEJM),
  • Discrete Applied Mathematics,
  • Fuzzy sets and system,
  • Information Processing Letters,
  • International Journal of Mathematics and Mathematical Sciences,
  • J. of Automated Reasoning,
  • J. of Appl. Non-Classical Logics,
  • J. of Logic and Algebraic Programming,
  • J. Soft Computing,
  • J. Symbolic Computation,
  • Multiple-Valued Logic - An International Journal,
  • Operations Research Letters,
  • Order,
  • Studia Logica,
  • Theory of Computing Systems,
  • Theoretical Computer Science.
  • Reviewer for Mathematical Reviews and Zentralblatt für Mathematik

  • Fellowships and grants:
  • 1991-1992 TEMPUS JEP-2797-91 "MATAROU" scholarship (one specialization year in Algebra at the Lisbon University of Sciences, Portugal),
  • 1992-1993 ÖAD scholarship for PhD study at RISC-Linz, J. Kepler University Linz, Austria,
  • Winter Semester 1993/1994: Support from the TEMPUS JEP-2692-92/2 for attending courses and seminars of the TEMPUS Semester in "Categorical and Algebraic Methods of Computer Science" held in Prague,
  • 1993-1997 Research Fellowship offered by RISC Linz for cooperation in scientific projects (PARAGRAPH, MEDLAR II, ProFactor),
  • 1997-1999 Postdoctoral Fellowship, MPII Saarbruecken,
  • February 5 - 15, 1997, grant for a short-term mission at the University Claude Bernard Lyon 1 (Prof. L. Iturrioz), granted by the COST Action 15 (on many-valued logics and applications).
  • April 6 - 17, 1998, grant for a short-term mission in Warsaw (Prof. E. Orlowska), granted by the COST Action 15 (on many-valued logics and applications).
  • July 17 - 26, 2000, grant for a short-term mission at the University Claude Bernard Lyon 1 (Prof. L. Iturrioz) (COST Action 15)
  • Visits:
  • February 5 - 15, 1997: University Claude Bernard Lyon 1, Laboratoire de Mathematiques discretes (Prof. L. Iturrioz)
  • November 23 - 30, 1997: Oxford University (Prof. H.A. Priestley)
  • April 6 - 17, 1998: Institute for Telecommunications, Warsaw (Prof. E. Orlowska)
  • June 24 - 26, 1998: Institute for Logic, Complexity and Deduction Systems, University of Karlsruhe (Dr. R. Hähnle)
  • January 24 - 28, 2000: Institut für Computersprachen der Technisch-naturwissenschaftliche Fakultät der Technischen Universität Wien (Prof. A. Leitsch; lecture)
  • July 17 - 26, 2000: University Claude Bernard Lyon 1, Laboratoire de Mathematiques discretes (Prof. L. Iturrioz)
  • University Oldenburg, May 9-13, 2005 (Prof. Werner Damm, AVACS).

    • Publications

    For a list of publications click here

    Publications in the MPI Library Database (MPI data base query)

    Talks

    For a list of talks click here

    Slides

    Can be found here

    Maintained by Viorica Sofronie-Stokkermans.