Tilo Reneau-cardoso
Open Source Software Developer & Community Member (SymPy) at Independent
Culver City, California, United States
Summary
🤩
Rockstar🎓
Top SchoolTilo Reneau-cardoso is an open source software developer and SymPy community mentor from Culver City, CA, studying Computer Science and Mathematics at Pomona College. Over five years of experience includes a Google Summer of Code project that added an SMT solver and linear programming features to SymPy, and ongoing work implementing a novel SMT algorithm that currently doubles the speed of SymPy’s assumptions engine. He has mentored newcomers through Git/GitHub and code-review workflows, merging a dozen high-quality PRs and guiding fixes for accuracy-critical bugs in a widely used pure-Python computer algebra system. His research at the University of Chicago explored defenses against gradient inversion in federated learning, showing non-SGD optimizers improve privacy—an angle that bridges symbolic math, numerical optimization, and practical ML privacy.
5 years of coding experience
Computer Science, MATHEMATICS AND STATISTICS, Computer Science, MATHEMATICS AND STATISTICS at Pomona College
English, Spanish, Chinese
Github Skills (10)
computer-algebra10
math10
python10
sympy10
sym10
maths10
data-structure9
algorithm9
data-structures9
algorithms9
Programming languages (7)
Github contributions (5)
sympy/sympy
Mar 2023 - Apr 2025
A computer algebra system written in pure Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:360 reviews, 41 PRs, 11 pushes in 2 years 1 month
Contributions summary:Tilo primarily focused on improving the functionality of the SymPy library, a computer algebra system written in Python. They addressed a bug related to the `Polygon.angles` function, ensuring the correct calculation of interior angles and clarifying the orientation logic. Additionally, the user fixed an issue within the assumptions module, refining the handling of predicates in logical expressions, improving the reliability of the system. Further contributions included removing commented-out code and addressing formatting for improved readability.
mathpythonsciencecomputer-algebra-systemalgebra
TiloRC/reddit_post_tracker
Jul 2021 - Apr 2022
Contributions:24 commits, 46 pushes, 2 branches in 9 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.