Ulrich Ultes-Nitsche - Research

Research Interests

  • Dependability
    • Automata Theory
    • Temporal Logics
    • Verification
    • Formal Methods
  • Security
    • Cryptographic Protocols
    • Security Models

Research Funding

Current

  • two PhD projects on Büchi/Muller automata, determinacy, complementation, Kleene algebra
  • one postdoc project to be filled

Completed

Swiss National Science Foundation

  • Properties of k-counting Automata
  • E.PROVE+
  • E.PROVE
  • VeriNec
  • VeriNec(2)

Hasler Foundation

  • SwissVote (together with BFH)
  • E.PROVE(2)

Swiss Virtual Campus