Homepage
Viorica Sofronie-Stokkermans
Max-Planck-Institut für Informatik
Campus E 1.4 , Room 607,
66123 Saarbrücken Germany
Email:
sofronie@mpi-inf.mpg.de
Phone: +49 681 9325 207
Fax: +49 681 9325 999
- Automated reasoning
- Automated reasoning in classical and non-classical logic
- Combinations of decision procedures
- Complex systems
- Modeling (mathematical models for concurrency, sheaf semantics)
- (Deductive) verification
- Logic
- applications to verification, knowledge representation
- Algebra
- representation theorems in universal algebra
- decidability, complexity in universal algebra
- computer algebra
- Principal investigator in the SFB Transregio AVACS, Phase 1 (since 2005)
- Principal investigator in the SFB Transregio AVACS, Phase 2 (since 2008)
- Older projects
- 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-naturwissenschaftliche Fakultät der Technischen Universität Wien.
- Summer Semester 1999: Universelle Algebra und Verbandstheorie (KVV), Saarland University.
Curriculum Vitae