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 orientada a objetos.

Informações coletadas do Lattes em 13/12/2025

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação

2000 - 2003

Universidade Federal de Pernambuco
Título: Modelagem e Análise de Objetos como Processos em CSP:Padrão de Projeto e Estudo de Caso
Orientador: Augusto César Alves Sampaio
, Ano de Obtenção: 2003.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Engenharia de Software; Linguagem de Especificação Orientada a Objetos; Métodos Formais; Prontuário Eletrônico (GEHR); Protocolos de Comunicação (Saúde); Verificação de Modelos (Sistemas Computacionais).

Especialização em Planejamento e Gestão Organizacional

1999 - 1999

Universidade de Pernambuco
Título: Espaço do Bebê
Orientador: Arandi Maciel Campelo

Graduação em Ciência da Computação

1988 - 1992

Universidade Federal de Pernambuco
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2022 - 2022

Noções básicas do Trabalho Remoto. (Carga horária: 10h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2022 - 2022

Ágil no contexto do serviço público. (Carga horária: 15h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2022 - 2022

Gestão de Equipes em Trabalho Remoto. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2021 - 2021

Curso de Inteligência Emocional. (Carga horária: 20h). , Centro de Formação dos Servidores do Estado de pernambuco, CEFOSPE, Brasil.

2020 - 2020

PROGRAMA DE FORMAÇÃO EM INOVAÇÃO PÚBLICA - EAD. (Carga horária: 34h). , Escola Fazendária, ESAFAZ, Brasil.

2020 - 2020

Comunicação Não Violenta nos meios digitais. (Carga horária: 3h). , Academia de Desenvolvimento Gino Terentim, GINO, Brasil.

2020 - 2020

Leadership in Decision Making. (Carga horária: 3h). , Academia de Desenvolvimento Gino Terentim, GINO, Brasil.

2019 - 2019

ETO ? Fundamentos para a Certificação Scrum.org ? PSPO I e PSM I + Cynefin. (Carga horária: 12h). , Academia de Desenvolvimento Gino Terentim, GINO, Brasil.

2019 - 2019

Excel Intermediário. (Carga horária: 20h). , Centro de Formação dos Servidores do Estado de pernambuco, CEFOSPE, Brasil.

2018 - 2018

CLF® ?Certified Lean Inception Facilitator®. (Carga horária: 8h). , Caroli.org, CAROLI, Brasil.

2014 - 2014

Curso de Introdução ao MPS-Serviços (C1-MPS-SV). (Carga horária: 16h). , Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.

2013 - 2013

Elaboração de Termos de Referência para Aquisição de Bens e Serviços. (Carga horária: 16h). , Escola de Contas Públicas, ECPBG, Brasil.

2009 - 2010

PMBOK. (Carga horária: 48h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2009 - 2009

Techniques Negotiation Seminary. (Carga horária: 16h). , Dale Carnigie Training, DALE CARNIGIE TR, Brasil.

2009 - 2009

Dale Carn Course:Effective Commu & Human relations. (Carga horária: 48h). , Dale Carnigie Training, DALE CARNIGIE TR, Brasil.

2009 - 2009

Leadership Training for Managers. (Carga horária: 28h). , Dale Carnigie Training, DALE CARNIGIE TR, Brasil.

2008 - 2008

Reutilização de Software(reuso). (Carga horária: 4h). , Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.

2008 - 2008

Gerência do Conhecimento. (Carga horária: 4h). , Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.

2008 - 2008

Curso de Aquisição do MPS.Br. (Carga horária: 16h). , Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.

2008 - 2008

Preparatório para Certificação de Teste de Softwar. (Carga horária: 32h). , Centro de Tecnologia de Software para Exportação do Recife, SOFTEX/RECIFE, Brasil.

2008 - 2008

Introduction to the Capability Maturity Model. (Carga horária: 24h). , Carnigie Mellon - Software Engineering Institute, SEI, Estados Unidos.

2008 - 2008

Formação de Multiplicadores de Treinamento. (Carga horária: 42h). , Secretaria de Administração, SAD, Brasil.

2008 - 2008

Automação Testes:Características,vantagens e limit. (Carga horária: 4h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

2008 - 2008

Introdução Níveis mais Altos de Maturidade do CMMI. (Carga horária: 4h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

2007 - 2007

Introd. ao MPS.BR Melhoria de Processo de Software. (Carga horária: 16h). , Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.

2007 - 2007

Curso de Introdução ao MPS.BR. , Sociedade para Promoção da Excelência do Software Brasileiro, SOFTEX, Brasil.

2007 - 2007

Aval. Processo de Soft:Fatores Críticos Sucesso. (Carga horária: 4h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

2006 - 2006

Métricas e Estimativas. (Carga horária: 40h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2006 - 2006

Gerência de Configuração de Software. (Carga horária: 20h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2005 - 2005

Introdução a Qualidade de Software. (Carga horária: 16h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2005 - 2005

Laboratório de Avaliação de Produto de Software. (Carga horária: 16h). , Laboratório de Avaliação de Produto de Software, LAPS, Brasil.

2005 - 2005

Processo de Análise de Código. (Carga horária: 4h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2005 - 2005

Sagent para Usuários. (Carga horária: 28h). , Escola Fazendária, ESAFAZ, Brasil.

2005 - 2005

Processo de Teste. (Carga horária: 12h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2005 - 2005

Análise de Projeto de Software Orientado a Objetos. (Carga horária: 24h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2005 - 2005

Fundamentos do Processo Unificado RUP. (Carga horária: 12h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2005 - 2005

Engenharia de Requisitos. (Carga horária: 2005h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.

2004 - 2004

ITIL Foundation. (Carga horária: 20h). , IT Partners, IT PARTNERS, Brasil.

2003 - 2003

Introdução ao CMM. (Carga horária: 8h). , Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.

2003 - 2003

Gerência de Configuração de Software. (Carga horária: 16h). , Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.

2003 - 2003

Garantia da Qualidade de Software. (Carga horária: 12h). , Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.

2003 - 2003

Melhoria de processos de Desenv. de Software. (Carga horária: 12h). , Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.

1999 - 1999

Modelagem e Desenvolvimento de Software OO. (Carga horária: 20h). , GROOP, GROOP, Brasil.

1996 - 1996

JAVA. (Carga horária: 60h). , Centro de Ensino em Tecnologia, CENES, Brasil.

1995 - 1995

Avançado II (Introd/Adm/Inst e Suporte de Redes. (Carga horária: 64h). , Teleinfo, TELEINFO, Brasil.

1995 - 1995

Atualização em Metodologia de Análise de Sistemas. (Carga horária: 66h). , Infonet Informática, INFONET, Brasil.

1994 - 1994

Redes Netware. (Carga horária: 30h). , Centro de Treinamento Origin Nordeste, ORIGIN, Brasil.

1993 - 1993

Clipper 5.01 Básico. (Carga horária: 18h). , Centro de Treinamento Origin Nordeste, ORIGIN, Brasil.

1992 - 1992

Adabas/Natural. (Carga horária: 18h). , Centro de Treinamento Origin Nordeste, ORIGIN, Brasil.

1985 - 1985

Programação em Linguagem Basic. (Carga horária: 50h). , Souza´s Computer Center, SOUZA, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Hebraico

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: QUALIDADE DE SOFTWARE.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Planejamento Estratégico.

Participação em eventos

SBQS ? XXI Simpósio Brasileiro de Qualidade de Software. 2022. (Simpósio).

Scrum Day Brazil - Online. 2022. (Encontro).

Agile Trends GOV 2021 - Online. 2021. (Congresso).

TDC Online 2020 - Trilha AGILE e AGILE COACHING. 2020. (Congresso).

TDC Online 2020 - Trilha DEVOPS. 2020. (Congresso).

TDC Online 2020 - Trilha GESTÂO ÀGIL. 2020. (Congresso).

TDC Online 2020 - Trilha KANBAN e LEAN. 2020. (Congresso).

Webinar Gestão de Projetos. 2020. (Encontro).

XV Congresso Brasileiro de Gestão, Projetos e Liderança CBGPL-ON. 2020. (Congresso).

1º Encontro dos Gestores de TI. 2019. (Encontro).

Agile Recife. 2019. (Encontro).

Agile Trends GOV Management 2019. 2019. (Congresso).

Agile Trends GOV Teams 2019. 2019. (Congresso).

Introdução à tecnologia de Blockchain. 2019. (Encontro).

SBQS ? XVIII Simpósio Brasileiro de Qualidade de Software. 2019. (Simpósio).

1º Encontro dos Gestores de TI. 2018. (Encontro).

2º Encontro dos Gestores de TI. 2018. (Encontro).

3º Encontro dos Gestores de TI de 2018. 2018. (Encontro).

Agile Trends GOV Teams 2018. 2018. (Congresso).

Inovation Meeting NE. 2018. (Encontro).

Workshop Better Meeting & Feedback. 2018. (Seminário).

Workshop PMO Ágil. 2018. (Oficina).

X Congresso Brasileiro de Gestão, Projetos e Liderança CBGPL-ON. 2018. (Congresso).

45º Seminário de TIC para a Gestão Pública. 2017. (Seminário).

5º Encontro dos Gestores de TI. 2017. (Encontro).

Agilidade Recife. 2017. (Seminário).

BPM Day Pernambuco. 2017. (Encontro).

Inovation Meeting NE. 2017. (Encontro).

XIX Congresso Brasileiro de Gestão, Projetos e Liderança CBGPL-ON. 2017. (Congresso).

6º Simpósio & Gestão de TI do Governo de Pernambuco. 2016. (Simpósio).

Agilidade Recife. 2016. (Seminário).

SBQS ? XV Simpósio Brasileiro de Qualidade de Software. 2016. (Congresso).

SBQS ? XIV Simpósio Brasileiro de Qualidade de Software. 2015. (Congresso).

42º Seminário de TIC para a Gestão Pública. 2014. (Seminário).

SBQS ? XIII Simpósio Brasileiro de Qualidade de Software. 2014. (Congresso).

Workshop de Indicadores e Métricas em TI. 2014. (Oficina).

41º Seminário de TIC para a Gestão Pública. 2013. (Seminário).

SBQS ? XII Simpósio Brasileiro de Qualidade de Software. 2013. (Congresso).

40 º Seminário Nacional de TIC para Gestão Pública. 2012. (Seminário).

SBQS ? XI Simpósio Brasileiro de Qualidade de Software. 2012. (Congresso).

SBQS ? X Simpósio Brasileiro de Qualidade de Software. 2011. (Congresso).

SBQS ? IX Simpósio Brasileiro de Qualidade de Software. 2010. (Congresso).

Simpósio Brasileiro de Métodos Formais.Formalisation and Analysis of Objects as CSP Processes. 2009. (Simpósio).

VII Simpósio Brasileiro de Qualidade de Software. 2008. (Simpósio).

Wokshop - Uso de SCRUM em Ambientes CMMI. 2008. (Seminário).

Mini Curso - Avaliação de Processo de Software: Fatores Críticos de Sucesso. 2007. (Outra).

VI Simpósio Brasileiro de Qualidade de Software. 2007. (Simpósio).

Mini-Curso: Modelagem de Conhecimento em Organizações através de Ontologias. 2001. (Outra).

Workshop de Informática Médica. 2001. (Outra).

Workshop de Métodos Formais. 2001. (Outra).

XV Simpósio Brasileiro de Engenharia de Software. 2001. (Simpósio).

II Seminário de Tecnologia da Informação em Saúde. 1999. (Seminário).

Seminário Internacional - Oportunidades de Negócios de Software na Europa. 1998. (Seminário).

IX Escola de Computação. 1994. (Outra).

Simpósio Brasileiro de Redes de Computadores. 1992. (Simpósio).

XXV Congresso Nacional de Informática. 1992. (Congresso).

Congresso de Interconexão de Sistemas Abertos OSI - BRISA. 1991. (Congresso).

I Simpósio de Automação de Escritórios. 1991. (Simpósio).

I Simpósio de Informática da Eduação do Nordeste. 1991. (Simpósio).

I Congresso de Informática do Nordeste. 1990. (Congresso).

Produções bibliográficas

MESEL KAUFMAN , R. E. ; Augusto Sampaio ; Alexandre Mota . Formalisation and Analysis of Objects as CSP Processes. In: Simpósio Brasileiro de Métodos Formais, 2009, Gramado. Formal Methods: Foundations and Applications In SBMF. Berlin: Springer, 2009. v. 5902. p. 236-250.

Histórico profissional

Endereço profissional

Secretaria da Fazenda de Pernambuco, STI - Superintendência de Tecnologia da Informação. , Rua Dantas Barreto , 1186 - 5o Andar, São José, 50020904 - Recife, PE - Brasil, Telefone: (081) 31836766, Ramal: 6766

Experiência profissional

2008 - Atual

Secretaria da Fazenda de Pernambuco

Vínculo: Cargo Comissionado, Enquadramento Funcional: Gerente de Planejamento e Qualidade, Carga horária: 40

2007 - Atual

Agência Estadual de Tecnologia da Informação

Vínculo: Servidor Público, Enquadramento Funcional: Analista Consultor de TIC, Carga horária: 40

Atividades

09/2009 - 09/2009
Treinamentos ministrados , Gerência de Planejamento e Qualidade (Sefaz).Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Modelagem de Negócio, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Ambiente, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
07/2009 - 07/2009
Treinamentos ministrados , Gerência de Planejamento e Qualidade (Sefaz).Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Modelagem de Negócio, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Ambiente, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
05/2009 - 05/2009
Treinamentos ministrados , Gerência de Planejamento e Qualidade (Sefaz).Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Modelagem de Negócio (2 turmas), Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Ambiente (2 turmas), Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos (2 turmas)
05/2008 - 05/2008
Treinamentos ministrados , Gerência de Planejamento e Qualidade (Sefaz).Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Implementação, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Modelagem de Negócio, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Ambiente, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
04/2008 - 04/2008
Treinamentos ministrados , Gerência de Planejamento e Qualidade (Sefaz).Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Implementação, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Modelagem de Negócio, Metodologia de Desenvolvimento de Sistemas da Fazenda - Disciplina Ambiente, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos (2 turmas)

2005 - 2007

Pitang Consultoria S/A

Vínculo: Celetista, Enquadramento Funcional: Analista Consultor, Carga horária: 40

Atividades

01/2007
Serviços técnicos especializados , Qualidade (Sefaz).Serviço realizado, Acompanhamento das seguintes atividades: Refinamento do processo de Mudança; Elaboração do processo de capacitação; Realização de Testes de Performance; Análise de código;Realização do Treinamento na MDS.
08/2007 - 08/2007
Treinamentos ministrados , Gerência de Planejameno e Qualidade (Sefaz) - PE.Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos (2 turmas)
07/2007 - 07/2007
Treinamentos ministrados , Gerência de Planejameno e Qualidade (Sefaz) - PE.Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
06/2007 - 06/2007
Treinamentos ministrados , Gerência de Planejameno e Qualidade (Sefaz) - PE.Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
05/2007 - 05/2007
Treinamentos ministrados , Gerência de Planejameno e Qualidade (Sefaz) - PE.Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
04/2007 - 04/2007
Treinamentos ministrados , Gerência de Planejameno e Qualidade (Sefaz) - PE.Treinamentos ministrados, Metodologia de Desenvolvimento de Sistemas da Fazenda - Introdução e Conceitos
11/2005 - 12/2006
Serviços técnicos especializados , Qualidade (Sefaz).Serviço realizado, Melhorias na Metodologia de Desenvolvimento de Sistemas; Elaboração do processo de mudança; Acompanhamento do uso da MDS.

2004 - 2004

Faculdade Marista

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

02/2004 - 05/2004
Serviços técnicos especializados , Curso de Webdesign.Serviço realizado, Ministrei a disciplina de Hipertexto e Hipermídia do Curso de WebDesign.

2003 - 2005

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Celetista, Enquadramento Funcional: Analista Negócio, Carga horária: 40

Atividades

01/2005 - 10/2005
Serviços técnicos especializados , Qualidade (Sefaz).Serviço realizado, Refinamento da MDS; Acompanhamento do mentoring dos processos de Teste e Análise de Código realizados pela Qualiti; Acompanhamento do mentoring dos testes de Performance em dois sistemas realizados pela Qualiti.
11/2003 - 12/2004
Serviços técnicos especializados , Qualidade (Sefaz).Serviço realizado, Elaboração da Metodologia de Desenvolvimento de Sistemas (MDS); Elaboração dos Processos Gerência de Configuração, Gerência de Requisitos, Garantia da Qualidade, Planejamento e Acompanhamento de Projetos e Métricas.

1996 - 2000

In Forma software

Vínculo: Colaborador, Enquadramento Funcional: Líder de Projeto, Carga horária: 40

Atividades

02/2000 - 06/2000
Serviços técnicos especializados , Desenvolvimwento de Sistemas.Serviço realizado, Gerência de Projeto, análise e programação dos módulos do Sistema Laboratorial de Meio Ambiente.
04/1997 - 01/2000
Serviços técnicos especializados , Desenvolvimwento de Sistemas.Serviço realizado, Gerência de Projeto, análise e programação dos módulos do Sistema Laboratorial de Análise Clínica.
10/1996 - 03/1997
Serviços técnicos especializados , Desenvolvimwento de Sistemas.Serviço realizado, Análise e Desenvolvimento de Sistemas de Imobiliária.
07/1996 - 09/1996
Serviços técnicos especializados , Desenvolvimwento de Sistemas.Serviço realizado, Análise e Desenvolvimento de Sistemas de Gestão Comercial.

1992 - 1996

ORIGIN C&P Participações LTDA

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

03/1994 - 05/1996
Serviços técnicos especializados , Desenvolvimento de Sistemas.Serviço realizado, Analista de Sistemas ? Análise e Desenvolvimento de Sistemas Comercial e de Roteirização.
01/1993 - 02/1994
Serviços técnicos especializados , Desenvolvimento de Sistemas.Serviço realizado, Programadora ? Desenvolvimento e manutenção do Sistema de Gestão Industrial.
04/1992 - 12/1992
Serviços técnicos especializados , Desenvolvimento de Sistemas.Serviço realizado, Estagiária ? Manutenção do Sistema de Gestão comercial.