Dependable Systems Group

Research Interests

  • Formal specification and verification of systems
  • Software quality
  • Combinatorial and algorithmic problems on sequential structure