Bea Healy
Research Scientist (Intern) at Mosaic SoC
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolBea Healy is a PhD candidate in Computer Science based in Cambridge with roughly four years of hands-on experience bridging hardware, compilers, and formal verification. She has contributed to major open-source EDA tooling—most notably enhancing the Yosys synthesis suite with register file mapping, custom primitives, and flow integrations for FABulous—while working on FPGA fabric generation and bitstream tooling across Manchester and Edinburgh research projects. Her work combines practical engineering (CI, Docker, scripting) with research outputs presented at FPGA-focused venues, and she has taught advanced computer architecture to undergraduates. Bea’s background in managing technical teams and festival-scale equipment operations reveals a pragmatic problem-solver comfortable both in lab codebases and real-world logistics.
5 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Informatics, Doctor of Philosophy - PhD Informatics at The University of EdinburghBachelor of Engineering - BE Computer Systems Engineering, Bachelor of Engineering - BE Computer Systems Engineering at The University of ManchesterDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of CambridgeHayesfield Mixed Sixth Form
English, French, Italian
Github Skills (4)
yosys10
scripting10
verilog10
makefile7
Programming languages (10)
Github contributions (5)
YosysHQ/yosys
Sep 2022 - Sep 2022
Yosys Open SYnthesis Suite
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 commits in 2 days
Contributions summary:Bea focused on enhancing the Yosys Open SYnthesis Suite by introducing and refining functionalities related to hardware synthesis. Their work involved implementing register file mappings, modifying the synthesis flow, and incorporating custom primitive libraries. The user re-introduced and corrected flags for a FABulous VPR flow which involved code changes within synthesis scripts and the addition of a new script pass.
yosys
TaoBi22/FABulous
Sep 2021 - Mar 2025
FABulous fork for testing separate from the main repo
Contributions:6 PRs, 62 pushes, 19 branches in 3 years 7 months
testingfabulousseparatemain-repo
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.