Romac

👨‍💻 About Me

I'm passionate about Formal Methods, Functional Programming, and Distributed Systems. My favorite languages include Rust, Scala, and Haskell, and I love exploring topics like Type Theory, FP and compiler construction.

• 🔭 Currently working at Informal Systems
• 🌍 Based in Lausanne, Switzerland
• 📫 Reach me at github@romac.me

---

⚡ Fun Facts

• 🕰️ On GitHub since July 2009
• 🎯 Always keen to chat about distributed systems, FP, or formal verification!

---

📚 Latest Projects

Check out my pinned repositories for what I'm currently working on.

---

🧑‍💻 Let's Connect

• Website

---

Thanks for stopping by!