Yan Mendes
Analise E Desenvolvimento De Sistemas at INFORMIND SOLUCOES EM TECNOLOGIA LTDA
Bahia, Brazil
Summary
🤩
Rockstar🎓
Top SchoolYan Mendes is an emerging systems analyst and developer from Bahia with five years of IT experience, currently working at INFORMIND Soluções em Tecnologia. He combines technical training in electrotechnics and systems development from SENAI CIMATEC with ongoing IT management studies at Estácio, giving him a hands-on understanding of both hardware and software aspects of industrial and commercial projects. Previously he supported IT operations at Unigel, gaining practical experience in administrative and technical workflows that improve system reliability. Passionate about building a long-term career in tech, he brings practical AutoCAD and electrical project knowledge to software development tasks—an uncommon cross-discipline strength that helps bridge engineering and development teams. Outside work he’s an anime fan, a small personal detail that signals creativity and cultural curiosity.
5 years of coding experience
Ensino Médio Profissionalizante (Pós-médio), Analise e desenvolvimento de sistemas, Ensino Médio Profissionalizante (Pós-médio), Analise e desenvolvimento de sistemas at AluraEnsino Médio, Técnico em Eletrotécnica, Ensino Médio, Técnico em Eletrotécnica at SENAI CIMATECEstácio de Sá University
Github Skills (42)
discord10
discord-bot10
reduction9
parallel9
lambda-calculus9
calculus9
type-theory9
rust9
wallet8
dependent-types8
functional-programming8
computation8
proof-assistant7
security7
blockchain7
Programming languages (11)
Github contributions (5)
kings177/Kindelia
Jun 2022 - Dec 2023
K-Chan: an efficient, secure cryptocomputer
Contributions:2 PRs, 29 pushes, 9 branches in 1 year 6 months
securecryptographysecuritycryptochan
kings177/HVM
Apr 2022 - Aug 2024
A massively parallel, optimal functional runtime in Rust
Contributions:57 pushes, 2 branches in 2 years 4 months
crateparallelrustruntimemassively-parallel
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.