Maria Teresa Llano Rodriguez

 
 

I am a third year PhD student at Heriot-Watt University in the Dependable Systems Group working under the supervision of Prof. Andrew Ireland and Prof. Rob Pooley and with the collaboration of Dr. Gudmund Grov.  My work is mainly focused on the use of automated reasoning techniques for the evolution of systems modelled with Event-B languages.  My PhD thesis is part of the SEAR Project.

 

PhD Student in Computing

Heriot-Watt University

School of Mathematical and Computer Sciences

Riccarton Campus, Edinburgh EH14 4AS

G59 Mountbatten Building

mtl4@hw.ac.uk

Tel:  +44 (0)131 451 4174

Fax: +44 (0)131 451 3327


Research Interests

  1. •Formal approaches to software engineering.

  2. •Refinement techniques.

  3. •Specification and verification of UML models.

  4. •UML design patterns and anti-patterns.


Useful links

  1. •Event-B and Rodin

  2. •Event-B Wiki

  3. •UML-B Wiki

  4. •Dependable Systems Group

  5. •Heriot-Watt University

Research