I'm an enthusiastic young software engineer who specialized 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.

As part of my job, I take part in the design and development of embedded as well as distributed applications, aiming at implementing 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.