Software Engineer
PhD MSc BSc School Professional
Current 2012-2013 2008-2012 2007-2008 2006-2007 1997-2004 1995-1997 1992-1995 1986-1988
Programming Languages Operating Systems Theorem Provers Formal Methods