Renata Elaine Mesel Kaufman

Possui graduação e mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (1992 e 2003, respectivamente) e especialização em Planejamento e Gestão Organizacional pela Universidade de Pernambuco (1999), e mais de 10 cursos de curta duração em temas relacionados à qualidade de software e gestão da informação. É Analista em Gestão de TIC da Agência Estadual de Tecnologia da Informação (ATI) desde 2007 e gerencia a área de Governança e Estratégia de TI da Secretaria da Fazenda de Pernambuco. Tem experiência anterior em análise de sistemas e engenharia de software, e liderou diversas revisões metodológicas do Processo de Software da SEFAZ-PE, para aumentar a produtividade das equipes próprias e terceirizadas e para garantir qualidade dos sistemas fazendários. Atua principalmente nos seguintes temas: metodologias, planejamento estratégico, OKR, gerência de projetos, métodos ágeis, métodos formais, verificação de modelos e linguagem de especificação orientadaaobjetos.

graduate at Ciência da Computação from Universidade Federal de Pernambuco (1992) and master's at Computer Science from Universidade Federal de Pernambuco (2003). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: métodos formais, verificação de modelos and linguagem de especificação orientada a objetos.