Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Masarykova Univerzita
Fakulta informatiky
Katedra teorie programování

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

602 00 Brno

Projects

Research Grants
- Current projects
  - Group-by Objectives in Probabilistic Verification
    (Applicant Esparza, Javier )
- Completed projects
  - On the expressive power of monadic second-order logic
    (Applicant Blumensath, Achim )
  - Statistical Unbounded Verification
    (Applicant Kretinsky, Ph.D., Jan )
  - Strukturelle Graphtheorie und parametrisierte Komplexität
    (Applicant Rossmanith, Peter )
  - Verified Model Checkers
    (Applicants Kretinsky, Ph.D., Jan ; Lammich, Peter )
  - Visual Analysis of Protein-Ligand Interactions
    (Applicants Krone, Michael ; Ropinski, Timo )
Research Training Groups
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Spokesperson Beyer, Dirk )

© 2024 DFG Disclaimer / Copyright / Privacy Policy