Ella Ben-tov
Principal Program Manager - Education
Israel
Summary
🤩
Rockstar🎓
Top SchoolElla Ben-tov is a Principal Program Manager at Microsoft with over two decades of industry experience and more than a decade focused on product leadership and AI-driven initiatives in education and media. She blends deep technical roots—starting as a software engineer and contributing to projects like the P programming language compiler and testing tools—with strategic product roles spanning Power BI, Video Indexer, and enterprise SaaS at Clarizen. Known for translating complex technical constraints into user-centered product roadmaps, she leads cross-functional teams to deliver scalable, data-rich experiences for educators and enterprise customers. Ella’s background in cognitive science and an MBA underpin a pragmatic, research-informed approach to product design and measurement. Based in Israel, she brings a rare mix of hands-on engineering, rigorous testing discipline, and program leadership honed across both defense technology and commercial cloud services.
11 years of coding experience
16 years of employment as a software developer
MBA, MBA at Tel Aviv UniversitySchool of Computer Professions ("Mamram") - IDFB.Sc, Computer Science and Cognitive Science, B.Sc, Computer Science and Cognitive Science at The Hebrew University
English, Hebrew
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (9)
test-framework10
testing10
programming-language9
compiler-design9
formal-methods8
model-checking8
azure6
azure-cognitive-services6
azure-media-services6
Programming languages (1)
Github contributions (5)
p-org/P
Sep 2014 - Feb 2018
The P programming language.
Role in this project:
Back-end Developer & Testing Engineer
Back-end Developer & Testing EngineerContributions:297 commits, 155 pushes, 6 comments in 3 years 5 months
Contributions summary:Ella contributed to the development of the P programming language, with code changes including modifications to the `PToZing.cs` file, related to the compilation and processing of P code, and modifications to sample regression tests. The commits indicate involvement in the testing and validation of the compiler and runtime tools, particularly the `pc.exe` and `zinger.exe` tools. Their work includes adding tests, addressing errors, and improving the functionality and accuracy of the testing framework and associated samples.
model-checkingcoq-librarytlaformal-verificationcompiler
p-org/TraceVisualizer
Jan 2018 - Mar 2018
Contributions:19 pushes, 1 branch in 1 month
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.