• Home

  • Publications

    1. Books
    2. Book Chapters
    3. Articles in Journals
    4. Papers in Proceedings
    5. Editorials
    6. Archive of Formal Proofs
    7. Technical Reports
    8. Miscellaneous
  • Presentations

  • Teaching

    1. Current
    2. Past
  • Curriculum Vitae

    1. Education
    2. Positions
    3. Publications
    4. Grants & Awards
    5. Professional Services
    6. Programme Committees
    7. Reviewing
    8. Conference & Workshop Organisation
    9. Student Supervision
    10. Presentations
  • Project Offers

    1. PhD
    2. Msc/Bsc/Hon
    3. Internships
  • Data

    1. RAMiCS '18
    2. iFM '18
    3. RAMiCS '15
    4. SEFM '15
    5. JLAMP (2015)
    6. RAMiCS '14
    7. FORMATS '13
    8. NFM '13
    9. WRiPE '12
    10. WRiPE '11
    11. Ph.D. thesis
    12. IJCAR '08
    13. RelMiCS '08
  • Contact