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

Bandeira representando o idioma 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

2016 - Atual

Universidade Presbiteriana Mackenzie

Vínculo: , Enquadramento Funcional:

2013 - 2014

Universo Online SA

Vínculo: Funcionário, Enquadramento Funcional: Webmaster, Carga horária: 40

2011 - 2013

Senior Solution

Ví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.

2008 - 2010

TOTVS

Vínculo: Funcionário, Enquadramento Funcional: Programador C#, Carga horária: 40

2006 - 2008

Moderna Sistemas

Vínculo: Funcionário, Enquadramento Funcional: Analista de controle de qualidade de software, Carga horária: 40