Rodrigo Nonamor Pereira Mariano de Souza

Possui graduação em Ciência da Computação pela Universidade de São Paulo (2000), mestrado em Ciência da Computação pela Universidade de São Paulo (2004) e doutorado em Ciência da Computação pela TELECOM ParisTech em Paris (2008). Sua área de atuação é Teoria dos Autômatos.

graduate at from Universidade de São Paulo (2000), master's at Ciência da Computação from Universidade de São Paulo (2004) and ph.d. at Ciência da Computação from Ecole Nationale Superieure des Telecommunications (2008). , acting on the following subjects: transdutor k-valorado, decidabilidade and equivalência.