WWU Münster
Embedded Systems
Computer Science Department
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • Home
  • Team
  • Research
  • Teaching
  • Theses
  • Studienberatung
  • Home
    • Team
      • Dr. Raúl E. Monti
  • Prof. Dr. Paula Herber
  • Julia Kaiser-Mariani
  • Timm Liebrenz, M.Sc.
  • Julius Adelt, M.Sc.
  • Jonas Becker, M.Sc.
  • Dr. Raúl E. Monti
  • Philip Ben Heinrich Tasche, M.Sc.
  • Ulrike Witteck, M.Sc.

Dr. Raúl E. Monti

r.e.monti@utwente.nl

Formal Methods and Tools Group, University of Twente
Senior Researcher in the SAVES project, a WWU-UT collaboration

Research Interests:

  • Critical Software Verification with VerCors
  • Formal Verification of integrated Hardware/Software Systems

    Top of page

    Contact

    University of Münster
    AG Herber

    Einsteinstraße 62
    48149 Münster

    Tel: +49 251 8332740
    Fax: +49 251 8332742
    paula.herber@uni-muenster.de
     
    living.knowledge
    • Index
    • Site Map
    • Legal Disclosure
    • Privacy Statement
    • Accessibility

    © 2022 AG Herber: Embedded Systems