Alessandro Bezerra Trindade

Adjunct Professor from the Electricity Department in Federal University of Amazonas (since NOV/2015). PhD in Computing (JAN/2020). Graduated in Electrical Engineer by Federal University of Amazonas (AUG/1995) and got Master Degree at the same University (FEB/2015). With experience in Renewable Energy Sources and Management, with emphasis in Strategic Planning and Competitive Intelligence. Research areas: rural electrification, renewable energy sources, formal methods (automatic verification with model checking), and automated synthesis. Link GitHub: https://github.com/abtrindade

Professor Adjunto do Departamento de Eletricidade da Universidade Federal do Amazonas (desde NOV/2015). Doutor em Informática (JAN/2020), Mestre em Engenharia Elétrica (FEV/2015) e graduado em Engenharia Elétrica (AGO/1995) pela Universidade Federal do Amazonas. Tem experiência na área de Fontes Renováveis de Energia e em Gestão, com ênfase em Planejamento Estratégico e Inteligência Competitiva. Linhas de pesquisa: otimização, eletrificação rural, fontes renováveis de energia, eficiência energética, verificação automática (verificação de modelos) e síntese automática. GitHub: https://github.com/abtrindade