José Baena
Software Engineer at VirusTotal
Andalusia, Spain
Summary
👤
Senior🎓
Top SchoolJosé Baena is a software engineer with 14 years' experience building scalable search, indexing and visualization systems for large malware corpora at VirusTotal (Alphabet/Chronicle). He combines a strong academic background—a PhD focused on formal coordination and verification of distributed systems—with hands-on front- and back-end development, data analysis, and security-minded engineering. His work spans production search pipelines and UI tooling to help analysts quickly surface and understand threats, reflecting deep experience in both research and operational environments. Previously he contributed to anti-abuse systems and moonshot projects at Google and X, and has applied model-checking and ML techniques during research stays such as at SRI International. Based in Andalusia, José brings a rare mix of formal methods expertise and pragmatic system-building that helps turn complex security requirements into reliable, auditable software.
13 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, 4.0, Doctor of Philosophy (PhD), Computer Science, 4.0 at Universidad de Málaga
English, Spanish
Github Skills (13)
textarea3
javascript3
chrome-extension3
browser-extension2
firefox-addon2
firefox2
chrome2
vi1
android-application1
passwords1
android1
opera1
security1
Programming languages (1)
Github contributions (4)
jamartinb/pyema
Jun 2012 - Nov 2012
Contributions:16 commits in 4 months
jamartinb/vtsoc
Dec 2020 - Dec 2020
Contributions:10 pushes, 1 branch in 1 day
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.