- 💡 Passionate about Formal Methods, Functional Programming, Distributed Systems, Compiler Construction, and OS Development
- 🛠️ I typically explore these topics in Rust, Scala, and Haskell
- 👨💻 Currently working as a Senior Staff Software Engineer at Circle
- 🇨🇭 Based in Lausanne, Switzerland
- 🗓️ On GitHub since July 2009
- 💾 My first computer was a Macintosh Classic
- 🍎 The first programming language I learned is AppleScript
romac/romac
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|