Alex Pronin is a Senior Data Scientist with a decade of experience building production data products and ML-driven applications for Google, Genentech/Roche, Verisk Analytics, and EPAM. He combines a PhD in Mathematics and an MS in Statistics with hands-on expertise in Python, R, SQL and Big Data tooling to deliver recommender systems, marketing optimization, and high-impact predictive models across healthcare, insurance, and commercial domains. Alex has shipped R packages and Shiny/Flask apps for analytics and visualization, and uniquely pairs applied ML with low-level systems experience—contributing to the popular Tock embedded OS by hardening RISC-V memory protection. Based in Mountain View, he focuses on translating complex statistical problems into production-ready solutions and actively seeks collaborations in Data Science and Machine Learning.
10 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy (PhD), Mathematics, Doctor of Philosophy (PhD), Mathematics at Tomsk State University
Master of Science (MS), Statistics, Master of Science (MS), Statistics at University of Kentucky
A secure embedded operating system for microcontrollers
Role in this project:
Embedded Systems Engineer / IoT Developer
Contributions:24 commits, 4 PRs, 10 comments in 8 months
Contributions summary:Alex primarily contributed to the `tock/tock` repository by fixing and improving the configuration of the PMP (Protection Memory Protection) registers within the RISC-V architecture. These changes involved precise adjustments to memory addresses and access permissions, ensuring the secure operation of the embedded operating system. The user also updated the CSR (Control and Status Register) definitions for PMP registers and implemented the Display trait for PMP regions and configurations for improved debugging information. This work involved modifying the core components of the operating system related to memory protection, demonstrating a strong understanding of embedded systems.
A secure embedded operating system for microcontrollers
Contributions:9 commits, 4 PRs, 8 pushes in 1 month
securenrf52operating-systemrtosoperating
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.