Full-time professor at UTFPR (Federal University of Technology - Paraná, Brazil), Campus Ponta Grossa. I work at DAINF (Informatics Department) since 2010. Currently, I teach in the Computer Science Undergraduate course and Master's programme (PPGCC). Main research interest: intelligent agents, multi-agent systems, machine ethics, formal verification, autonomous systems, autonomous vehicles, smart cities, formal methods, proof theory, and logic for computer science.