Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Masarykova Univerzita
Fakulta informatiky
Katedra teorie programování

Adresse Botanická 554/68a
602 00 Brno
Tschechische Republik

602 00 Brno

Projekte

Sachbeihilfen
- laufende Projekte
  - Group-by-Ziele bei der probabilistichen Verifikation
    (Antragsteller Esparza, Javier )
- abgeschlossene Projekte
  - Statistische unbegrenzte Überprüfung
    (Antragsteller Kretinsky, Ph.D., Jan )
  - Strukturelle Graphtheorie und parametrisierte Komplexität
    (Antragsteller Rossmanith, Peter )
  - Verifizierte Model Checker
    (Antragsteller Kretinsky, Ph.D., Jan ; Lammich, Peter )
  - Visuelle Analyse von Protein-Ligand Interaktionen
    (Antragsteller Krone, Michael ; Ropinski, Timo )
  - Zur Ausdrucksstärke monadischer Logik zweiter Stufe
    (Antragsteller Blumensath, Achim )
Graduiertenkollegs
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Sprecher Beyer, Dirk )

© 2024 DFG Kontakt / Impressum / Datenschutz