Amelia Dobis
Compiler Engineer at Princeton Computer Science
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolAmelia Dobis is a PhD student in Computer Science at Princeton specializing in programming languages and formal verification for hardware and software, with an MSc from ETH Zürich and a BSc from EPFL. She brings six years of hands-on experience building verification tooling—contributing backend changes to the widely used Chisel hardware-design language and extending CIRCT to support higher-level formal constructs. Her work spans compiler engineering, computer architecture, and language design, informed by industry experience as a compiler engineer at SiFive and research stints at Berkeley. An experienced educator, she teaches systems programming, compilers, and ARM assembly while publishing peer-reviewed research. Outside academia, she channels her technical creativity into award-winning game projects, blending rigorous verification expertise with practical software and game development.
7 years of coding experience
5 years of employment as a software developer
Master Thesis Computer Science, Master Thesis Computer Science at University of California, BerkeleyHigh School Maturité Gymnasiale Fédérale - Bilingue Anglais/Français - OS BioChimie, High School Maturité Gymnasiale Fédérale - Bilingue Anglais/Français - OS BioChimie at Institut Florimont - GenèveDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Princeton UniversityBachelor of Science - BSc Computer Science, Bachelor of Science - BSc Computer Science at EPFLMaster of Science - MSc Computer Science, Master of Science - MSc Computer Science at ETH Zürich
English, French, Portuguese, German, Japanese, Danish
Stackoverflow
65reputation
486reached
0answers
2questions
Github Skills (12)
systemverilog10
chisel10
scala10
verilog9
rt9
firrtl9
code-coverage6
raytracing6
uint6
chip86
generator6
hardware-acceleration6
Programming languages (11)
Github contributions (5)
chipsalliance/chisel
May 2024 - Oct 2024
Chisel: A Modern Hardware Design Language
Role in this project:
Backend Developer
Backend DeveloperContributions:5 reviews, 9 PRs, 2 pushes in 5 months
Contributions summary:Amelia contributed to the Chisel project, a hardware design language, by implementing and modifying LTL (Linear Temporal Logic) functionality. Their work involved adding new property operations such as `until`, `intersect`, `repeat`, and `goto_repeat` which are crucial for formal verification. They also refactored existing code by deprecating and folding the `disable` intrinsic into the `assert` intrinsic, streamlining the verification process. Furthermore, the user added the btor2 target and provided tests to check the emitted code.
chiselhardware-designschisel3scalafirrtl
dobios/Dobios
Oct 2022 - Jun 2026
Contributions:39 pushes, 1 branch in 3 years 7 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.