Contributed talks
- Talk at Swansea departmental colloquium. Swansea, 23.02.2010. Property preserving development and testing for Csp-Casl.
- CS&P 2009, Krakow, 29.09.2009. Towards formal testing of jet engine Rolls-Royce BR725.
- BCTCS 2009, University of Warwick. Warwick, 6-9. 04.09. Property Verification of the electronic payment standard EP2 .
- Seminar talk at NYU, New York, March 4, 2009.
- Seminar talk at Stevens Institute of Technology New Jersey, March 2, 2009.
- Rolls-Royc,e Derby, 6.08.08. Testing a Jet Engine Starting System .
- CiE08. Athens (Greece), 18.06.08. Implementing Spi-Calculus using Nominal Techniques.
- WADT08. Pisa (Italy), 13.06.08. Refinement notions for CSP-CASL.
- BCTCS 2008. Durham(UK), 07.04.08 - 10.04.08. [Abstract]
- Invited talk at Leicester University - PhD Seminar: Theory and Application of Testing from CSP-CASL.
- SEFM 2007, London, 13.09.2007. Specification - based Testing for Refinement. 3.03.08
- BCTCS 2007, University of Oxford, 2-4 April. Formal Testing from CSP-CASL
- Department Hauptseminar, 14-02-07 and 21-02-07. Category Theory : Fibres [1st Talk] [2nd Talk]
- Algebraic Specification Seminar. 30-11-06. Towards semi automated equivalence checking of spi calculus.
Research activities
- Successfully defended Ph.D. thesis. May 7, 2010.
- Research visit to SiX Card Solutions. Hamburg, May 17-19, 2009.
- Research meeting in LRI-Orsay, hosted by M-C. Gaudel . Paris, May 22-27, 2009.
- Placement at Rolls-Royce in Derby. 01.07.08 - 30.08.08
- Research visit to Fraunhofer Institute FIRST in Berlin. 23.05.08 - 02.06.08.
- Research visit to Rolls-Royce. Derby - 01.04.08
- BCS conference: Formal-Lite RE . York - 19.09.07
- 5th IEEE International conference on Software Engineering and Formal Methods (SEFM 2007) - London. 11.09.07 - 14.09.07
- Research visit to Nominal Methods Group in Munich. 13.08.07 - 15.08.07
- NATO International Summer School in Marktoberdof. 31.07.07 - 12.08.07.
- Research visit to Fraunhofer Institute FIRST . 15.06.07 - 25.06.07.
