Assistant Professor (email)
Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).
I've just presented our tool Echo at ASE'13.
Our tool demo of Echo has been accepted at the IEEE/ACM International Conference on Automated Software Engineering (ASE).