Arthur Milchior
Software Engineer at Google
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top School
Top expert inAndroid Open Source Ecosystem
Arthur Milchior is a software engineer with 10 years of experience bridging research-grade formal methods and production engineering, currently working on Chrome iOS at Google and previously improving Google Assistant and AWS RedShift. With a PhD and postdoc in automata theory and model checking, he brings deep expertise in algorithms and formally grounded system design to shipping large-scale products. He is a long-time open-source maintainer of AnkiDroid (2+ million users, 4.8★), contributing backend scheduling and database improvements that show care for correctness and user-facing reliability. Based in Paris and only open to remote roles, Arthur combines academic rigor with pragmatic multilingual coding (Kotlin/Java, Rust, Python) and a history of community engagement in education and advocacy.
9 years of coding experience
1 year of employment as a software developer
Diplôme de l'École Normale Supérieure, Informatique - Mathématique, Diplôme de l'École Normale Supérieure, Informatique - Mathématique at Ecole normale supérieureLicence, Mathématique, Assez bien, Licence, Mathématique, Assez bien at Université Pierre et Marie Curie (Paris VI)Doctor of Philosophy - PhD, Fundamental Computer science, Doctor of Philosophy - PhD, Fundamental Computer science at Université Paris Diderot
French, English
Github Skills (9)
scheduling10
algorithms10
databases10
sched10
querying10
python10
anki10
scheduler10
database10
Programming languages (20)
Github contributions (5)
ankitects/anki
Nov 2018 - Feb 2022
Anki's shared backend and web components, and the Qt frontend
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 reviews, 246 commits, 163 PRs in 3 years 2 months
Contributions summary:Arthur primarily contributed to the backend of the Anki project, as evidenced by commits focused on scheduling algorithms and database interactions. They fixed bugs related to card ordering and the due dates of new cards. Furthermore, the user implemented changes in the exporting functionality, including the use of card IDs and a method for filtering the data being exported. These changes demonstrate a focus on improving the core functionality of the spaced repetition system and the user's ability to work with database queries.
desktopankicomputers
Arthur-Milchior/anki-resize-image
Feb 2020 - Jul 2021
Contributions:84 commits, 4 PRs, 37 pushes in 1 year 5 months
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.