Amelia Dobis
Teaching Assistant at Princeton Computer Science
Philadelphia, Pennsylvania, United States
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.
6 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 EPFL (École polytechnique fédérale de Lausanne)Master 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)
scala10
systemverilog10
chisel10
rt9
firrtl9
verilog9
code-coverage6
raytracing6
uint6
chip86
generator6
hardware-acceleration6
Programming languages (9)
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.
rtlasicvhdllanguage-designeda
dobios/circt
Oct 2023 - Aug 2024
Circuit IR Compilers and Tools
Contributions:7 PRs, 166 pushes, 16 branches in 10 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.