• 👋 Hi, I’m a computer nerd from Switzerland.
• 📫 You can reach me via email (amelia.dobis@princeton.edu).
• ✨ You can find my favorite stuff pinned on my profile, as well as on personal my website.
• I am trying to move my personal projects to codeberg, as it's EU-based and not forcing LLMs down everyone's throat like some platforms, so please join me there :)

---

Overview: My current focus is shifting towards hardware language interop.

For Software

• Most of my work is usually on a compiler or a compiler-like verification tool, for which I typically use MLIR.
• I will sometimes dable in something completely unrelated, so always keep your eyes open for that ;).

For Hardware

• I like reasoning about hardware, and have recently gotten back into actually building hardware using Spade.
• Most of my work here is on trying to unify the hardware ecosystem, by allowing languages to interoperate by sharing tooling and hopefully also, some day, by sharing type-systems.
• I try to use CIRCT for a lot of what I do, either in the main repo, or on my fork when it's a bit more niche.

For Video-Games

• Godot is great, lightweight, easy to use, and FOSS.