Mallku Raffa
Assistant Lecturer In Computer Science. at Universidad Nacional de Córdoba
Minas Gerais, Brazil
Summary
👤
Senior🎓
Top SchoolMallku Raffa is a postdoctoral researcher and assistant lecturer in computer science with over a decade of experience bridging formal verification and practical software engineering. Based at ICEx, UFMG and affiliated with CONICET and Universidad Nacional de Córdoba, he develops proof certificates for SMT solvers and mechanized formal semantics using dependent-type proof assistants like Coq. His work emphasizes languages and type systems that both express concepts precisely and support machine-checked reasoning, reflecting a deep interest in foundational approaches to program correctness. Beyond research, he has hands-on experience across full-stack web development, systems programming and game engines, bringing pragmatic engineering skills to formal methods projects. An active member of the programming languages research community, he contributes as reviewer and committee member for international venues, blending rigorous academia with applied tool development.
11 years of coding experience
1 year of employment as a software developer
Bachelor's degree, Computer Science, 9.04, Bachelor's degree, Computer Science, 9.04 at Universidad Nacional de Córdoba
English, Portuguese
Github Skills (11)
ear8
music-composition7
music-theory7
music6
rewrite-rules5
midi5
audio4
relation3
stable-diffusion1
coq1
gradio1
Programming languages (6)
Github contributions (5)
Mallku2/mallku2.github.io
Oct 2017 - Aug 2025
Contributions:18 pushes, 1 branch in 7 years 11 months
cvc5/AletheInEunoia
Oct 2024 - Jun 2026
Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF
Contributions:8 reviews, 11 PRs, 3 pushes in 1 year 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.