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 (153)
programming-language10
polygons10
science10
julia10
vscode10
machine-learning10
hpc10
julialang9
convex-hull9
interval-arithmetic9
python9
gpu9
deep-learning9
mixed-integer-programming9
visualization9
Programming languages (15)
Github contributions (5)
chelseas/OVERT
Jun 2020 - Jul 2021
Contributions:100 pushes, 3 branches in 1 year 1 month
sisl/OVERTVerify.jl
Dec 2018 - Jul 2022
Contributions:605 commits, 18 pushes, 3 branches in 3 years 8 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.