Assistant Professor (email)
Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE).