Paulo Salem da Silva

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


Tenho interesses de pesquisa em Engenharia de Software, 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 Social
Paulo Salem da Silva
Nome em citações bibliográficas
SALEM, P.;da Silva, Paulo Salem;DA SILVA, P. S.;SILVA, PAULO SALEM DA

Endereço


Endereço Profissional
Salem Sistemas, 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.
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.

2.
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.

3.
SALEM, P.;da Silva, Paulo Salem;DA SILVA, P. S.;SILVA, PAULO SALEM DA2007 SALEM, P.; MELO, Ana C. V. . A Simulation-Oriented Formalization for a Psychological Theory. Lecture Notes in Computer Science, v. 4422, p. 42-56, 2007.

4.
SALEM, P.;da Silva, Paulo Salem;DA SILVA, P. S.;SILVA, PAULO SALEM DA2005SALEM, P.; MELO, Ana C. V. . An Ontology for Mobile Agents in the Context of Formal Verification. Lecture Notes in Computer Science, v. 3761, p. 1500-1516, 2005.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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 14/08/2018 às 3:33:03