Mikhail Yasha Ramalho Gadelha

Bachelor in Computer Engineering at Universidade Federal do Amazonas (UFAM, Brazil, 2010), Bachelor in Telecommunications Engineering at Fucapi (Brazil, 2010), undergraduate exchange student at the Budapest University of Technology and Economics (BME, Hungary, 2009), Master degree in Electrical Engineering at Universidade Federal do Amazonas (UFAM, Brazil, 2013), Ph.D. in Computer Science at the University of Southampton (United Kingdom, 2019). Currently, I am a researcher at Sidia (Manaus, Brazil). I am Experienced in Formal Methods, Software Verification, Compilers, Embedded Systems, Linux and Software development in C and C++, both low and high level. I participated on several research projects in collaboration with the University of Southampton (United Kingdom) and Stellenbosch (South Africa), I am working with neural networks, computer vision and natural language processing at Sidia. I worked on the clang static analyzer under the Static Analysis Team from Apple during the Google Summer of Code 2018, and over the year I worked on several projects (in both mobile and industrial systems) with several partners, including Nokia and Semp Toshiba. I am an open-source enthusiast and collaborated with several projects, including LLVM, clang and WebKit.

Possui graduação em Engenharia de Telecomunicações pela Fundação Centro de Análise Pesquisa e Inovação Tecnológica (Fucapi, 2010) e graduação em Engenharia da Computação pela Universidade Federal do Amazonas (UFAM, 2010), participante de um programa de graduação sanduíche da Universidade do Porto na Universidade de Tecnologia e Economia de Budapeste (BME, Hungria, 2009), mestrado em Engenharia Elétrica na área de concentração em Engenharia da Computação pela Universidade Federal do Amazonas (UFAM, 2013), doutorado em Ciência da Computação pela Universidade de Southampton (Reino Unido, 2019). Atualmente é Pesquisador no Sidia. Tem experiência nas áreas de Verificação Formal Automatizada, Bounded (and Unbounded) Model Checking, Compiladores, Sistemas Embarcados, TV Digital, Linux e Desenvolvimento de Software em C e C++ para baixo e alto nível. Possui colaboração em projetos de pesquisa com as universidades de Southampton (Reino Unido) e Stellenbosch (África do Sul). Atuou também em projetos de desenvolvimento de software relacionados à Aplicações Mobile no Instituto Nokia de Desenvolvimento; em projetos de desenvolvimento de Set-top Box, sistemas embarcados e industriais na Fucapi; e em projetos envolvendo rede neurais, processamento digital de imagem e processamento de linguagem natural no Sidia. Atualmente trabalha com desenvolvimento do Webkit para plataformas 32 bits.