Mayler Gama Alvarenga Martins

Mayler Gama Alvarenga Martins received the B.S degree in Computer Engineering in 2009 from the Federal University of Espírito Santo (UFES), Vitória, Brazil, and M.S. degree in Microelectronics in 2012, from the Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil. Worked for 4 years in the Thermal Plasma Laboratory (LPT/UFES), having performed several works in the field of automation, sensors and data acquisition in several lab equipments. In 2009, he was certified as Digital IC Designer, by a partnership of the Ministry of Technology and Cadence Design Systems. Currently, he is pursuing the Doctor Degree in Microelectronics from UFRGS. The expected graduation date is in September 2015. His advisor and co-advisor are Prof. André I. Reis and Prof. Renato P. Ribas, respectively. He was accepted into a 6-month exchange program in Universitat Politècnica de Catalunya and will be advised by Prof. Jordi Cortadella. His research interests include logic synthesis algorithms, as factoring, decomposition and technology mapping, and emerging technologies, including majority and threshold logic, spintronics, memristors and FinFETs.Mr. Martins is author and co-author of more than 20 technical papers and published his works in relevant conferences as ICCD, GLSVLSI, ISQED, ISVLSI, ISCAS, IWLS, NANO, ISPD and others.

Possui graduação em Engenharia de Computação pela Universidade Federal do Espírito Santo (2008) e mestrado e doutorado em Microeletrônica pela Universidade Federal do Rio Grande do Sul (2012 e 2015, respectivamente). Trabalhou durante 4 anos no Laboratório de Plasma Térmico - LPT/UFES, tendo realizado diversos trabalhos na área de automação, sensores e aquisição de dados de equipamentos laboratoriais. Realizou em 2009 o Curso de Projetista de Circuitos Integrados na área de Circuitos Digitais na UFRGS, parte do Programa CI Brasil do MCT. Participou do projeto Synaptic, financiado pela comunidade européia, onde pesquisou algoritmos para redução de área de circuitos combinacionais. Realizou estágio de curta duração na Nangate A/S em 2010, onde implementou estruturas de dados para otimizações Booleanas. Realizou também um estágio de curta duração na Nangate Inc. em 2014, onde desenvolveu a biblioteca FreePDK 15 nm e auxiliou na implementação da biblioteca ST 28 nm. Interesses de pesquisa incluem algoritmos de síntese lógica, incluindo otimização lógica em CMOS e em tecnologias emergentes, como autômatos quânticos, diodos spintrônicos e memristores. Realizou doutorado sanduíche na Universitat Politècnica de Catalunya (UPC), Barcelona, Espanha, realizando pesquisa em divisores Booleanos.