M.Sc. in Computer Science:Start date:8/14/2004Finish date:5/11/2008
Ph.D. in Computer Science:Ftart date:8/14/2004Finish date:5/13/2011
Formal-analysis methods, model-based design