Marcelo Teixeira is a Computer Scientist with master's in Computer Engineering and PhD in Automation & Systems Engineering, including a sandwich doctoral stage with the Research Group on Formal Methods, at the Department of Computer Science of The University of Waikato, Hamilton, New Zealand, where he was also a short term visitor researcher in 2018.
In 2020, he received a Research Productivity Grant from CNPq.
Currently he is teaching and researching for the Federal University of Technology-Paraná, in Brazil, in both graduation and undergraduation levels. His background in Computer Science has progressed to cover some topics in Computer Engineering, Electrical Engineering and Automation Sciences, with special focus on Discrete-Event Systems, Cyber-Physical Systems, Flexible Manufacturing Systems, Industrie 4.0, Synthesis of controllers for industrial processes, industrial automation, and automatic synthesis of software.
He's been an active member of the IEEE since 2016, participating of the Industrial Electronic Society (IES), Technical Committee on Factory Automation, Subcommittee Industrial Automated Systems and Control.
Possui graduação em Ciência da Computação pela Universidade de Passo Fundo (2007),
mestrado em Engenharia de Computação pela Universidade de Pernambuco (2009) e
doutorado em Engenharia de Automação e Sistemas, pela Universidade Federal de Santa Catarina (2013).
Desde 2013 é professor Adjunto da Universidade Tecnológica Federal do Paraná - UTFPR - campus Pato Branco, onde atua como docente permanente do Programa de Pós-Graduação em Engenharia Elétrica - PPGEE.
Fez estágio de doutorado no Grupo de Pesquisas em Métodos Formais, da Universidade de Waikato, na Nova Zelândia, em 2012, e foi pesquisador visitante no mesmo grupo, em 2018. Em 2020, se tornou Bolsista de Produtividade em Pesquisas, do CNPq.
Possui interesses de pesquisa e de formação nas áreas da Engenharia Elétrica e de Computação, sobretudo nos seguintes temas:
Sistemas a Eventos Discretos, Sistemas Cyber-Físicos, Sistemas Flexíveis de Manufatura, Indústria 4.0, síntese de controladores para processos industriais, automação industrial e síntese automática de software como um todo.
É membro da IEEE desde 2016, onde participa da Industrial Electronic Society (IES), Technical Committee on Factory Automation, Subcommittee Industrial Automated Systems and Control.
