Mallku聽Raffa
Assistant Lecturer In Computer Science. at CONICET
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 (8)
relation3
amdgpu3
inpainting2
docker2
nvidia-docker2
stable-diffusion1
coq1
gradio1
Programming languages (4)
Github contributions (5)
Mallku2/mallku2.github.io
Oct 2017 - Dec 2024
Contributions:16 pushes, 1 branch in 7 years 3 months
Mallku2/lua-redex-model
Aug 2017 - Apr 2020
Contributions:4 commits, 3 pushes, 1 branch in 2 years 8 months
Find and Hire Top DevelopersWe鈥檝e 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.