Fascinated by computer science since his childhood, Matteo is an enthusiastic young software engineer who specialized in the theory of programming languages and type safety. Since the first time he learned about type systems, he has been applying them to craft safe- and secure-by-construction software.
At Kynetics he takes part in the design and development of embedded as well as distributed applications, aiming at implementing complex systems in a simple and maintainable way. He firmly believes that use cases strongly affect the architecture of the software.