Henrique Cunha
Professor Do Ensino Básico, Técnico E Tecnológico at Instituto Federal de Educação, Ciência e Tecnologia da Paraiba
Paraíba, Brazil
Summary
👤
Senior🎓
Top SchoolHenrique Cunha is an experienced educator and technologist with eight years in academia and prior experience as a project manager and digital IP core developer at CETENE-LINCS. He teaches algorithms, data structures, graph theory and computation theory at IFPB while contributing to an industry-collaboration developing accounting solutions for large Brazilian companies. Holding an MSc focused on functional verification and mutation analysis, Henrique blends formal verification expertise with practical systems development. His background spans hardware-focused verification and software algorithmics, and he is currently expanding into systems analysis and design informed by design and marketing studies. This combination makes him adept at translating rigorous technical concepts into applied solutions and industry-facing innovation.
8 years of coding experience
4 years of employment as a software developer
MSc., Functional Verification, Mutation Analysis, MSc., Functional Verification, Mutation Analysis at Universidade Federal de Campina Grande
English, Portuguese
Github Skills (10)
brazil9
ninja8
java7
js6
javascript6
discord-bot5
python5
machine-learning5
golang3
postgresql3
Programming languages (4)
Github contributions (5)
ike-cunha/ProjetoBancoDeItens
May 2019 - Nov 2020
Projeto acadêmico intitulado Banco de Itens
Contributions:8 pushes, 2 branches in 1 year 6 months
ike-cunha/jogo-matematico
Nov 2017 - Dec 2017
Contributions:10 PRs, 12 pushes, 11 branches in 12 days
desenvolvimento-de-sistemasprojetojogojavascriptdesenvolvimento
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.