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
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
KR
ECAI
AiML
TACAS
CAV
ADDCT
FSTTCS
CEDAR
DL
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.