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

Since September 2011: Professor at the University Koblenz-Landau
September 2011-December 2015: Part time senior researcher at MPI Informatik, Saarbrücken
2004-2011: Senior researcher at the MPI Informatik, Saarbrücken
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 - 2004: Researcher at MPI Informatik, Saarbrücken.
October 1997 - October 1999: Postdoctoral fellow at MPI Informatik, Saarbr¨cken
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

DFG Project 'Explainable Belief Merging'

EnTrust (Subproject 3: Explainability)

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:

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, various visits between 2005 and 2015 (Prof. Werner Damm, AVACS).
Universita degli Studi di Verona, May 2007 (Prof. Maria Paola Bonacina)
Institute Superior Technico, Lisboa, March 2009 (Prof. Cristina Sernadas and Amilcar Sernadas)

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

Logik für Informatiker (4h/week): Summer Semester 2012
Logik für Informatiker (3h/week): Summer Semester - every year since 2013
Grundlagen der Theoretischen Informatik (4h/week): Summer Semester - every year since 2015
Vertiefung Theoretische Informatik (2h/week): Winter Semester - every year since WiSe 2012/13 (Exceptions: SoSe 2016 instead of WiSe 2015/16; SoSe 2021 instead of WiSe 2020/21).
Formal Specification and Verification (3h/week lecture, 1h/week exercises): Summer Semester 2012-2014; Winter Semester - every two years since WiSe 2016/17
Decision Procedures for Verification (2h/week lecture; 2h/week exercises): Winter Semester - since WiSe 2011/12
Non-classical Logics (3h/week lecture; 1h/week exercises): Winter Semester 2011/12, 2012/13, 2013/14, 2014/15; then every 2 years since WiSe 2017/18
Seminar Decision Procedures and Applications: Winter Semester 2011/12, Summer Semester - since SoSe 2012
Forschungspraktikum: Summer Semester 2014.

Previous Semesters

Summer Semester 2011:Selected Topics in Automated Reasoning: Decision Procedures and Applications, Saarland University.
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).
Summer Semester 2009: Selected Topics in Automated Reasoning, Saarland University.
KI 2008: "Reasoning in complex theories and applications" (Tutorial)
Summer Semester 2008: Seminar: Decision procedures for logical theories, Saarland University.
Winter Semester 2005/2006: Seminar: Decision procedures for logical theories, Saarland University.
Winter Semester 2004/2005: Diskrete Strukturen und Logik, University Trier.
Winter Semester 2004/2005: Automated Reasoning, University Trier.
Summer Semester 2004: Automated Reasoning;Exercises.
Summer Semester 2002: Nichtklassische Logiken, Saarland University.
Summer Semester 2001: Universelle Algebra und Verbandstheorie, Saarland University.
Winter Semester 1999/2000: AK der Theoretischen Informatik 3 (185.134), blocked course (Jan 24-28, 2000), E 185 Institut für Computersprachen der Technisch-naturwissenschaftlichen Fakultät der Technischen Universität Wien.
Summer Semester 1999: Universelle Algebra und Verbandstheorie(KVV), Saarland University.
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, JSC Vol.47 Nr.9 (September 2012)
Proceedings of CADE 23, LNAI 6803
Proceedings of FroCoS 2011, LNAI 6989
Guest editor (together with Nikolaj Bjorner): Special issue of the Journal of Automated Reasoning
dedicated to CADE'23, J. Autom. Reasoning 51(1): 1-2 (2013)
Proceedings of ADDCT 2013 (together with Silvio Ghilardi, Ulrike Sattler and Ashish Tiwari)
Proceedings of ADDCT 2014 (together with Silvio Ghilardi and Ulrike Sattler)
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).
Dagstuhl Reports 5(9): 18-37, 2015 (together with Nikolaj Bjorner, Jasmin Christian Blanchette and Christoph Weidenbach)
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).
Dagstuhl Reports 7(9): 26-46, 2017 (together with Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli)
Proceedings of IJCAR 2020 (together with Nicolas Peltier):
- Volume 1: LNCS 12166, Springer 2020.
- Volume 2: LNCS 12167, Springer 2020.
Guest editor (together with Nicolas Peltier): Special issue of the Journal of Automated Reasoning dedicated to IJCAR 2020
Guest editor (together with Nicolas Peltier): Special issue of the Journal Logical Methods in Computer Science dedicated to IJCAR 2020

Conference involvement:

Invited Speaker:

LC 2023, 5-9 June 2023

AILA 2022, 12-15 September 2022

ManyVal 2019, 1-3 November 2019

FROM 2018, June 18-20, Iasi, Romania

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:

IJCAR 2020 (PC co-chair together with Nicolas Peltier)

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 28 (PC Member)

WoLLIC 2023 (PC Member)

DL 2023 (PC Member)

In the past:

IJCAR 2022 (PC Member), DL 2022 (PC Member), Sicherheit 2022 (PC Member), FROM 2022 (PC Member), Deduktionstreffen 2022 (PC Member) - cancelled

CADE 2021 (PC Member), FroCoS 2021 (PC Member), DL 2021 (PC Member), SOQE 2021 (PC Member)

IJCAR 2020 (PC co-chair), LICS 2020 (PC Member), Sicherheit 2020 (PC Member)

CADE 2019 (PC Member), FroCoS 2019 (PC Member), Tableaux 2019 (PC Member), Deduktionstreffen 2019 (PC Member), FROM 2019 (PC Member), SYNASC 2019. Logic and Programming Track (PC Member)

IJCAR 2018 (PC Member), FSCD 2018 (PC Member), AiML 2018 (PC Member), Sicherheit 2018 (PC Member), SYNASC 2018. Logic and Programming Track (PC Member), Deduktionstreffen 2018 (PC Member)

CADE 26 (PC Member), FroCoS 2017 (PC Member), CSL 2017 (PC Member), SYNASC 2017. Logic and Programming Track (PC Member), FROM 2017 (PC co-chair), SOQE 2017 (PC Member), Deduktionstreffen 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)

FM 2015 (PC Member), FroCoS 2015 (PC Member), DL 2015 (PC Member), PAS 2015 (PC Member), SYNASC 2015 (PC Member), DT-2015: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme (PC Member, INFORMATIK 2015 (Gutachter: SKILL 2015 und Doktorandenprogramm)

IJCAR 2014 (PC Member), ADDCT 2014 (PC co-chair), ICTAC 2014 (PC Member), DL 2014 (PC Member), ARW-DT 2014: Joint Automated Reasoning Workshop and Deduktionstreffen (PC Member), SYNASC 2014 (PC member), Doktorandenprogramm, INFORMATIK 2014 (Gutachter)

CADE 24 (PC Member), Tableaux 2013 (PC Member), FroCoS 2013 (PC Member), ADDCT 2013 (PC co-chair), Deduktionstreffen 2013 (organizer), SYNASC 2013, Logic and Programming track (PC Member)

IJCAR 2012 (PC Member), DL 2012(PC member), LfSA 2012 (PC Member), SYNASC 2012, Logic and Programming track (PC Member)

CADE-23 (PC co-chair withNikolaj Bjorner); FroCoS 2011 (Conference Chair); FroCoS 2011 (PC member); TABLEAUX 2011 (PC member); FTP 2011 (PC member); BNAIC 2011 (PC member); SYNASC 2011, Logic and Programming track (PC member); DL 2011 (PC member); Deduktionstreffen 2011 (committee member)

IJCAR 2010 (PC member), IJCAR 2010 (Publicity chair), DL 2010 (PC member), LfSA 2010 (PC member), BNAIC 2010 (PC member), Deduktionstreffen 2010 (committee member),

FTP 2009 (PC co-chair with Nicolas Peltier), FroCos 2009 (PC member), TABLEAUX 2009 (PC member), ADDCT 2009 (co-chair), Deduktionstreffen 2009 (committee member), DL 2009 (PC member)

IJCAR 2008 (PC member), Symbolic Computation and Deduction in System Design and Verification (co-organizer; special session at ACA 2008), Deduktionstreffen 2008 (committee member), CEDAR 2008 (co-chair)

TABLEAUX 2007 (PC member), ADDCT 2007 (co-chair), TABLEAUX 2007 (workshops chair)

TABLEAUX 2005 (PC member)

IJCAR 2004 (PC member)

ISMVL technical committee(2002-2004)

JIM 2003 (PC member)

AISC 2002 (PC member)

AISC 2000 (PC member)

Reviewer:

Conferences:

FroCos

CADE

AIS(M)C

Tableaux

ISMVL

CSL

FASE

LICS

IJCAI

LPAR

ESSLLI

JIM

IJCAR

CALCO

FoIKS

VMCAI

ECAI

AiML

TACAS

CAV

ADDCT

FSTTCS

CEDAR

FTP

LfSA

AtVA

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.