Barbara Gigerl
Design Verification Engineer
United Kingdom
Summary
👤
Senior🎓
Top SchoolBarbara Gigerl is a Design Verification Engineer at Apple with 11 years of experience and a freshly completed PhD from Graz University of Technology focused on secure systems, power analysis attacks, and formal verification of masked implementations. She blends deep academic expertise in cryptographic side-channel analysis and formal techniques with practical systems and software engineering skills developed through internships and teaching roles. Her background includes dual master's degrees with distinction in Computer Science and Software Engineering & Management, and research stints tackling formal methods in machine learning and large-scale text indexing. Comfortable moving between theory and implementation, she brings a rare combination of rigorous verification mindset and hands-on engineering experience applied to secure hardware and software.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Technische Universität Graz
English, German, Spanish
Github Skills (17)
python-bindings8
oscilloscope8
verilog7
chisel6
formal-verification6
linux6
python6
cpp5
rocket-chip5
verilator5
scala5
systemc5
windows5
systemverilog5
kernel4
Programming languages (4)
Github contributions (5)
IAIK/coco-ibex
Nov 2020 - Jul 2022
Contributions:3 commits, 1 push, 1 branch in 1 year 8 months
barbara-gigerl/operating_systems_ws19
Mar 2018 - Oct 2018
Contributions:1 push, 1 branch in 6 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.