Prof. Dr. Viorica Sofronie-Stokkermans
Functions
- Head of the Group, Research Group Sofronie-Stokkermans
- Institut für Informatik: Geschäftsführende Leiterin
- Committees FB4
- Bibliotheksausschuss (Sprecher)
- Fachbereichsrat: 2015-2016 und seit 2020
- Promotionsausschuss: 2014-2017 und seit 2020
- GI Vertrauensdozentin
- GI Ansprechspartnerin (Universität Koblenz-Landau)
Lehre
- Winter Semester 2020/2021: Forschungsemester
- Vertiefung Theoretische Informatik: findet im Sommersemester 2021 statt
- Decision Procedures for Verification: wird im Wintersemester 2020/2021 von Herrn Dr. Horbach gehalten
- Formal Specification and Verification: findet im Wintersemester 2021/22 statt
Studierende, die eine dieser Veranstaltungen bereits besucht haben und die entsprechende Prüfungsleistung noch nicht erfolgreich erbracht haben, werden die Möglichkeit haben, bereits im Wintersemester 2020/21 eine Prüfung abzulegen. Wer diese Möglichkeit wahrnehmen will, richte sich bitte mit einer entsprechenden Anfrage per E-Mail an sofronie@uni-koblenz.de.
Links
- Research interests
- Projects
- Publications (DBLP)
- Editorial Activities, Invited Speaker, PC Conferences