- 👋 Hi, I’m a computer nerd from Switzerland who likes thinking about languages and how we can make them better.
- 👀 I like designing tools that make it easier to describe complex things correctly and reliably.
- 📫 You can reach me via email ([email protected]) or on mastodon.
- ✨ You can find my favorite stuff pinned on my profile ;), as well as on personal my website (WIP).
- Most of my work is usually on a compiler or a compiler-like verification tool.
- I like using MLIR for the compiler-esque things I do.
- I will sometimes dable in something completely unrelated, so always keep your eyes open for that ;).
- I like reasoning about hardware, but I am an awful hardware engineer ^^".
- Most of my work here will be on the languages people use to implement and verify their designs.
- I'm a frequent contributor to CIRCT and sometimes Chisel.
- I'm currently looking into various verification problems, like solver parallelization or datapath validation.
- Godot is great, lightweight, easy to use and FOSS.
Here is a list of the different projects that I'm currently actively working on.
- Field: Hardware Verification / Hardware Compilers
- Language: C++ / MLIR / LLVM / FIRRTL / Scala / BTOR2 / SMTLib / SystemVerilog
- Description: Extending and unifying the verfication features of CIRCT.