Fernando Augusto Fernandes Braz

  • Endereço para acessar este CV: http://lattes.cnpq.br/5498020313280469
  • Última atualização do currículo em 29/08/2015


Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (2010) e mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2013). Tem experiência na área de Ciência da Computação, com ênfase em Verificação Formal, atuando principalmente nos seguintes temas: verificação de modelos probabilísticos e biologia sistêmica. (Texto informado pelo autor)


Identificação


Nome
Fernando Augusto Fernandes Braz
Nome em citações bibliográficas
BRAZ, F.;BRAZ, FERNANDO A.F.;BRAZ, FERNANDO AF

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas.
Av. Antônio Carlos, 6627, Laboratório de Universalização do Acesso (Sala 3003)
Pampulha
30123-970 - Belo Horizonte, MG - Brasil


Formação acadêmica/titulação


2011 - 2013
Mestrado em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Probabilistic Model Checking for Modeling and Analysis of Toxins Interactions with Transmembrane Ionic Transport Systems,Ano de Obtenção: 2013.
Orientador: Sérgio Vale Aguiar Campos.
Coorientador: Alessandra Conceição Faria-Campos.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Palavras-chave: Verificação de Modelos; Biologia Sistêmica; Bomba de sódio e potássio; Palitoxina.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Verificação Formal.
2006 - 2010
Graduação em Ciência da Computação.
Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Título: Definição e avaliação de métricas para solucionadores SAT.
Orientador: Mark Alan Junho Song.
2002 - 2004
Curso técnico/profissionalizante.
Colégio Técnico de Minas Gerais.




Formação Complementar


2012 - 2012
FORMAÇÃO EM DOCÊNCIA DO ENSINO SUPERIOR. (Carga horária: 40h).
GIZ.


Atuação Profissional



Fundação para Inovações Tecnológicas, FITEC, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Funcionário, Enquadramento Funcional: Especialista em Desenvolvimento de SW Jr., Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Atuação como colaborador no cliente Empresa1, que atua no ramo de bilhetagem eletrônica. Desenvolvimento e manutenção da família de softwares SIGOM da Empresa1, que abrangem diversas tecnologias e metodologias, e possuem regras de negócio muito específicas. Java (J2SE e J2EE), Servlets, JSP, JSF, GWT, JavaScript, XML, HTML, CSS e C++ Builder

Vínculo institucional

2010 - 2010
Vínculo: Estagiário, Enquadramento Funcional: Especialista em Desenvolvimento de SW Jr., Carga horária: 30
Outras informações
Desenvolvimento de softwares envolvendo todas as atividades do ciclo de vida: especificação de requisitos, análise, projeto, codificação, testes unitários e testes de sistemas. Estudos, implantação e manutenção de ferramentas de suporte ao desenvolvimento de software. Java (J2SE e J2EE), GWT, JavaScript, XML, HTML, CSS


Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.
Vínculo institucional

2008 - 2010
Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Bolsista Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Verificação Formal.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Satisfabilidade Booleana.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Biologia Sistêmica.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Espanhol
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
HANKE, LUCAS AF2014HANKE, LUCAS AF ; BOTELHO, CRISTIANO S ; BRAZ, FERNANDO AF ; BATISTA, PAULO HS ; FOLGUERAS-FLATSCHART, AUREA V ; NODA, ROBERTO W ; CARNEIRO, ANDREA A ; FARIA-CAMPOS, ALESSANDRA C ; CAMPOS, SÉRGIO VA . FluxTransgenics: a flexible LIMS-based tool for management of plant transformation experimental data. Plant Methods, v. 10, p. 20, 2014.

2.
BRAZ, FERNANDO A.F.2013 BRAZ, FERNANDO A.F.; CRUZ, JADER S. ; FARIA-CAMPOS, ALESSANDRA C. ; CAMPOS, SERGIO V.A. . Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print), v. 10, p. 1530-1541, 2013.

Capítulos de livros publicados
1.
BRAZ, F.. Estudo de Problemas de Satisfabilidade e BDD's para Geração de Solucionadores. Cláudia de Vilhena Schayer Sabino;Wolney Lobato;João Francisco de Abreu. (Org.). XVI Seminário de Iniciação Científica. Belo Horizonte: PUC Minas. 1ed.: , 2008, v. 1, p. 105-106.

Trabalhos completos publicados em anais de congressos
1.
FERREIRA, B. ; BRAZ, FERNANDO A.F. ; CAMPOS, SERGIO V.A. ; LOUREIRO, A. A. . A Probabilistic Model Checking Analysis of Vehicular Adhoc Networks. In: IEEE 81st Vehicular Technology Conference VTC-Spring, 2015, Glasgow, Scotland. Proceedings of the 81st Vehicular Technology Conference, 2015.

2.
FERREIRA, B. ; CUNHA, F. ; MINI, R. A. F. ; LOUREIRO, A. A. ; BRAZ, FERNANDO A.F. ; CAMPOS, SERGIO V.A. . Intelligent Service to Perform Overtaking in Vehicular Networks. In: IEEE 20th Symposium on Computers and Communications ISCC 2015, 2015, Larnaca, Cyprus. Proceedings of the IEEE 20th Symposium on Computers and Communications, 2015.

3.
FERREIRA, B. ; BRAZ, F. ; CAMPOS, S. V. A. . A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. In: Simpósio Brasileiro de Métodos Formais, 2014, Maceió. Formal Methods: Foundations and Applications, 2014.

4.
OLIVEIRA, D. B. ; BRAZ, F. ; FERREIRA, B. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST). In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Advances in Bioinformatics and Computational Biology, 2014. v. 8826. p. 65-72.

5.
BRAZ, F.; AMARAL, J. ; FERREIRA, B. ; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex. In: Brazilian Symposium on Bioinformatics, 2013, Recife. Lecture Notes in Computer Science, 2013. v. 8213. p. 181-193.

6.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. In: Brazilian Symposium on Bioinformatics (BSB 2012), 2012, Campo Grande. Brazilian Symposium on Bioinformatics (BSB 2012), 2012.

7.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Palytoxin Inhibits the Sodium-Potassium Pump An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Formal Methods: Foundations and Applications. Berlin Heidelberg: Springer, 2012. v. 7498. p. 35-50.

Resumos expandidos publicados em anais de congressos
1.
MENEZES, P. M. A. ; BRAZ, F. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Implementação de uma Arquitetura baseada em Serviços em Sistemas de Gerenciamento de Informações Laboratoriais de Próxima Geração. In: I Workshop de Iniciação Científica em Sistemas de Informação, 2014, Londrina. I Workshop de Iniciação Científica em Sistemas de Informação, 2014.

2.
FERREIRA, B. ; BRAZ, FERNANDO A.F. ; CAMPOS, SERGIO V.A. . A Probabilistic Model Checking Approach to Investigate Vehicular Networks. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Formal Methods: Foundations and Applications, 2012. v. 7498.

3.
BRAZ, F.. Novas Perspectivas no Contexto da Arquitetura de Computadores - Softwares Educacionais para o Paradigma da Computação Paralela. In: Workshop sobre Educação em Arquitetura de Computadores WEAC 2009 (em conjunto com SBAC-PAD 2009 e WSCAD 2009)., 2009, São Paulo. Workshop sobre Educação em Arquitetura de Computadores, 2009., 2009.

Resumos publicados em anais de congressos
1.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Model and Analysis of Palytoxin Interactions with Sodium-Potassium Pump Using Probabilistic Model Checking. In: Simpósio Brasileiro de Eletrofisiologia Celular, 2012, Belo Horizonte. Simpósio Brasileiro de Eletrofisiologia Celular, 2012.

2.
BRAZ, F.; CAMPOS, S. V. A. ; FARIA-CAMPOS, A. C. . Analyzing Palytoxin Interactions with Na+/K+-ATPase Using Probabilistic Model Checking. In: X-Meeting 2011, 2011, Florianópolis. X-MEETING 2011 ABSTRACT BOOK, 2011.

Apresentações de Trabalho
1.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. 2012. (Apresentação de Trabalho/Simpósio).

2.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Model and Analysis of Palytoxin Interactions with Sodium-Potassium Pump Using Probabilistic Model Checking. 2012. (Apresentação de Trabalho/Simpósio).

3.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Uso de Verificação Probabilística de Modelos na Modelagem e Análise de Interações de Fármacos e Toxinas com Sistemas de Transporte de Íons em Membranas Celulares . 2012. (Apresentação de Trabalho/Seminário).

4.
BRAZ, F.; CRUZ, J. S. ; FARIA-CAMPOS, A. C. ; CAMPOS, S. V. A. . Palytoxin Inhibits the Sodium-Potassium Pump An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. 2012. (Apresentação de Trabalho/Congresso).

5.
BRAZ, F.; CAMPOS, S. V. A. ; FARIA-CAMPOS, A. C. . Analyzing Palytoxin Interactions with Na+/K+-ATPase Using Probabilistic Model Checking. 2011. (Apresentação de Trabalho/Conferência ou palestra).

6.
BRAZ, F.. Estudo de Problemas de Satisfabilidade e BDD's para Geração de Solucionadores. 2008. (Apresentação de Trabalho/Seminário).



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Bioinformatics (BSB 2012).A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. 2012. (Simpósio).

2.
Congresso Brasileiro de Software: Teoria e Prática. 2012. (Congresso).

3.
Semana de Seminários do PPGCC.Uso de Verificação Probabilística de Modelos na Modelagem e Análise de Interações de Fármacos e Toxinas com Sistemas de Transporte de Íons em Membranas Celulares . 2012. (Seminário).

4.
Simpósio Brasileiro de Eletrofisiologia Celular.Model and Analysis of Palytoxin Interactions with Sodium-Potassium Pump Using Probabilistic Model Checking. 2012. (Simpósio).

5.
Simpósio Brasileiro de Métodos Formais. Palytoxin Inhibits the Sodium-Potassium Pump An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. 2012. (Congresso).

6.
X-Meeting 2011. Analyzing Palytoxin Interactions with Na+/K+-ATPase Using Probabilistic Model Checking. 2011. (Congresso).

7.
XVI Seminário de Iniciação Científica.Estudo de Problemas de Satisfabilidade e BDD's para Geração de Solucionadores. 2008. (Seminário).




Página gerada pelo Sistema Currículo Lattes em 18/11/2018 às 22:44:34