Flávio Gonçalves Fernandes

Mestre em Informática (2011) e Bacharel em Sistemas de Informação (2007) pela Pontifícia Universidade Católica de Minas Gerais (PUC MG). Desde 2003 atua na área de Desenvolvimento de Sistemas Web como Analista e Consultor. Trabalhou em projetos de pesquisa na área de Verificação Formal e Engenharia de Software. Além disso, possui experiência docente ministrando aulas de Algoritmos e Estrutura de Dados (AED), Projeto de Algoritmos (PA), Laboratório de Computação III e Trabalho de Conclusão de Curso.

Informações coletadas do Lattes em 11/10/2022

Acadêmico

Formação acadêmica

Mestrado em Informática

2010 - 2011

Pontifícia Universidade Católica de Minas Gerais, PUC Minas
Mark Alan Junho Song.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 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: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

Graduação em Sistemas de Informação

2003 - 2007

Pontifícia Universidade Católica de Minas Gerais, PUC Minas
Orientador: Pasteur Ottoni de Miranda Junior

Idiomas

Inglês

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

Espanhol

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

Português

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computaçã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: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computaçã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.

Participação em bancas

Aluno: Hélcio de Lima Aleixo Júnior

FERNANDES, F. G.; CARAM, J.. Análise comparativa entre as versões 4 e 5 da Hypertext Markup Language. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

Aluno: Michel La Guardia Lara de Castro

FERNANDES, F. G.; CARAM, J.; OLIVEIRA, E. C.. Projeto de localização de transporte universitário via web: Vá de Van. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

Aluno: Bruno Henrique Dias de Freitas

FERNANDES, Flávio G.; MIRANDA JUNIOR, P. O.; PAULA, Hugo Bastos de. Uma aplicação para Automatizar a Etapa de Pré-Processamento e Viabilizar a Extração de Regras de Associação em Bancos de Dados Geográficos. 2010. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

Aluno: Cristiene da Silva

MIRANDA JUNIOR, P. O.; SILVA, S. L.; FERNANDES, Flávio G.. Análise de um Processo de Desenvolvimento frente a Processos do Nível D do MPS.Br. 2010. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

Produções bibliográficas

FERNANDES, FLÁVIO ; SONG, MARK . UML-Checker: An Approach for Verifying UML Behavioral Diagrams. Journal of Software , v. 9, p. 1229-1236, 2014.
FERNANDES, Flávio Gonçalves ; SONG, Mark Alan Junho . Verification of UML Behavioral Diagrams using Symbolic Model Checking. In: IADIS Applied Computing, 2011, Rio de Janeiro. IADIS Applied Computing, 2011.
FERNANDES, Flávio Gonçalves ; SONG, Mark Alan Junho . Um arcabouço para verificação automática de modelos UML. In: I Workshop de Teses e Dissertações do CBSoft, 2011, São Paulo. Congresso Brasileiro de Software, 2011.

Prêmios

2008

Sun Certified Java Programmer 5.0, Sun Microsystems.

Histórico profissional

Experiência profissional

2012 - Atual

Fundação de Desenvolvimento da Pesquisa

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

2010 - 2011

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Mestrado, Carga horária: 25

Outras informações:
Disciplinas lecionadas: - Algoritmos e Estrutura de Dados, Projeto de Algoritmos, Laboratório de Computação III e Trabalho de Conclusão de Curso

2008 - 2011

Dynpro Sistemas

Vínculo: Pessoa Júridica, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Outras informações:
- Levantamento de requisitos. - Consultoria e desenvolvimento de sistemas em JAVA, plataforma JEE, Struts, Tiles, Hibernate, JSP s, TAGLIB s, JSTL s, Design Patterns, tais como MVC, Session Façade, Data Transfer Object e Business Object. - Teste unitário utilizando JUnit. - Banco de dados Oracle. - Gerenciamento de versões do sistema utilizando CVS. - Gerenciamento de atividade do sistema utilizando Bugzilla.

2008 - 2008

Dba Engenharia de Sistemas

Vínculo: Pessoa Jurídica, Enquadramento Funcional: Consultor, Carga horária: 40

Outras informações:
- Consultoria e desenvolvimento de sistemas em JAVA, plataforma JEE, Struts, Tiles, Hibernate, JSP s, TAGLIB s, JSTL s, Design Patterns, tais como MVC, Session Façade, Data Transfer Object e Business Object. Modelagem de aplicações com UML utilizando ferramentas da Rational. - Teste unitário utilizando JUnit. - Banco de dados Oracle. - Gerenciamento de versões do sistema utilizando CVS. - Gerenciamento de atividade do sistema utilizando Mantis.

2007 - 2008

Vetta Technologies

Vínculo: Pessoa Jurídica, Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 40

Outras informações:
- Levantamento de requisitos. - Engenharia reversa. - Desenvolvimento de sistemas em JAVA, plataforma JEE, utilizando Java Server Faces, Struts, Tiles, Hibernate, IBatis, Spring, Acegi Security, JSP s, TAGLIB s, JSTL s, Design Patterns, tais como MVC, Session Façade, Data Transfer Object e Business Object. Modelagem de aplicações com UML. - Participação no desenvolvimento de aplicações para o exterior.

2006 - 2007

LCC-CENAPAD

Vínculo: Pessoa Jurídica, Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 40

Outras informações:
- Desenvolvimento de sistemas em JAVA, plataforma JEE, utilizando Java Server Faces (JSF), Tiles, Hibernate, Spring, JSP s, TAGLIB s, JSTL s, Design Patterns, tais como MVC, Session Façade, Data Transfer Object e Business Object. Desenvolvimento de componentes JSF. Modelagem de aplicações com UML, utilizando a ferramenta JUDE. - Banco de dados MySQL, PostGreeSQL. - Gerenciamento de versões do sistema utilizando SVN. - Gerenciamento de atividade do sistema utilizando Mantis.

2005 - 2006

PD Case

Vínculo: Pessoa Jurídica, Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 40

Outras informações:
- Desenvolvimento de sistemas em JAVA, plataforma JEE, utilizando processo RUP, framework Oracle ADF, IDE Oracle JDeveloper, servidor OC4J, componentes open source como Java Server Faces, Struts, Tiles, Hibernate, JSP s, TAGLIB s, JSTL s, Design Patterns, tais como MVC, Session Façade, Data Transfer Object e Business Object. - Banco de dados Oracle. - Gerenciamento de versões do sistema utilizando CVS. - Gerenciamento de atividade do sistema utilizando Bugzilla.