Manuel Carrasco
Senior Software Engineer at AMD
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolManuel Carrasco is a Senior Software Engineer and PhD candidate at Imperial College London with 13 years of experience building reliable compilers, verification tools, and game-server backends. He blends research-grade expertise in SMT solving, symbolic execution and whitebox fuzzing with hands-on compiler engineering—most recently improving AMDGPU backend reliability through fuzzing and implementing an ALL-SMT algorithm in Rust for AWS to reason about IAM policies. His open-source work includes substantial backend and AI contributions to the widely used TrinityCore MMO framework and WoW emulator projects, where he refactored AI logic and movement systems to improve core game mechanics. Manuel has led technical teams to productionize LLVM-based obfuscation pipelines for Java/Android at Quarkslab and has experience modeling asynchronous programs for formal verification. Comfortable moving between deep formal methods and pragmatic systems engineering, he often applies solver-driven insights to hard production problems.
13 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Imperial College LondonMaster's degree Computer Science, Master's degree Computer Science at University of Buenos Aires
English, Spanish
Github Skills (16)
mop10
open-source10
wow-js10
artificial-intelligence10
c-language10
game-development10
cprogramming-language10
emulation10
ai10
ais10
scripting9
multiplayer-game9
multiplayer9
trinitycore9
mmo7
Programming languages (12)
Github contributions (5)
TrinityCore/TrinityCore
Feb 2013 - Oct 2016
TrinityCore Open Source MMO Framework (master = 11.1.0.60037, 3.3.5 = 3.3.5a.12340, cata classic = 4.4.1.59069)
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 1 PR, 2 comments in 3 years 9 months
Contributions summary:Manuel primarily contributed to the game's AI systems. Their work included inheriting and refactoring AI logic, removing obsolete code, and implementing new functionalities such as combat movement control and support for monster sparring. Furthermore, the user made changes to the movement generator and applied changes to facilitate AI behavior. These changes demonstrate a focus on improving core game mechanics.
trinitycoreazerothcorelinuxmastermmo-framework
ProjectSkyfire/SkyFire_548
Feb 2013 - Feb 2013
SkyFireEMU is a full featured World of Warcraft: Mists of Pandaria emulator written in C++. || Compatible with World of Warcraft client 5.4.8 (Build: 18414) Project Established in 2011 || Support on Discord https://discord.gg/DnKZycD
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits in 1 day
Contributions summary:Manuel primarily contributed to the server-side logic and AI components of the World of Warcraft emulator. They modified core AI functionalities, specifically refining the behavior of creatures by implementing combat movement controls and removing obsolete code. The commits show the user's focus on improving the existing AI implementation, optimizing code, and adapting the game's internal mechanisms for specific creature behaviors.
full-featuredemulatorcpppandariatrinitycore
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.