Researcher in the area of Formal Methods.