Possui graduação em Processamento de Dados pela Universidade Federal da Bahia (1981), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1986) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1997). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente nos seguintes temas: especificação formal, verificação de modelos, transformação de modelos.
Doutor em Letras e Linguística pela Universidade Federal da Bahia (2001) e pós-doutor pela Université Paris 8 (2004). Atualmente é professor pleno da Universidade do Estado da Bahia
Doutora em Letras e Linguística pela Universidade Federal da Bahia (2009). Atualmente é professora da Universidade do Estado da Bahia (UNEB)
Últimos Tweets
