Sergio Bonatto

Software engineer focused on programming languages, type systems, and low-level systems.

Work spans formal methods, functional programming, and operating systems. Main interests include dependent type theory, proof languages, language interpreters, virtual machines, and minimalist kernels.

Experience ranges from low-level C and RISC-V systems work to high-level functional abstractions in Haskell. Projects often emphasize correctness, explicit semantics, and simple but rigorous implementations.

Areas of interest

• Programming languages and interpreters
• Lambda calculus and type systems
• Dependent types and proof assistants
• Operating systems and kernels
• Virtual machines and emulators
• Massively parallel and functional computation models

Technologies

• Languages: C, Haskell, Rust, TypeScript
• Formal methods: dependent types, proof development, type theory
• Systems: kernels, virtual memory, system calls, emulation
• Applications: distributed systems, web applications, tooling

Contact

• Twitter: https://twitter.com/fibonatto
• LinkedIn: https://www.linkedin.com/in/sergiobonatto
• Website: https://bonatto.vercel.app
• Discord: fibonatto