Antonio Montoya - Applied Scientist at Amazon

Antonio Montoya

Applied Scientist at Amazon

Jersey City, New Jersey, United States

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Antonio Montoya is an applied scientist with 11 years of experience bridging formal methods, static program analysis, and practical binary analysis to find vulnerabilities and improve tooling. He holds a summa cum laude PhD from TU Darmstadt where he advanced automatic resource and termination analyses and built the prototype CoFloCo, later extending these techniques to concurrent programs and deadlock/MHP analyses. At GrammaTech he translated research into applied solutions, and his open-source contributions include enhancing ELF parsing and MIPS support in the widely used LIEF project and improving the Soufflé Datalog compiler's internals and performance. Now at Amazon, he combines deep theory with hands-on backend and test automation expertise to tackle real-world security and analysis challenges. Colleagues describe him as someone who consistently turns sophisticated formal techniques into robust, test-covered engineering.

11 years of coding experience

8 years of employment as a software developer

North Carolina State University

Technischen Universität Darmstadt

Master's degree, Computer Science, 93.4%, Master's degree, Computer Science, 93.4% at Universidad Complutense de Madrid

Spanish, English, German

Github Skills (22)

parserator10

parser10

datalog10

c-language10

executable10

flet10

logic-programming10

binarydiff10

ff10

elf10

translator10

translators10

rust10

cprogramming-language10

mips10

Programming languages (10)

JavaC++ShellCOCamlJavaScriptGoProlog

Github contributions (5)

souffle-lang/souffle

Feb 2019 - Jan 2022

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Role in this project:

Back-end Developer

Contributions:4 reviews, 19 commits, 9 PRs in 2 years 11 months

Contributions summary:Antonio primarily focused on enhancing the Soufflé Datalog compiler by introducing new functionalities and improving its internal structure. Their contributions include adding a C++ interface to purge relations, providing methods to manage input, output, and internal relations. Furthermore, the user refactored the code for consistency and implemented optimizations, specifically addressing indexed min aggregate operations. The user also addressed representation consistency in the cloning of relations.

logic-programminganalysesc-plus-plusc-programlogic

lief-project/LIEF

Mar 2020 - Dec 2022

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

Role in this project:

Back-end Developer & Test Automation Engineer

Contributions:8 commits, 7 PRs, 7 comments in 2 years 9 months

Contributions summary:Antonio focused on improving the parsing of ELF (Executable and Linkable Format) files, particularly concerning relocation sections, and adding support for MIPS architecture. They modified the ELF parser to handle dynamic and section relocations correctly and avoid parsing the same relocations multiple times. Furthermore, the user added and refined testing capabilities by introducing a test suite to validate binaries featuring numerous relocation sections.

vdexbinary-analysispythonelfexecutable-formats

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