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 (23)
verilog8
simulator7
oscilloscope7
risc7
python-bindings7
spike7
cpp6
verilator6
systemc6
scala6
logger6
logging5
lint5
chisel5
linux5
Programming languages (5)
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.