大家好！我是一名五年制博士生，由萨姆·斯塔顿. 我对编程语言语义感兴趣，重点是概率编程的语义。

我是计算机科学系的助教，负责函数编程，编译器，强制编程I+II，算法设计与分析。此外，我是耶稣学院的“助教”，在那里我为编译器和并发编程课程。

cs.ox.ac.uk的swaraj.dash

375室
帕克斯路沃尔夫森大厦
牛津OX1 3QD

出版物

• S.Dash、Y.Kaddar、H.Paquet和S.Staton贝叶斯编程的仿射单体和惰性结构。出现在第50届ACM SIGPLAN程序设计语言原理研讨会论文集(2023年POPL). [pdf格式]
• S.Dash和S.Staton。概率数据库中可测量查询的单数。出现在第37届程序设计语义学数学基础会议论文集(MFPS 2021型). [pdf格式]
• S.Dash和S.Staton。概率点过程的单子函数。在2020年应用范畴理论论文集(ACT 2020年). 开放访问：[pdf格式]