David Teller
Staff Software Engineer at GitLab
Lyon, Auvergne-Rhône-Alpes, France
Summary
🤩
Rockstar🎓
Top SchoolDavid Teller is a Staff Software Engineer and multidisciplinary leader with 14+ years building high-impact, production-grade systems across open-source projects and industry R&D. He combines deep systems and language/runtime expertise—contributing to projects like Redox OS and the Servo browser engine—with applied research in trust & safety for federated networks (Matrix) and quantum-software coordination at PASQAL. Comfortable leading small-to-medium cross-functional teams, he turns ambiguous problems into measurable plans, reliable code and robust tooling, often improving type safety, performance and maintainability along the way. An experienced mentor and public speaker, he also bridges legal, product and community stakeholders to ship open-source libraries and APIs. Uniquely, he began shipping commercial software at 13 and still brings that early-maker curiosity to complex problems in static analysis, distributed systems and compiler/runtime design.
14 years of coding experience
29 years of employment as a software developer
MP* Mathematics Physics, MP* Mathematics Physics at Lycée CharlemagnePhD Computer Science, PhD Computer Science at École normale supérieure de Lyon
English, French, German, Spanish, Italian, Spanish, Italian
Stackoverflow
4,021reputation
273kreached
53answers
30questions
Github Skills (36)
asynchronous10
webbrowser10
context-manager10
software-design10
python10
apidoc10
async10
context-api10
system-design10
webengine10
microkernel10
matrix-org10
syn10
api10
sys10
Programming languages (16)
Github contributions (5)
matrix-org/synapse
Dec 2020 - Jul 2022
Synapse: Matrix homeserver written in Python/Twisted.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:52 reviews, 26 commits, 22 PRs in 1 year 7 months
Contributions summary:David primarily contributed to the back-end logic and functionality of the Synapse homeserver, focusing on improvements related to spam detection and user account management. They implemented asynchronous methods for spam checker modules, enhancing the server's ability to handle potential spam effectively. The user also worked on the admin API, adding support for remote users and implementing a new API endpoint for retrieving event contexts within rooms. These contributions improve the performance, security and administrative capabilities of the Matrix homeserver.
pythonmatrix-synapsematrix-synapse-homeserverhomeservermatrix
redox-os/redox
Nov 2016 - Nov 2016
Mirror of https://gitlab.redox-os.org/redox-os/redox
Role in this project:System Architect / Software Architect
System Architect / Software ArchitectContributions:5 commits, 12 PRs, 39 comments in 10 days
Contributions summary:David primarily focused on refactoring and restructuring core components of the Redox OS kernel. Their contributions included introducing new data types like `ContextId`, `FileHandle`, and `SchemeId`, replacing existing `usize` usages to enhance type safety and prevent common programming errors. This work involved modifying multiple kernel modules related to context management, syscall handling, and file system operations, reflecting a focus on improving the system's overall architecture and code maintainability. The user also improved code documentation, suggesting a focus on maintainability.
microkernelredoxoperating-systemrustgitlab
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.