Wellington Aparecido Della Mura

Graduado em Informática e Licenciado em Computação pela Universidade Estadual do Norte do Paraná (2007), Especialista em Tecnologia Java pela Universidade Tecnológica Federal do Paraná (2009) e Mestre em Ciência da Computação pela Universidade Estadual de Londrina (2016). Atualmente é professor assistente no Centro de Ciências Tecnológicas da Universidade Estadual do Norte do Paraná. Tem experiência nas áreas de Sistemas de Informação e Ciência da Computação, com ênfase em Linguagem Formais e Autômatos, Teoria da Computação, Compiladores e Desenvolvimento de Sistemas. Atua principalmente nos seguintes temas: Verificação formal, Contratos Eletrônicos, Geração de Código e Arquitetura de Software.

Graduated in Information Systems from the State University of Northern Parana (2007) and master's degree in Computer Science from the State University of Londrina (2016). Currently a assistant professor in the Technological Sciences Center, State University of Northern Parana. Has experience in the areas of Information Systems and Computer Science, with emphasis on Automata Theory and Formal Language, Theory of Computation and Systems Development, acting on the following topics: Formal verification, Model Based Testing and Electronic Contracts.