LogiCS
  • About
  • Groups
    • Algorithms and Complexity
    • Databases and Artificial Intelligence
    • Formal Methods in Systems Engineering
    • Knowledge-Based Systems
    • Security and Privacy
    • Theory and Logic
  • PhD
    • Doctoral Program (FWF) Logical Methods in Computer Science
    • Doctoral Program MSCA Cofund LogiCS@TUWien
  • Master’s
    • Master in Logic and Computation
  • VCLA
    • Vienna Center for Logic and Algorithms
  • Talks/News
  • Partners
    • Faculty of Informatics
    • Cyberphysical Systems Group
    • Computer Languages Group
    • Computational Logic Group
    • Kurt Gödel Society
    • Logic in Austria
    • National Research Network RiSE
  • Contact
  • Search

Roderick Bloem

Professor at Graz University of Technology
  • Head of the Formal Methods for Design & Verification Group
  • Speaker of the National Research Network “RiSE: Rigorous systems engineering“

Homepage
Publications

Data Protection Statement
Armin Biere Radu Grosu
Scroll to top