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, the best grade for a PhD in Austria); 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).
  • 1977-1983: Numerous prizes at regional and national contests ("olymipads") in mathematics and foreign languages, and for scientific research contests in mathematics.

  • Position


    Professional Experience

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

  • Fellowships, grants, distinctions

    Fellowships: I was awarded the following fellowships:

  • 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,
  • Travel Grants: I received the following travel grants:

  • In the frame of the COST Action 15 on many-valued logics and applications:
    • February 5 - 15, 1997, grant for a short-term mission at the University Claude Bernard Lyon 1 (Prof. L. Iturrioz),
    • April 6 - 17, 1998, grant for a short-term mission in Warsaw (Prof. E. Orlowska),
    • July 17 - 26, 2000, grant for a short-term mission at the University Claude Bernard Lyon 1 (Prof. L. Iturrioz)
  • Longer Visits:
  • Short Visits and Invited Talks: I made more than 20 short visits to other institutions and gave invited talks. In addition, I gave over 20 talkis in meetings in the frame of the AVACS project.

  • Teaching

    In Koblenz

    Previous Semesters

  • Editorial activities:
  • Conference involvement:
  • Invited Speaker:
  • AVACS Concluding Colloquium
  • PAS 2014
  • SYNASC 2014
  • Anniversary Conference: Faculty of Sciences 150 years, University Bucharest, August 29-September 1, 2013
  • IFIP WG2.2 meeting, Lisboa, September 23-26, 2013
  • ALCOP 2011
  • 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 Bjorner)
  • FroCoS 2011: conference chair
  • IJCAR 2010: publicity chair
  • FTP 2009 (PC co-chair)
  • ADDCT 2007, 2009, 2013, 2014 (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:

    Current:

    • CADE 26 (PC Member)
    • FroCoS 2017 (PC Member)
    • CSL 2017 (PC Member)
    • LICS 2016 (PC Member)
    • IJCAR 2016 (PC Member)
    • DL 2016 (PC Member)
    • AiML 2016 (PC Member)
    • SYNASC 2016 (PC Member)
    • Deduktionstreffen 2016 (PC Member)
    In the past:

  • Reviewer:
  • Conferences:
  • FroCos (1996,2009, 2011, 2013, 2015)
  • CADE (1996 and 1999-2013)
  • AIS(M)C (1996, 2000, 2002)
  • Tableaux (1998, 2000, 2005, 2007, 2009, 2011, 2013)
  • ISMVL (1999-2004, 2008)
  • CSL (1999, 2003, 2006, 2010)
  • FASE (2000)
  • LICS (2000, 2003, 2004, 2008, 2016)
  • IJCAI (2001, 2003)
  • LPAR (2001, 2003, 2004)
  • ESSLLI (2002, 2003)
  • JIM (2003)
  • IJCAR (2004,2008, 2010, 2012, 2014, 2016)
  • CALCO (2005)
  • FoIKS (2006)
  • VMCAI (2006, 2007)
  • KR (2006)
  • ECAI (2006, 2012)
  • AiML (2006, 2008, 2014, 2016)
  • TACAS (2007, 2010)
  • CAV (2007)
  • ADDCT (2007, 2009, 2013, 2014)
  • FSTTCS (2007)
  • CEDAR (2008)
  • DL (2009, 2010, 2011, 2012, 2014, 2015, 2016)
  • FTP (2009, 2011)
  • LfSA (2010, 2012)
  • 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

  • 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.