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...
Read More →