Vinicius Espindola

Software Engineer at Microsoft

São Paulo, Brazil
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Vinicius Espindola is a software engineer with eight years of experience who bridges academic research and production-grade systems, currently building software at Microsoft from São Paulo. He has deep compiler and systems expertise—demonstrated by back-to-back Google Summer of Code projects advancing ClangIR/MLIR and measurable improvements in LLVM test coverage and ABI lowering. Vinicius pairs this compiler work with practical backend engineering (VOIP microservices, event-sourced reporting, payment integration) and a history of research that produced an MLIR-based algorithm with up to 500x speedups and an ACM TACO publication. Comfortable in C, C++, Python and distributed systems, he also teaches and mentors, having served as a TA for compilers and data-structures courses. Colleagues describe him as curious and pragmatic: he focuses on clean, maintainable infrastructure that turns research prototypes into reliable, deployable solutions.
code8 years of coding experience
job4 years of employment as a software developer
bookMaster's degree, Computer Science, Master's degree, Computer Science at Universidade Estadual de Campinas
github-logo-circle

Github Skills (29)

llvm10
intermediate-language10
toolchain10
cpp10
clang10
compiler8
bootstrap7
html6
css6
weather6
temperature5
recipe5
docker-build5
visualization4
sip4

Programming languages (9)

ShellRC++LLVMJavaScriptHTMLJupyter NotebookKotlin

Github contributions (5)

github-logo-circle
Contributions:192 pushes, 8 branches in 4 months
sitio-couto/clangir

Apr 2023 - Dec 2025

Contributions:378 pushes, 124 branches in 2 years 8 months
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.
Request Free Trial