Martin Trojer
Software Engineer at Meta
Stony Stratford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMartin Trojer is a pragmatic software engineer and architect with 14+ years of experience building high-performance systems across game engines, static analysis, finance, and IoT. Currently on Meta’s Infer team, he brings deep functional-programming fluency (Clojure, F#, Scala) and systems expertise in Rust, C/C++, and Python to improve tooling and reliability at scale. His background spans lead engineering roles and greenfield projects—from the Defold game editor UI to memory-leak analysis in Facebook Infer and low-latency trading engines—demonstrating a comfort with both front-end editor work and heavy backend analysis. A habitual open-source contributor and polyglot, he focuses on concurrency, parallelism, and robust architectures, and often combines research-minded techniques (symbolic execution, dynamic tracing) with practical production delivery. Based in the UK, he pairs hands-on development with a history of technical leadership and an appetite for exploring new languages and methodologies.
14 years of coding experience
12 years of employment as a software developer
MSc. C.S., Computer Science, MSc. C.S., Computer Science at The Faculty of Engineering at Lund University
Swedish, English
Github Skills (15)
clojure10
objective-c10
static-code-analysis10
c-language10
static-analysis10
cpp10
game-development10
cprogramming-language10
game-engine10
software-quality10
clojure-cli10
ui-design9
javas8
java8
lua5
Programming languages (15)
Github contributions (5)
defold/defold
Jan 2016 - Jul 2016
Defold is a completely free to use game engine for development of desktop, mobile and web games.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:112 commits in 6 months
Contributions summary:Martin's commits primarily involve modifications to Clojure code within the "editor" directory of the Defold game engine repository. These changes range from fixing namespaces and enabling debugging workflows to implementing a search-in-files dialog and refactoring the code for better UI performance. The user also updated the project configuration to support features such as direct-linking and included various library version bumps. The contributions improved editor functionality, and overall development workflow.
gamegamesdefoldgamedevc-plus-plus
facebook/infer
Jun 2018 - Jan 2023
A static analyzer for Java, C, C++, and Objective-C
Role in this project:Back-end Developer
Back-end DeveloperContributions:106 commits, 1 PR, 1 push in 4 years 7 months
Contributions summary:Martin made several commits related to the static analysis of code, specifically focusing on improving the Infer static analyzer. Their contributions included handling improper version strings in Objective-C code, adding and fixing tests for Objective-C++ (objcpp) liveness, and implementing models and tests for memory leaks. The commits also included modifications to the analysis of Objective-C blocks and code related to string manipulation. The user's focus appears to be on improving the accuracy and breadth of the static analysis capabilities of the Infer tool.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
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.