Emerson Correia Freitas Lima
Mestre em Modelagem Computacional pelo Laboratório Nacional de Computação Científica (2017), Bacharel em Ciência da Computação pela Universidade Estadual do Ceará (2015), Técnico em Informática Industrial (2010) pelo Instituto Federal de Educação, Ciência e Tecnologia do Ceará. Atua como Analista de Tecnologia da Informação na Universidade Federal do Rio de Janeiro desde 2019. Possui experiência na área de Ciência da Computação, com ênfase em Aprendizado de Màquina, Algoritmos Populacionais de Busca, Computação de Alto Desempenho e Modelagem de Softtware.
Informações coletadas do Lattes em 08/09/2025
Acadêmico
Formação acadêmica
Doutorado interrompido em 2021 em Modelagem Computacional
2017 - Atual
Laboratório Nacional de Computação Científica
Laurent Emmanuel Dardenne. Coorientador: Fábio Lima Custódio. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Ano de interrupção: 2021
Mestrado em Modelagem Computacional
2015 - 2017
Laboratório Nacional de Computação Científica
Título: Uso de aprendizado de máquinas para classificação de modelos preditos de proteínas, Ano de Obtenção: 2017
Fábio Lima Custódio.Coorientador: Laurent Emmanuel Dardenne. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraSetores de atividade: Outras atividades profissionais, científicas e técnicas.
Graduação em Ciência da Computação
2010 - 2015
Universidade Estadual do Ceará
Título: ALGORITMO GENÉTICO PARA DESIMUNIZAÇÃO DE PROTEÍNAS TERAPÊUTICAS
Orientador: Raphael Trevizani
Formação complementar
2017 - 2017
Fundamentos de Probabilidade. (Carga horária: 2h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2017 - 2017
Fundamentos de Estatística Clássica. (Carga horária: 2h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2017 - 2017
Introdução à Gestão de Projetos. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.
2017 - 2017
Método Lógico para Redação Científica. (Carga horária: 8h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2016 - 2016
Fundamentos de Inferência Bayesiana. (Carga horária: 2h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2016 - 2016
Predição de Estruturas de Proteínas Free Modelling. (Carga horária: 12h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2016 - 2016
Predição de Estruturas de Proteínas: Modelagem Comparativa e Free Modelling. (Carga horária: 6h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2016 - 2016
Métodos de Aprendizagem de Máquina: Teoria e Prática. (Carga horária: 6h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.
2010 - 2010
Extensão universitária em Introdução a Análise e Design Orientado a Objetos. (Carga horária: 40h). , Universidade de Fortaleza, UNIFOR, Brasil.
2007 - 2008
Tecnologias Computacionais. (Carga horária: 200h). , Centro Federal de Educação Tecnológica do Ceará, CEFET, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Participação em eventos
Khipu Latin American Meeting in Artificial Intelligence. 2019. (Outra).
IEEE World Congress on Computational Intelligence. Estimating Protein Structure Prediction Models Quality Using Convolutional Neural Networks. 2018. (Congresso).
VIII Escola de Modelagem Molecular em Sistemas Biológicos. 2016. (Congresso).
VIII Escola de Modelagem Molecular em Sistemas Biológicos. 2016. (Encontro).
XVIII Semana Universitária da Universidade Estadual do Ceará.LOTUS: UMA FERRAMENTA PARA MODELAGEM GRÁFICA DE COMPORTAMENTO DE SISTEMAS UTILIZANDO LTS. 2014. (Encontro).
Orientou
Desenvolvimento de um Sistema Web para Videomonitoramento em Nuvem; 2021; Trabalho de Conclusão de Curso; (Graduação em Tecnologias da Informação e Comunicação) - Fundação de Apoio à Escola Técnica do Estado do Rio de Janeiro; Orientador: Emerson Correia Freitas Lima;
Desenvolvimento de Interface de Usuário para uma Aplicação Web de Biblioteca Acadêmica; 2020; Trabalho de Conclusão de Curso; (Graduação em Tecnologias da Informação e Comunicação) - Fundação de Apoio à Escola Técnica do Estado do Rio de Janeiro; Orientador: Emerson Correia Freitas Lima;
Produções bibliográficas
-
CORREIA, E. ; BARBOSA, B. ; VIEIRA, L. ; JESUINO, R. ; FILHO, M. ; MAIA, P. H. M. . LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS. REVISTA ELETRÔNICA DE INICIAÇÃO CIENTÍFICA , v. 15, p. 41-63, 2017.
-
LIMA, EMERSON CORREIA ; CUSTODIO, FABIO LIMA ; ROCHA, GREGORIO KAPPAUN ; DARDENNE, LAURENT E. . Estimating Protein Structure Prediction Models Quality Using Convolutional Neural Networks. In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018, Rio de Janeiro. 2018 International Joint Conference on Neural Networks (IJCNN), 2018. p. 1.
-
CORREIA, E. ; ROCHA, G. K. ; CUSTÓDIO, F. L. ; BARBOSA, H. J. C. ; DARDENNE, L. E. . Estimating Protein Structure Prediction Models Quality Using Convolutional Neural Networks. 2018. (Apresentação de Trabalho/Congresso).
Outras produções
CORREIA, E. . Sistema de Protocolo. 2014.
CORREIA, E. . LoTuS. 2014.
CORREIA, E. . Personal GitHub Page. 2018; Tema: Software Projects. (Site).
CORREIA, E. . Lotus-tool GitHub Page. 2015; Tema: LoTuS is firstState open-source tool to graphic behaviour modelling of software using Labelled Transition Systems.. (Site).
CORREIA, E. . Personal GitHub Page. 2015; Tema: Projetos de Software. (Site).
CORREIA, E. . Linux Avançado. 2014. (Curso de curta duração ministrado/Outra).
CORREIA, E. . Introdução ao Android. 2013. (Curso de curta duração ministrado/Outra).
CORREIA, E. . C Avançado. 2013. (Curso de curta duração ministrado/Outra).
CORREIA, E. . Construção de interfaces gráficas com JavaFX. 2013. (Curso de curta duração ministrado/Outra).
CORREIA, E. . Android. 2013. (Curso de curta duração ministrado/Outra).
CORREIA, E. . Desenvolvendo sistemas web com PHP. 2011. (Curso de curta duração ministrado/Outra).
Prêmios
2017
Bolsista Nota 10, Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro - FAPERJ.
Histórico profissional
Endereço profissional
-
Universidade Federal do Rio de Janeiro, Reitoria, Superintendencia de Tecnologia da Informação e Comunicação. , Athos da Silveira Ramos, 274, Cidade Universitária, 25651075 - Rio de Janeiro, RJ - Brasil, Telefone: (24) 992061404, URL da Homepage:
Experiência profissional
2019 - Atual
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Analista de Tecnologia da Informação, Carga horária: 40
2019 - 2021
Fundação de Apoio à Escola Técnica do Estado do Rio de JaneiroVínculo: Outros, Enquadramento Funcional: Professor Substituto, Carga horária: 40
Outras informações:
MInistrei as disciplinas de Orientação a Objetos e Algoritmos em C++, Programação em Java e Programação em Ambiente Visual.
2019 - 2021
Laboratório Nacional de Computação CientíficaVínculo: Bolsista, Enquadramento Funcional: Aluno de doutorado
2018 - 2019
Laboratório Nacional de Computação CientíficaVínculo: Bolsista, Enquadramento Funcional: Aluno de doutorado, Regime: Dedicação exclusiva.
2016 - 2018
Laboratório Nacional de Computação CientíficaVínculo: Bolsista, Enquadramento Funcional: Aluno de mestrado, Carga horária: 40, Regime: Dedicação exclusiva.
2015 - 2016
Fundação Oswaldo CruzVínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
Outras informações:
Um algorítmo genético para desimunização de proteínas terapêuticas por meio de mutações em sua sequência primária foi desenvolvido.
2014 - 2015
Instituto AtlanticoVínculo: Colaborador, Enquadramento Funcional: Desenvolver, Carga horária: 20
Outras informações:
Atuou como desenvolvedor em um time ágil para elaboração de applets para equipamentos de redes SDN da HP.
2014 - 2014
Universidade Estadual do CearáVínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
Outras informações:
Foi desenvolvido o software LoTuS (http:\\jeri.larces.uece.br\lotus). LoTuS é uma ferramenta para modelagem gráfica de comportamento de software utilizando LTS. Com ela, o usuário desenha o LTS através de um mecanismo de drag and drop de estados e transições, que por sua vez podem ser rotuladas com condições de guarda e probabilidades. Isso permite modelar tanto o comportamento normal quanto o comportamento probabilísticos dos componentes. Além disso, a ferramenta fornece uma API que permite ao desenvolvedor criar plugins para utilizar sua estrutura gráfica, o que a torna estensível para novas funcionalidades ou aplicações.
2011 - 2013
SoftBuilder InformáticaVínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 37
Outras informações:
Atuou como analista de sistemas nos diversos produtos de softwares comercias da empresa.
2009 - 2011
SoftBuilder InformáticaVínculo: Colaborador, Enquadramento Funcional: Desenvolvedor, Carga horária: 20
Outras informações:
Atuou como desenvolvedor de softwares comerciais para vendas.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Emerson Correia Freitas Lima e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?