Cássio Leonardo Rodrigues

Possui graduação em Ciência da Computação pela Universidade Federal de Goiás (1998), mestrado em Informática pela Universidade Federal de Campina Grande (2003) e doutorado em Ciência da Computação pela Universidade Federal de Campina Grande (2010). Atualmente é professor adjunto 2 da Universidade Federal de Goiás. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: teste de software, projeto de software e verificação funcional.

graduate at Ciência da Computação from Universidade Federal de Goiás (1998) and master's at Mestrado Em Informática from Universidade Federal de Campina Grande (2003). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: model checking, object oriented petri nets, ctl, algebraic specification and test.