Matteo Di Pirro

Enthusiastic software engineer who specializes in the theory of programming languages and type safety.

https://mdipirro.github.io/

ABOUT ME

Fascinated by computer science since my childhood, I am an enthusiastic software engineer who specializes in the theory of programming languages and type safety. Since the first time I learned about type systems, I've been applying them to craft safe- and secure-by-construction software. My job involves designing and developing embedded and distributed applications. I aim to implement complex systems in a simple and maintainable way. I firmly believe that use cases strongly affect the architecture of the software. Hence, I enjoy learning and experimenting with new technologies and languages, looking for effective ways to employ them.