Arianna Zoila Olivera Salmon

Graduada em Ciência da Computação pela Universidade de Oriente (2003) , mestrado em Informatica educativa pela Universidade de Oriente (2009) e doutorado em Engenharia de Automação e controle pela Escola Politécnica da Universidade de São Paulo (2017). Foi professora substituta da Universidade Federal de Pernambuco (2016-2018). Atualmente é arquiteta de Software na empresa Outsystems. Interesses de pesquisa em: análise de requisitos, métodos formais para verificação , modelagem formal, rede de Petri, modelagem e análise de sistemas complexos. sistemas agíeis.

bachelor's at Ciencia da Computação from Universidad del Oriente Cuba (2003) and master's at Informática Educativa from Universidad del Oriente Cuba (2009). Has experience in Computer Science, focusing on Computer Science