Paulo Roberto Massa Cereda

Graduation at Computer Science from Centro Universitário Central Paulista (2005), master's at Computer Science from Universidade Federal de São Carlos (2008) and doctorate at Electric Engineering from Universidade de São Paulo (2018). Has experience in Computer Science, focused on Theory of Computation and Adaptive Technology, acting on the following subjects: adaptive technology, adaptive automata, adaptive devices, rewriting systems, lambda calculus, computational complexity theory, programming languages and compiler construction techniques.

Possui graduação em Ciência da Computação pelo Centro Universitário Central Paulista (2005), mestrado em Ciência da Computação pela Universidade Federal de São Carlos (2008) e doutorado em Engenharia Elétrica pela Universidade de São Paulo (2018). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação e Tecnologia Adaptativa, atuando principalmente nos seguintes temas: tecnologia adaptativa, autômatos adaptativos, dispositivos adaptativos, sistemas de reescrita, cálculo lambda, complexidade computacional, linguagens de programação e construção de compiladores.