Mauricio Conceição Mario

Degree in Electrical Engineering from the University Center of FEI (1989), Master's degree in Information Processing from the Federal University of Uberlândia (2003) and PhD in Sciences (Experimental Pathophysiology) from the Faculty of Medicine of the University of São Paulo (2006). Postdoctoral fellow at the Institute of Systems and Computer Engineering of Porto (INESC Porto - 2010), developing research related to Expert Systems applied in electrical energy distribution systems. He is currently a professor of the professional master's degree in Mechanical Engineering and of the undergraduate degree in Engineering in the areas of electronics, electricity and computing at Universidade Santa Cecília. At the Fatec technology faculty in Baixada Santista, he is a professor in the area of Information Systems and a member of the Scientific Initiation Committee. Researcher at the Laboratory of Applied Paraconsistent Logic at Santa Cecilia University, developing work in the field of Artificial Intelligence, using Paraconsistent Logic.

Graduação em Engenharia Elétrica pelo Centro Universitário da FEI (1989), mestrado em Processamento da Informação pela Universidade Federal de Uberlândia (2003) e doutorado em Ciências (Fisiopatologia Experimental) pela Faculdade de Medicina da Universidade de São Paulo (2006). Pós-Doutorado junto ao Instituto de Engenharias de Sistemas e Computadores do Porto (INESC Porto - 2010), desenvolvendo pesquisas relacionadas a Sistemas Especialistas aplicados em sistemas de distribuição de energia elétrica. Atualmente é professor do mestrado profissionalizante em Engenharia Mecânica e na graduação da Engenharia nas áreas de eletrônica, elétrica e computação da Universidade Santa Cecília. Na faculdade de tecnologia Fatec da Baixada Santista é professor na área de Sistemas de Informação e membro da Comissão de Iniciação Científica. Pesquisador do Laboratório de Lógica Paraconsistente Aplicada da Universidade Santa Cecilia, desenvolvendo trabalhos na área de Inteligência Artificial, utilizando a Lógica Paraconsistente.