Building reliable software with mathematical precision and functional elegance
A Software Engineer passionate about formal methods, functional programming, and system design. I specialize in crafting mathematically sound proofs and formally verifying algorithms, always aiming for clean and reliable systems.
My work involves:
- Formal Verification: Working with Agda and Haskell for mathematical proofs and program verification
- Functional Programming: Building systems with an emphasis on immutability and type safety
- Web Development: Creating applications using React and TypeScript
- Distributed Systems: Developing with a focus on concurrency patterns
main = do
putStrLn "Functional: Haskell • Agda • Idris"
putStrLn "Systems: Rust • Python • TypeScript"
putStrLn "Web: React • Next.js • JavaScript"| Technology | Icon |
|---|---|
| Haskell |  |
| Agda |  |
| Idris |  |
| Rust |  |
| Python |  |
| TypeScript |  |
| JavaScript |  |
| React |  |
Feel free to reach out on any of the following platforms:
- Discord:
fibonatto - X — Sharing thoughts and updates
- LinkedIn — Professional connections
- Email: [email protected] — Drop me a message anytime
- Website — Explore my projects and ideas
🛠️ Built with λ love by Sergio Bonatto