Chelsea Sidrane
Postdoctoral Researcher at KTH Royal Institute of Technology
Sweden
Summary
👤
Senior🎓
Top SchoolChelsea Sidrane is a postdoctoral researcher at KTH Royal Institute of Technology with a decade of experience at the intersection of machine learning and formal methods, focusing her PhD on verification of neural networks used in nonlinear systems. Based in Sweden, she blends rigorous academic training from Cornell and Stanford with hands-on research translating theoretical verification techniques into tools for safer, more reliable AI. Chelsea’s work emphasizes provable guarantees for complex models—an uncommon focus that bridges control theory and modern deep learning. Colleagues describe her as methodical and curious, often exploring practical implementations of verification ideas beyond pure theory.
10 years of coding experience
Bachelor of Science (BS), Bachelor of Science (BS) at Cornell UniversityHigh School Diploma, High School Diploma at George W. Hewlett High SchoolStanford University
French, Chinese, English
Github Skills (200)
programming-language10
python10
polygons10
verify10
integer10
interval-arithmetic10
root-finding10
convex-hull10
science10
julia10
numerical10
jupyter-kernels10
machine-learning10
hpc10
petsc10
Programming languages (14)
Github contributions (5)
chelseas/OVERT
Jun 2020 - Jul 2021
Contributions:100 pushes, 3 branches in 1 year 1 month
sisl/OVERT.jl
Jul 2021 - Dec 2022
Contributions:1 release, 76 commits, 29 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.