Sandro是查尔默斯大学和哥德堡大学计算机科学与工程系（CSE）的博士后研究员。他在马丁·奥德斯基的指导下在EPFL攻读博士学位。他的研究兴趣包括建模和验证复杂系统的形式化方法、类型系统和类型理论，以及特定领域语言的设计和语义。在过去，桑德罗花时间思考Scala类型系统的可靠性。这些天，他正忙于将形式化方法和类型理论应用于隐私和安全问题，以及在Agda中黑客类型的稳健性证明。