Mert Dumenci
Senior Machine Learning Engineer at Apple
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolMert Dumenci is a Senior Machine Learning Engineer with 13 years of experience, currently designing and prototyping intelligent system experiences for Apple Intelligence after a long tenure building Shortcuts, system tools, and language/runtime features. He blends systems engineering, programming-language and compiler design with applied ML—work rooted in his research at Georgia Tech on neural-guided SAT solving and formal program equivalence. At Apple he’s shipped platform-level tooling and runtimes that bridge user-facing automation and low-level type systems, and briefly contributed to product engineering at xAI. Based in San Francisco, he pairs academic rigor with product-focused delivery, often working at the intersection of formal methods and practical ML to make complex automation feel simple.
13 years of coding experience
8 years of employment as a software developer
Bachelor of Science with Research Option, Computer Science, Bachelor of Science with Research Option, Computer Science at Georgia Institute of Technology
English, Turkish
Stackoverflow
91reputation
8kreached
0answers
5questions
Github Skills (29)
tor8
openconnect8
openvpn8
openssh7
ssh7
iphone6
ansible6
stunnel6
wireguard6
objective-c6
ios6
anyconnect6
vpn6
ipad6
cocoapods5
Programming languages (7)
Github contributions (5)
mertdumenci/sat-ml
Nov 2018 - Nov 2019
Playing around with SAT solvers.
Contributions:2 PRs, 49 pushes, 2 branches in 1 year
sat-solver
zetachang/IssueKit
Jun 2013 - Jul 2013
Contributions:38 commits in 1 month
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.