About
I am researching towards a PhD at the Department of Computer Science - Swansea University. I am member of the research group Process and Data.
Research interests
- Formal software development.
- Refinement notions for the specification language CSP-CASL.
- Specification based formal testing.
- Software verification by means of theorem proving and model checking.
- Verification of security protocols.
