Leonardo is a Master’s student in mathematics at ETH with application area Machine Learning. He is currently working on a formal language theory-based project with the group.