我是瑞典乌普萨拉大学计算机科学博士生。我的导师是Mohamed Faouzi Atig博士、Parosh Aziz Abdulla牧师和Philipp Rümmer博士。我是乌普萨拉大学算法程序验证小组和UPMARC中心的成员。