Leonardo José Simões de Freitas

bachelor's at Ciência da Computação from Universidade Salvador (2000), master's at Computer Science from Universidade Federal de Pernambuco (2002) and doctorate at PhD Computer Science from University of York (2005). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: csp, concurrency, animation, action semantics and process algebra.

possui doutorado em Ciência da Computação pela University of York na Inglaterra (2005), e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (UFPE) em 2002. Tem experiência de Engenharia de Software com enfase em métodos formais, atuando principalmente nos seguintes temas: Z, model checking, csp, theorem proving, concurrency, e process algebra. Trabalhou como senior researcher na Universidade de York (2006-2010) com Prof. Jim Woodcock, e em Newcastle (2010-2012) com Prof. Cliff Jones. Atualmente trabalha como Lecturer in Formal Methods and Tools em Newcastle University (2012-)