Paulo Salem da Silva

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


Tenho interesses de pesquisa em Engenharia de Software, Inteligência Artificial, Aprendizado de Máquina, Design de Linguagens de Programação, Verificação e Métodos Formais, Sistemas Multiagentes e também no já remoto e esquecido campo da Amplificação de Intelecto (Intellect Augmentation) e da Descoberta Científica Computacional (Computational Scientific Discovery). No momento, tento alavancar todo meu perfil de cientista na indústria, considero-me um cientista industrial. (Texto informado pelo autor)


Identificação


Nome
Paulo Salem da Silva
Nome em citações bibliográficas
SALEM, P.;da Silva, Paulo Salem;DA SILVA, P. S.;SILVA, PAULO SALEM DA;SALEM, PAULO;Salem da Silva, Paulo

Endereço


Endereço Profissional
Salem Sistemas.
Alameda Santos, 200
Cerqueira César
01418000 - São Paulo, SP - Brasil
Telefone: (11) 00000000


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


2006 - 2011
Doutorado em Ciencia da Computacao.
Universidade de São Paulo, USP, Brasil.
com período co-tutela em Université Paris-Sud XI (Orientador: Marie-Claude Gaudel).
Título: Verification of Behaviourist Multi-Agent Systems by means of Formally Guided Simulations, Ano de obtenção: 2011.
Orientador: Ana Cristina Vieira de Melo.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Simulação Social.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas Multi-Agentes.
2001 - 2005
Graduação em Bacharelado em Ciência da Computação.
Universidade de São Paulo, USP, Brasil.
Título: Um Simulador de Comportamento Animal Baseado numa Especificação Formal da Análise do Comportamento de B.F. Skinner.
Orientador: Ana Cristina Vieira de Melo.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1998 - 2000
Ensino Médio (2º grau).
Colégio Bandeirantes, CB*, Brasil.




Á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: Métodos Formais.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Simulação Multi-agente.
3.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Interação Humano-Computador.
6.
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 Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Produções



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

1.
SALEM, PAULO2017 SALEM, PAULO. User Interface Optimization using Genetic Programming with an Application to Landing Pages. Proceedings of the ACM on Human-Computer Interaction, v. 1, p. 1-17, 2017.

2.
DA SILVA, P. S.2013 DA SILVA, P. S.; DE MELO, A. C. V. . On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. SIMULATION, v. 89, p. 977-1008, 2013.

3.
da Silva, Paulo Salem2009da Silva, Paulo Salem; de Melo, Ana C.V. . Model Checking Merged Program Traces. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 240, p. 97-112, 2009.

Capítulos de livros publicados
1.
Salem da Silva, Paulo; Vieira de Melo, Ana C. . A Simulation-Oriented Formalization for a Psychological Theory. Fundamental Approaches to Software Engineering. 1ed.: Springer Berlin Heidelberg, 2007, v. , p. 42-56.

2.
da Silva, Paulo Salem; de Melo, Ana Cristina Vieira . An Ontology for Mobile Agents in the Context of Formal Verification. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2005, v. , p. 1500-1516.

Trabalhos completos publicados em anais de congressos
1.
SALEM, PAULO. The case for experiment-oriented computing. In: the 2018 26th ACM Joint Meeting, 2018, Lake Buena Vista. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018. New York: ACM Press, 2018. p. 719.

2.
SALEM, PAULO. Practical programming, validation and verification with finite-state machines. In: the 38th International Conference, 2016, Austin. Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16. New York: ACM Press, 2016. p. 51.

3.
SILVA, PAULO SALEM DA; MELO, ANA C.V. DE . Behaviorist Agent Architecture. In: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013, Atlanta. 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT). p. 187.

4.
SILVA, PAULO SALEM DA; MELO, ANA C.V. DE . An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. In: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013, Atlanta. 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT). p. 266.

5.
da Silva, Paulo Salem; MELO, Ana C. V. . On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes. In: 2011 Spring Simulation Multiconference (SpringSim'11), 2011, Boston. Proceedings of the 2011 Spring Simulation Multiconference (SpringSim'11), 2011.

6.
da Silva, Paulo Salem; de Melo, Ana C.V. . A Formal Environment Model for Multi-Agent Systems. In: SBMF - Brazilian Symposium on Formal Methods, 2010, Natal. Proceedings of the 13th Brazilian Symposium on Formal Methods, 2010.

7.
MIYAZAWA, Alvaro Heiji ; da Silva, Paulo Salem ; MELO, Ana C. V. . From Z Specifications to Java Implementations and Back. In: Fifth European Conference on Model-Driven Architecture - Traceability Workshop (EMCDA-TW 2009), 2009, Enschede. Fifth European Conference on Model-Driven Architecture - Traceability Workshop (EMCDA-TW 2009), 2009.

8.
SALEM, P.; MELO, Ana C. V. . Reusing Models in Multi-Agent Simulation with Software Components. In: The Seventh International Conference on Autonomous Agents and Multiagent Systems, 2008, Estoril. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems, 2008.

9.
SALEM, P.; MELO, Ana C. V. . Model Checking Merged Program Traces. In: Simpósio Brasileiro de Métodos Formais (SBMF2008), 2008, Salvador. Proceedings of the Brazilian Symposium on Formal Methods 2008 (to be published), 2008.

Outras produções bibliográficas
1.
SALEM, P.. An Environment Specification Language for Multi-Agent Systems. Université Paris-Sud 11, Laboratoire de Recherche en Informatique, 2009 (Relatório Técnico).




Página gerada pelo Sistema Currículo Lattes em 18/12/2018 às 18:20:44