Andres Solarte
Colombia
Summary
🤩
Rockstar🎓
Top SchoolAndres Solarte is a data scientist and security-minded back-end engineer from Colombia with 13 years of experience applying AI, machine learning, and cloud architectures to real-world extraction and analytics problems. He has designed and led Azure-based solutions that unify OCR, speech-to-text, Azure OpenAI and serverless workflows to extract and classify data from PDFs, images and audio at scale. A prolific open-source contributor in low-level tooling, Andres has improved symbolic execution and CPU emulation projects (notably contributions to trailofbits/manticore and unicorn-engine) by adding ARM/APSR and x86 FPU/register support and hardening analysis primitives. He blends rigorous engineering with product-facing PoC work, routinely translating research-grade capabilities into client-ready services and automations. Known for a hands-on, experimental approach (“I try to break stuff”), he brings both offensive security insight and practical data engineering to complex systems. His background in economics and marketing gives him an uncommon grasp of business metrics and stakeholder-driven prioritization.
13 years of coding experience
2 years of employment as a software developer
Bachelor in Economics and International Business, Economics and International Business, Bachelor in Economics and International Business, Economics and International Business at Universidad ICESI
Spanish, English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
assembly10
python10
evm10
cpu10
x8610
security10
x86-6410
assemble10
assembler10
arm10
web-framework10
symbolic-execution10
reverse-engineering10
emulation10
architecture9
Programming languages (11)
Github contributions (5)
trailofbits/manticore
Mar 2017 - Jun 2022
Symbolic execution tool
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:4 releases, 32 reviews, 368 commits in 5 years 4 months
Contributions summary:Andres made significant contributions to the `trailofbits/manticore` project, a symbolic execution tool. Their work primarily focused on improving the analysis capabilities of the tool, specifically by implementing support for ARM APSR registers, and X86 instructions such as PUNPCKL. They also made security-related improvements, such as making the CPUID function more robust and fixing bugs. Their contributions also include refactoring the EVM test system.
symbolic-executionbinary-analysispythonsmtethereum
unicorn-engine/unicorn
Mar 2016 - Mar 2017
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 5 PRs, 1 comment in 1 year
Contributions summary:Andres primarily contributed to the x86 and ARM emulation aspects of the Unicorn CPU emulator framework. They made changes to the Python bindings, enabling access to x86 memory-management registers and floating-point registers. Additionally, they added support for ARM application flags (APSR register) and modified the x86 emulation code to include and fix register handling related to floating point units (FPU) and control words. These changes enhance the accuracy and functionality of the emulator.
emulatorglibcarm64cpus390x
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.