Lucas Augusto Montalvão Costa Carvalho

  • Endereço para acessar este CV: http://lattes.cnpq.br/1696797848454147
  • Última atualização do currículo em 16/12/2018


Doutor pela UNICAMP (2018). Possui graduação (2009) e mestrado (2013) em Ciência da Computação pela Universidade Federal de Sergipe. Tem experiência na área de Gerenciamento de Dados e Conhecimento, Engenharia de Software, Inteligência Artificial, atuando principalmente nos seguintes temas: reprodutibilidade, proveniência, workflow científicos, web semântica e sistemas de recomendação. (Texto informado pelo autor)


Identificação


Nome
Lucas Augusto Montalvão Costa Carvalho
Nome em citações bibliográficas
CARVALHO, L. A. M. C.

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Instituto de Computação (IC).
Avenida Albert Einstein, 1251
Cidade Universitária
13083852 - Campinas, SP - Brasil
Telefone: (19) 35215838
URL da Homepage: https://lucasaugustomcc.github.io


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


2014 - 2018
Doutorado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
com período sanduíche em University of Southern California (Orientador: Yolanda Gil).
Título: Reproducibility and Reuse of Experiments in eScience: Workflows, Ontologies and Scripts, Ano de obtenção: 2018.
Orientador: Claudia Maria Bauzer Medeiros.
Coorientador: Yolanda Gil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: reproducibility; scientific workflows; reuse; Provenance; Ontologies.
Grande área: Ciências Exatas e da Terra
2011 - 2013
Mestrado em Ciência da Computação.
Universidade Federal de Sergipe, UFS, Brasil.
Título: Abordagens da Teoria dos Jogos em Sistema de Recomendação para Grupos,Ano de Obtenção: 2013.
Orientador: Hendrik Teixeira Macedo.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Sistemas de Recomendação; Recomendação para Grupos; Teoria dos Jogos; Equilíbrio de Nash; Social Welfare.
Grande área: Ciências Exatas e da Terra
2005 - 2009
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal de Sergipe, UFS, Brasil.
Título: Extração de Informação para Transcodificação de Documentos xHTML para VoiceXML no contexto do SBTVD-T.
Orientador: Hendrik Teixeira Macedo.




Formação Complementar


2015 - 2015
Programação Orientada a Objetos (MC302). (Carga horária: 160h).
Universidade Estadual de Campinas, UNICAMP, Brasil.
2009 - 2009
Monitoria em Desenvolvimento de Software II. (Carga horária: 196h).
Universidade Federal de Sergipe, UFS, Brasil.
2008 - 2008
Monitoria em Desenvolvimento de Software I.
Universidade Federal de Sergipe, UFS, Brasil.
2007 - 2007
Monitoria em Programação Orientada a Objetos. (Carga horária: 196h).
Universidade Federal de Sergipe, UFS, Brasil.
2007 - 2007
Monitoria em Programação Orientada a Objetos. (Carga horária: 196h).
Universidade Federal de Sergipe, UFS, Brasil.


Atuação Profissional



Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2004 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Bolsista FAPESP.


Tribunal de Justiça de Sergipe, TJSE, Brasil.
Vínculo institucional

2013 - 2014
Vínculo: Servidor Público, Enquadramento Funcional: Analista Judiciário - Análise de Sistemas, Carga horária: 30

Vínculo institucional

2010 - 2012
Vínculo: Servidor Público, Enquadramento Funcional: Técnico Judiciário - Programador de Sistemas, Carga horária: 30


Universidade Federal de Sergipe, UFS, Brasil.
Vínculo institucional

2013 - 2013
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20
Outras informações
Professor da disciplina de Sistemas Operacionais para Ciência da Computação, Engenharia da Computação e Sistemas de Informação.

Vínculo institucional

2008 - 2009
Vínculo: Bolsista, Enquadramento Funcional: Bolsista

Atividades

10/2013 - 11/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais
06/2013 - 10/2013
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais
05/2013 - 06/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais

Software Team - Empresa Júnior de Informática da UFS, SOFTEAM, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Diretor Admin. Financeiro, Enquadramento Funcional: Diretor Admin. Financeiro

Vínculo institucional

2006 - 2007
Vínculo: Outro, Enquadramento Funcional: Diretor-Presidente

Atividades

12/2007 - 03/2008
Direção e administração, Software Team - Empresa Júnior de Informática da UFS, .

Cargo ou função
Diretor Administrativo-Financeiro.
11/2006 - 12/2007
Direção e administração, Diretoria, .

Cargo ou função
Diretor-Presidente.


Projetos de pesquisa


2014 - Atual
Modeling Data through Different Science Experiments using Scientific Workflow and Ontologies
Descrição: Computational modeling and simulation are characterized by being data-intensive, i.e., they manipulate increasing volumes of complex, dynamic data sources. These data are either fed to or produced by such models, in what has become known as the ?data deluge?. This poses countless research challenges in data and information management, and has prompted research in the so-called field of data-intensive computing, which requires cooperation between domain scientists (those responsible for model design and simulation) with computer scientists. It has been acknowledged that the problems involved cannot be solved by standard data management techniques. The goal of this project is to provide a common data infrastructure to all researchers in the The Center for Computational Engineering & Sciences (CCES) at the University of Campinas (UNICAMP), supporting sharing and reuse of data and models used and/or produced by the CCES - CEPID/FAPESP. The idea is to adopt the notion of scientific workflows as the basis to specify executable models, and create a common computational platform to design, annotate and reuse such workflows. Scientific workflows specify and direct the execution of complex simulations and scientific experiments ? notably in bioinformatics, but also in domains such as chemoinformatics (e.g. in designing and testing specific chemical mechanistic processes), mechanical engineering (e.g., to supervise risers in deep water oil exploration), or climate modeling (e.g., in orchestrating the parallelization of simulation modules). A second component in the project is to design interoperable ontologies, that will help annotate the workflows and foster their interpretation and reuse..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Lucas Augusto Montalvão Costa Carvalho - Integrante / Claudia Maria Bauzer Medeiros - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
2008 - 2009
TeouVi: Interatividade Vocal em ambiente de Tv Digital
Descrição: Prover uma infra-estrutura de software de suporte ao desenvolvimento de aplicações para TV digital que permitam interatividade via voz. Projeto desenvolvido no programa BITEC - CNPq - IEL..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Lucas Augusto Montalvão Costa Carvalho - Integrante / Hendrik Teixeira Macedo - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Artificial.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2009
Mensão Honrosa Regional Sergipe - Programa BITEC 2009, Instituto Euvaldo Lodi - IEL.
2008
Prêmio Ação Coletiva - Comunidade Ginga (Contribuições Técnicas), Portal do Software Público e Associação Software Livre.org.


Produções



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

1.
1CARVALHO, L. A. M. C.2014CARVALHO, L. A. M. C.; MACEDO, H. T. . Introdução aos Sistemas de Recomendação para Grupos. Revista de Informática Teórica e Aplicada: RITA, v. 21, p. 77-109, 2014.

2.
2CARVALHO, L. A. M. C.2013CARVALHO, L. A. M. C.; NUNES, M. A. S. N . Uso da Personalidade na modelagem de usuário e suas aplicações em Sistemas de Recomendação : survey 2011. Scientia Plena, v. 9, p. 1-13, 2013.

Capítulos de livros publicados
1.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . TeouVI: Interação Vocal em Ambiente de TV Digital Brasileiro. In: IEL; SENAI; SEBRAE; CNPq. (Org.).. (Org.). Coletânea BITEC 2008-2010. 8ed.Brasília: IEL/NC, 2010, v. , p. 371-388.

Trabalhos completos publicados em anais de congressos
1.
CARVALHO, L. A. M. C.; GARIJO, D. ; MEDEIROS, C. M. B. ; GIL, Y. . Semantic Software Metadata for Workflow Exploration and Evolution. In: the IEEE 14th International Conference on eScience, 2018, Amsterdam. Proceedings of the IEEE 14th International Conference on eScience, 2018.

2.
CARVALHO, L. A. M. C.; ESSAWY, B. T. ; GARIJO, D. ; MEDEIROS, C. M. B. ; GIL, Y. . Requirements for Supporting the Iterative Exploration of Scientific Workflow Variants. In: 2nd International Workshop on Capturing Scientific Knowledge, 2017, Austin, Texas, EUA. 2017 Workshop on Capturing Scientific Knowledge (SciKnow), held in conjunction with the ACM International Conference on Knowledge Capture (K- CAP), 2017.

3.
CARVALHO, L. A. M. C.; MALAVERRI, J. E. G. ; MEDEIROS, C. M. B. . Implementing W2Share: Supporting Reproducibility and Quality Assessment in eScience. In: 11º BreSci - Brazilian e-Science Workshop, 2017, São Paulo - SP. XXXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC, 2017. p. 1048-1055.

4.
CARVALHO, L. A. M. C.; WANG, R. ; GARIJO, D. ; GIL, Y. . NiW: Converting Notebooks into Workflows to Capture Dataflow and Provenance. In: 2nd International Workshop on Capturing Scientific Knowledge, 2017, Austin, Texas, EUA. ACM International Conference on Knowledge Capture (K-CAP), 2017.

5.
CARVALHO, L. A. M. C.; BELLHAJJAME, K. ; MEDEIROS, C. M. B. . Converting Scripts into Reproducible Workflow Research Objects. In: the 2016 IEEE 12th International Conference on eScience, 2016, Baltimore, MD, USA. the 2016 IEEE 12th International Conference on eScience, 2016. p. 71-80.

6.
CARVALHO, L. A. M. C.; MEDEIROS, C. M. B. . A Provenance-Based Infrastructure to Support Reuse and Reproducibility of Computational Experiments. In: Workshop de Teses e Dissertações em Banco de Dados (WTDBD), 2016, Salvador, Bahia. Eventos Satélites do XXXI Simpósio Brasileiro de Banco de Dados (SBBD). Porto Alegre: SBC, 2016. p. 74-81.

7.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Users' Satisfaction in Recommendation Systems for Groups: an Approach Based on Noncooperative Games. In: 4th International Conference on Social Recommender System (SRS 2013), 2013, Rio de Janeiro/RJ. 22nd International World Wide Web Conference (WWW 2013), 2013.

8.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Generation of Coalition Structures to Provide Proper Groups' Formation in Group Recommender Systems. In: 4th International Conference on Social Recommender System (SRS 2013), 2013, Rio de Janeiro/RJ. 22nd International World Wide Web Conference (WWW 2013), 2013.

9.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Computando o Equilíbrio de Nash para estratégias de agregação na recomendação de itens para grupos de usuários. In: XIV Encontro Nacional de Inteligência Artificial (ENIA), 2012, Curitiba/PR. Brazilian Conference on Intelligent Systems (BRACIS), 2012.

10.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Automating xHTML to VoiceXML transcoding in the context of SBTVD-T. In: Euro-American Conference on Telematics and Information Systems, 2010, Cidade do Panamá. Euro-American Conference on Telematics and Information Systems. Nova York: ACM, 2010.

11.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Estendendo a NCL para promover interatividade vocal em aplicações Ginga. In: Simpósio Brasileiro de Sistemas Multimídia e Web, 2010, Belo Horizonte. XIV Brazilian Symposium on Multimedia and the Web. Nova York: ACM, 2010.

12.
CARVALHO, L. A. M. C.; GUIMARÃES, P. A. ; Hendrik Teixeira Macedo . Extensão da Linguagem NCL para um ambiente de Interação Vocal no middleware de TV Digital Ginga. In: Workshop de Trabalhos de Iniciação Científica e Graduação (WTICG), 2009, Ilhéus. IX Escola Regional de Computação Bahia Alagoas Sergipe (ERBASE), 2009.

13.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Geração automática de Interações Vocais na TVDi utilizando o Ginga, NCL e VoiceXML. In: Workshop de Software Livre, 2009, Porto Alegre. X Feira Internacional de Software Livre, 2009.

14.
CARVALHO, L. A. M. C.; GUIMARÃES, P. A. ; Hendrik Teixeira Macedo . Architectures for Interactive Vocal Environment to the Brazilian Digital TV Middleware. In: Euro American Conference on Telematics and information Systems - EATIS 2008, 2008, Aracaju/SE. Euro American Conference on Telematics and information Systems, 2008.

Resumos expandidos publicados em anais de congressos
1.
CARVALHO, L. A. M. C.; SILVEIRA, R. L. ; PEREIRA, C. S. ; SKAF, M. S. ; MEDEIROS, C. M. B. . Provenance-Based Retrieval: Fostering Reuse and Reproducibility Across Scientific Disciplines. In: International Provenance and Annotation Workshop (IPAW'2016), 2016, McLean, VA, Estados Unidos. Provenance and Annotation of Data and Processes, 2016. v. 9672. p. 183-186.

Resumos publicados em anais de congressos
1.
CARVALHO, L. A. M. C.; Hendrik Teixeira Macedo . Extensão da Linguagem NCL para um ambiente de interação vocal no middleware brasileiro de tv digital.. In: 18o Encontro de Inciação Científica, 2008, São Cristovão. 18o Encontro de Inciação Científica, 2008.

Apresentações de Trabalho
1.
CARVALHO, L. A. M. C.; GUIMARÃES, P. A. ; Hendrik Teixeira Macedo . Extensão da Linguagem NCL para um ambiente de Interação Vocal no middleware de TV Digital Ginga. 2009. (Apresentação de Trabalho/Congresso).


Produção técnica
Programas de computador sem registro
1.

Redes sociais, websites e blogs
1.
CARVALHO, L. A. M. C.; MELLO NETO, W. L. ; Hendrik Teixeira Macedo . MyPopCorn. 2011; Tema: Sistema Social de Recomendação de Filmes. (Site).


Demais tipos de produção técnica


Patentes e registros



Programa de computador
1.
SANTOS, C. A. ; BEZERRA JUNIRO, M. A. ; NUNES, M. A. S. N ; CARVALHO, L. A. M. C. . (SOFTWARE REGISTRADO NO INPI - RS 12500-1) ROTACERTA Gerenciamento de Atendimento em Transporte de Passageiros. 2011.
Patente: Programa de Computador. Número do registro: RS 12500-1, título: "(SOFTWARE REGISTRADO NO INPI - RS 12500-1) ROTACERTA Gerenciamento de Atendimento em Transporte de Passageiros" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
LIMA, F. A.; ORDONEZ, E. D. M.; CARVALHO, L. A. M. C.. Participação em banca de FELIPE DOS ANJOS LIMA.IMPLEMENTAÇÃO E ANÁLISE DE ALGORITMOS DE SEGURANÇA EM ANDROID E ARM. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

2.
MACEDO, H. T.; CARVALHO, L. A. M. C.; ROCHA, T.. Participação em banca de Maria Luísa Souza Matos.Rede Social para Negociações de Trechos de Transporte Urbano - Aplicativo Servidor. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

3.
MACEDO, H. T.; CARVALHO, L. A. M. C.; ROCHA, T.. Participação em banca de Michael Oliveira da Cruz.Rede Social para Negociações de Trechos de Transporte Urbano - Aplicativo Cliente para Dispositivos Móveis. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
International Provenance and Annotation Workshop (IPAW'2016). Provenance-Based Retrieval: Fostering Reuse and Reproducibility Across Scientific Disciplines. 2016. (Congresso).

2.
Simpósio Brasileiro de Banco de Dados (SBBD). 2016. (Simpósio).

3.
the 2016 IEEE 12th International Conference on eScience. Converting Scripts into Reproducible Workflow Research Objects. 2016. (Congresso).

4.
Workshop de Teses e Dissertações (WTDBD).Provenance-Based Infrastructure to Support Reuse of Computational Experiments. 2016. (Outra).

5.
22nd International World Wide Web Conference. 2013. (Congresso).

6.
Workshop sobre TIC nos Grandes Eventos Esportivos do Brasil. 2012. (Outra).

7.
XIV Encontro Nacional de Inteligência Artificial (ENIA). 2012. (Encontro).

8.
IX Simpósio de Fatores Humanos em Sistemas Computacionais. 2010. (Simpósio).

9.
VII Simpósio Brasileiro de Sistemas Colaborativos. 2010. (Simpósio).

10.
XVI Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia). 2010. (Simpósio).

11.
IX Escola Regional de Computação Bahia Alagoas Sergipe. 2009. (Outra).

12.
Euro-American Conference on Telematics and Information Systems. 2008. (Congresso).

13.
II Semana de Estudos da Graduação da UFS. 2008. (Seminário).

14.
V Simpósio Brasileiro de Sistemas Colaborativos (SBSC). 2008. (Simpósio).

15.
XIV SImpósio Brasileiro de Sistemas Multimídia e Web (Webmedia). 2008. (Simpósio).

16.
XXI Simpósio Brasileiro de Engenharia de Software (SBES). 2007. (Congresso).

17.
VI ERBASE - Escola Regional de Computação Bahia-Sergipe.. 2006. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
CARVALHO, L. A. M. C.. Workshop de Teses, Dissertações e Iniciação Científica (WTD) do Instituto de Computação da Unicamp.. 2016. (Outro).

2.
CARVALHO, L. A. M. C.. Euro Anerican Association on Telematics and Information Systems - EATIS 2009. 2009. (Congresso).

3.
CARVALHO, L. A. M. C.. X Olímpiada Brasileira de Informática. 2008. (Outro).



Outras informações relevantes


Bolsista de Iniciação Tecnológica Industrial A do CNPq de setembro de 2008 a fevereiro de 2009. Bolsista da Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) de Dez/2014 a Dez/2018 (processo 2014/23861-4)



Página gerada pelo Sistema Currículo Lattes em 17/12/2018 às 6:31:03