Heila-marié Botha
Lead Software Engineer at Entersekt
Stellenbosch Local Municipality, South Africa
Summary
👤
Senior🎓
Top SchoolHeila-marié Botha is a Lead Software Engineer with 14 years of experience building scalable, cloud-native systems and leading engineering teams at Entersekt. Her background blends rigorous academic research—a PhD in Computer Science focused on applying model checking to Android apps—with practical leadership, having progressed through roles from developer to cloud team lead and now lead engineer. She has a track record of improving analysis tooling and developer productivity, informed by internships and research stints at NASA Ames and contributions to Java PathFinder-related projects. Based in Stellenbosch, South Africa, she combines deep verification and testing expertise with hands-on cloud architecture and people management, often translating formal methods insights into production improvements.
14 years of coding experience
14 years of employment as a software developer
BSc Honours Computer Science, BSc Honours Computer Science at Stellenbosch UniversityMatric, Matric at Framesby High School
Github Skills (5)
vscode3
go-language3
vscode-extension3
golang2
visual-studio-code2
Programming languages (1)
Github contributions (4)
micklinISgood/JPF-Android
May 2012 - Nov 2013
Contributions:159 commits in 1 year 6 months
heila/go-hello-world
Apr 2019 - Apr 2019
Contributions:1 push, 1 branch in 1 day
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.