• No results
Quick Links
  • University
    • Studies
    • Campus
    • Research
    • University
    • Continuing education
  • Faculties
    • Theology
    • Law
    • Management, Economics and Social sciences
    • Humanities
    • Education
    • Science and Medicine
    • Interfaculty
  • You are
    • Prospective students
    • Students
    • Medias
    • Researchers
    • Employees
    • PhD students
  • Ressources
    • Directory
    • Maps/Orientation
    • Libraries
    • Webmail
    • Course catalogue
    • MyUnifr
  • EN
  • Interfaculty Interfaculty
  • Informatics Informatics
  • Foundations of Dependable Systems Group Foundations of Dependable Systems Group
  • No results
EN
  • EN

University of FribourgLogo Unifr

Foundations of Dependable Systems Group

  • Home
  • Group
    • Back
    • Profile
    • Team
      • Back
      • Ulrich Ultes-Nitsche
    • Contact
  • Teaching
    • Back
    • Bachelor courses
    • Master courses
    • Theses
  • Research
    • Back
    • Research topics
      • Back
      • Automata Theory
      • Model Checking
      • Automated Theorem Proving
    • Projects
      • Back
      • Analyzing Büchi Automata with Graph Neural Networks
      • Verification of programs written in assembly language using automated theorem provers

Foundations of Dependable Systems (ΦΔΣ)

We are interested in the formal foundations required for the development of dependable systems, i.e. systems whose failure would be catastrophic. 

Our team

Discover who we are

Our research topics

Discover what we work on

GROUP
  • Profile
  • Team
  • Contact
TEACHING
  • Bachelor courses
  • Master courses
  • Theses
RESEARCH
  • Research topics
  • Projects
Contact

University of Fribourg

Foundations of Dependable Systems Group

Boulevard de Pérolles 90

CH-1700 Fribourg

diuf-secr@unifr.ch

www.unifr.ch/inf

© University of Fribourg | Impressum | Legal Notice | Emergency numbers