Marcos Aurélio Almeida da Silva
Possui graduação em Ciências da Computação pela Universidade Federal de Pernambuco (2006) e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2009). Tem experiência na área de Engenharia de Software e Inteligência Artificial, atuando principalmente em Programação Oriantada a Agentes e Restrições e Desenvolvimento Orientado a Modelos. Atualmente é doutorando no Laboratório de Informática da Universidade Paris 6, LIP6.
Informações coletadas do Lattes em 02/10/2025
Acadêmico
Formação acadêmica
Doutorado em andamento em Ciência da Computação
2009 - Atual
Université Pierre et Marie Curie -Paris 6
Orientador: Xavier BLANC
Bolsista do(a): Agence nationale de la recherche. Palavras-chave: process guidance; processo.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.
Mestrado em Ciências da Computação
2007 - 2009
Universidade Federal de Pernambuco
Jacques Pierre Louis Robin.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: constraint handling rules; engenharia de software; object oriented programming.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. 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. Setores de atividade: Pesquisa e desenvolvimento científico.
Graduação em Ciências da Computação
2002 - 2006
Universidade Federal de Pernambuco
Orientador: Jacques Robin
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Participação em eventos
The Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 2008. (Congresso).
Produções bibliográficas
-
SILVA, M. A. A. ; ROBIN, J. P. L. . Extending CHR with objects under a variety of inheritance and world-closure assumptions. In: Sixth Workshop on Constraint Handling Rules, 2009, Pasadena, Califórnia. CHR 2009 Proceedings of the 6th International Workshop on Constraint Handling Rules, 2009. p. 3-17.
-
SILVA, M. A. A. ; FAGES, F. ; ROBIN, J. P. L. . Default Reasoning in CHRv. In: Fifth Workshop on Constraint Handling Rules, 2008, Hagenberg, Austria. Fifth Workshop on Constraint Handling Rules, 2008. p. 111-125.
-
MENEZES, L. ; VITORINO, J. ; SILVA, M. A. A. . A High Performance CHRv Execution Engine. In: International Conference on Logic Programming, 2005, Sitges. Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules, 2005. p. 35-45.
-
SILVA, M. A. A. ; ROBIN, J. P. L. . KAJCHR - A Kobra AspectJ implementation for Constraint Handling Rules. 2005 (Iniciação Científica) .
Prêmios
2006
Sun Mobile Certified Application Developer, Sun Microsystems.
2005
Sun Java Certified Programmer, Sun Microsystems.
2004
Maratona de Programação 2004 - Medalha de Bronze (8º Lugar), SBC - Sociedade Brasileira de Computação.
Histórico profissional
Endereço profissional
-
Université Pierre et Marie Curie -Paris 6. , 4 Place de Jussieu, 75005 - Paris, - França, URL da Homepage:
Experiência profissional
2008 - 2008
Institut National de Recherche en Informatique et en AutomatiqueVínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações:
Trabalhei, como parte da cooperação entre o grupo de pesquisa ORCAS do UFPE e o grupo CONTRAINTES do INRIA sob a supervisão do Prof François Fages. Propus a sintax e a semântica de uma extensão orientada a objetos da linguagem de especificação de resolvedores de restrições CHR.
2007 - 2007
Google Inc., GoogleVínculo: Student Developer, Enquadramento Funcional: Student Developer
Outras informações:
Implementei o suporte a Perfis UML no ArgoUML sob a orientação de Linus Tolke (linus@tigris.org) e em cooperação com o time do ArgoUML
2005 - 2006
Centro de Estudos e Sistemas Avançados do RecifeVínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 30
Outras informações:
Projeto Samsung
Atividades
-
05/2005 - 08/2006
Estágios , Projeto SAMSUNG, .,Estágio realizado, DESENVOLVIMENTO DE JOGOS PARA CELULAR.
2005 - 2006
Centro Integrado de Tecnologia da Informação, CITiVínculo: Colaborador, Enquadramento Funcional: Programador Júnior, Carga horária: 20
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Marcos Aurélio Almeida da Silva 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?