Luís Da Silveira
Head Of Research at mbd.xyz
Batumi, Autonomous Republic of Adjara, Georgia
Summary
👤
Senior🎓
Top SchoolLuís Da Silveira is Head of Research with eight years of experience bridging deep academic rigor and practical protocol engineering in decentralization and verifiable computing. He holds a PhD-level research background from the University of Ottawa and an MS from Universidade de São Paulo, with formal strengths spanning optimization, computational geometry, and cryptography. Fluent in C and Rust and proficient in over ten other languages and some formal methods, he specializes in performance-critical systems and secure low-level software. Luís has contributed to and advised multiple blockchain and security-focused organizations (Gensyn, Quantstamp, CasperLabs, Ritual) and now leads research at mbd.xyz. Beyond coding, he blends interests in programming languages, operating systems, philosophy, and economics to shape protocol design decisions with broader socio-technical context. Colleagues describe him as a mathematically grounded engineer who turns theoretical concepts—like zero-knowledge proofs—into practical, high-performance implementations.
8 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of OttawaUniversity of São Paulo
Portuguese, English, French, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (1)
cpp1
Github contributions (5)
Linzer-Cyberheart/Linzer-Cyberheart
Oct 2020 - Jan 2021
Contributions:150 commits, 151 pushes, 1 branch in 2 months
Linzer3L/Programacao-Estruturada-C-
Oct 2017 - Jul 2019
Contributions:8 PRs, 6 pushes, 9 branches in 1 year 9 months
cppprograma
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.