Universität Koblenz · Landau
  • Deutsch
  • Press
  • People
  • Contact
  • Logins
    • KLIPS (LSF)
    • Library
    • Website (CMS)
    • QISFSV
    • Dienstreise (RKA)
    Shibboleth-Login
    Additional online services
Universität Koblenz · Landau

Navigation

  • Universität Koblenz · Landau
  • University
    • Overview
    • Profile
      • About us
      • University History
      • Facts and figures
      • Publications
      • Arrival
      • Family-friendly University
      • Cooperation
      • Friends & Supporters
      • Alumni
      • University for everyone
    • Faculties
      • Educational Sciences
      • Arts and Humanities
      • Mathematics and Sciences
      • Computer Science
      • Educational Sciences
      • Culture and Social Sciences
      • Natural and Environmental Sciences
      • Psychology
    • Organization
      • Coronavirus Update
      • University management
      • Locations
      • Committees
      • Administration
      • Commissioners and Representations
      • Student self-administration
      • Job Vacancies
      • Online Services
    • Institutions
      • Academic
      • Academic Support
      • Young Researchers Support
      • Service
    • Central projects
      • Exist IV
      • Research Initiative "Wissen schafft Zukunft"
      • KLASSE
      • MoSAiK
      • Professorinnenprogramm
      • Profil³
      • Program budgets
      • URCforSR
      • Serior
  • Studies
    • Overview
    • Degree programs
      • Teacher training degree programs
      • Bachelor degree programs
      • Master's degree programs
      • International Master's degree programs
      • Academic continuing education & distance learning programs
      • Doctorates
    • Before Studying
      • Our degree programs
      • Application, admission and enrolment
      • Getting to know the university
      • Study Path Flyer
    • During Studying
      • First semester orientation
      • Qualification options
      • Course catalog (KLIPS)
      • A semester abroad
    • After Graduation
      • Doctorates
      • Continuing Education
      • Qualification Options
      • Entrepreneurial Office
      • Alumni
    • Service & Information
      • Dates & Deadlines
      • Grants and sponsorships
      • Study organization
      • Advisory services about studies
      • UniCard: FAQ & Photo Upload
      • Frequently asked questions (FAQs)
  • International
    • Overview
    • Why Uni KO-LD?
      • Activities and Events
      • International Cooperations
      • Refugees and Asylum Seekers
      • Internationalization
      • Projects
    • Students From Abroad
      • Exchange Students
      • Bachelor & Master Students
      • PhD Students
      • Scholarships and Prizes
      • Studienkolleg (Preparatory Course)
    • Researchers
      • ERASMUS + 2014-2020
      • Erasmus + mobility outside of Europe
      • International Guest Researchers
    • Support and Contact
      • Welcome Center
    • Students going Abroad
      • Information about staying abroad
      • Financial Support
      • Internships Abroad
  • Research
    • Overview
    • Research Profile
      • High Profile Area Learning
      • High Profile Area Society
      • High Profile Area Environment
      • Research Focuses
      • Project Profil³
    • Research Projects
      • DFG Projects
      • EU Projects
      • Other Projects
      • SciPort RLP
      • Funding Statistics
    • Funding Opportunities
      • EU and International
      • National
      • Private
      • Internal
      • Administrative Support
    • Young Scientists
      • PhD students
      • Structured PhD Programs
      • Post-Docs
      • Job Offers
    • Contact Us
      • Research Profile
      • Research Support Office
      • Young Scientists
  • Knowledge transfer
    • Overview
    • Knowledge transfer
  • LD
  • KO
Campus Koblenz / Faculty 4: Computer Science / Institute for Computer Science / Research Group Sofronie-Stokkermans / Team / Prof. Dr. Viorica Sofronie-Stokkermans
de
  • KO
  • LD
  • Research Group Sofronie-Stokkermans
  • Team
    • Prof. Dr. Viorica Sofronie-Stokkermans
    • Alexandra Felzen
    • Dennis Peuter
    • Lucas Böltz
  • Research
  • Projects
  • Open Positions
  • Publications
  • Conferences/Workshops
  • Summer Schools
  • Teaching
  • Theses
  • Contact
Info

Prof. Dr. Viorica Sofronie-Stokkermans

Head of working group Sofronie-Stokkermans
Contact
+49 0261 287-2780
sofronie at uni-koblenz.de
B 225
Homepage:
https://userpages.uni-koblenz.de/~sofronie/

 

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 2020
    • Promotionsausschuss: 2014-2017 und seit 2020
  • GI Vertrauensdozentin
  • GI Ansprechspartnerin (Universität Koblenz-Landau)


Lehre

 

  • Winter Semester 2021/2022
  • Vertiefung Theoretische Informatik
  • Decision Procedures for Verification
  • Formal Specification and Verification

 

  • Previous Semesters

 


Links

  • Research interests
  • Projects
  • Publications (DBLP)
  • Editorial Activities, Invited Speaker, PC Conferences

 

Functions

  • Institutsleiterin,  Institut für Informatik
  • Vorsitzende des Bibliotheksauschusses,  Fachbereich 4: Informatik
  • Head of working group Sofronie-Stokkermans
  • Mitglied im Promotionsauschuss,  Fachbereich 4: Informatik

External publication platforms

  • SciPort RLP

  • Legal notice
  • Privacy statement
  • Barrier-Free Access
  • Sitemap
  • Contact us
  • Press
  • Log in

Campus Koblenz
  • Office for Student Affairs
  • Degree Programs
  • Faculties
  • Dates & Deadlines
  • Mensa
  • Campus map
Campus Landau
  • Office for Student Affairs
  • Degree Programs
  • Faculties
  • Dates & Deadlines
  • Mensa
  • Campus map

Keine vorhandene Übersetzung

Leider existiert für diese Seite keine Übersetzung. Sie können entweder diese Nachricht schließen und damit auf dieser Seite bleiben oder sich die nächstübersetzte Elternseite anzeigen lassen.
Nächstübersetzte Elternseite