> Hello, world! I also supervise a research project in industry at Softwin (part-time). My scientific area is formal methods in software engineering. I currently investigate model-based testing using different techniques, with a special application domain in service-oriented architectures. This work was initiated during my post-doctoral time at SAP Research, Germany. In 2013, I am in the PC of the following events, which I warmly advertise: ECMFA'13, MODELSWARD'14, BCI'13, VALID'13. |

