Maurício Verardo da Costa
Possui graduação em Ciência da Computação pela Universidade Presbiteriana Mackenzie(2012) e mestrado em Engenharia Elétrica pela Universidade Presbiteriana Mackenzie(2015). Atualmente é da Universidade Presbiteriana Mackenzie. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Autômatos Celulares, Templates, Representação k-ária, Propriedades estáticas.
Informações coletadas do Lattes em 10/09/2025
Acadêmico
Formação acadêmica
Doutorado em andamento em Engenharia Elétrica
2015 - Atual
Universidade Presbiteriana Mackenzie
Pedro Paulo Balbi de Oliveira. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Mestrado em Engenharia Elétrica
2013 - 2015
Universidade Presbiteriana Mackenzie
Título: Representando famílias de autômatos celulares por meio de templates.,Ano de Obtenção: 2015
Pedro Paulo Balbi de Oliveira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Autômatos Celulares; Templates; Representação k-ária; Propriedades estáticas.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Graduação em Ciência da Computação
2008 - 2012
Universidade Presbiteriana Mackenzie
Título: Uma demonstração computacional da impossibilidade de resolução do problema da paridade em reticulado de tamanho ímpar, por autômatos celulares unidimensionais de raio 2
Orientador: Pedro Paulo Balbi de Oliveira
Formação complementar
2011 - 2011
Extensão universitária em New Kind of Science Summer School. (Carga horária: 40h). , Wolfram Research Inc., WRI, Estados Unidos.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
Produções bibliográficas
-
VERARDO, M. ; DE OLIVEIRA, P. P. B. ; Representing Families of Cellular Automata Rules. The Mathematica Journal , v. 16, p. 3, 2014.
-
DE OLIVEIRA, P. P. B. ; VERARDO, M. . Template based representation of cellular automata rules. In: 20th International Workshop on Cellular Automata and Discrete Complex Systems, 2014, Himeji. Proceedings 20th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2014) ? Exploratory Papers, 2014.
Outras produções
VERARDO, M. . Programação Funcional com Wolfram Mathematica. 2014. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2016 - Atual
Computations at the limit behaviour of cellular automata, Projeto certificado pelo(a) coordenador(a) Pedro Paulo Balbi de Oliveira em 10/01/2016., Descrição: In spite of their extremely simple structure, cellular automata (CAs) can compute arbitrary functions, by means of a model of computation that is totally parallel, decentralised and, especially, local. The possibility of understanding how they compute and should be designed so as to perform a given computational task would be very relevant for information technology and computing theory. But understanding how these computations are carried out by individual CA rules, rule compositions over time, or spatial arrangement of different rules on the lattice, has been an enduring challenge. Key advances made related to design and analysis of CA rules have opened new perspectives towards understanding how specific CA-based computations are performed. Under the new lights these recent findings have shed, the goal of this project is to step forward, by deepening present understanding of the issues involved in classical computational tasks of the classification type, such as density and parity determination, and to analyse the limit configurations entailed by certain rules, both in terms of their spectral signature and their representation as a formal language. In doing so, we will endeavour to explore the possibility of relating computational and limit behaviour of rules. We have in mind addressing these issues not only in terms of individual CA rules, but also their temporal or spatial combinations. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Maurício Verardo da Costa - Integrante / Pedro Paulo Balbi de Oliveira - Coordenador.
Histórico profissional
Experiência profissional
2013 - 2014
Universo Online SAVínculo: Funcionário, Enquadramento Funcional: Webmaster, Carga horária: 40
2011 - 2013
Senior SolutionVínculo: Funcionário, Enquadramento Funcional: Programador, Carga horária: 40
Outras informações:
Atuo como programador Java / C# em projetos web para instituições financeiras.
2006 - 2008
Moderna SistemasVínculo: Funcionário, Enquadramento Funcional: Analista de controle de qualidade de software, Carga horária: 40
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Maurício Verardo da Costa 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?