I'm an Assistant Professor at Heriot-Watt University. I am broadly interested in programming language semantics, category theory, and logic. Before Heriot-Watt I was in Oxford, where I did my PhD with Sam Staton, and before that I was an undergraduate in Cambridge.

swaraj.dash at hw.ac.uk

Room G30, Earl Mountbatten Building
Heriot-Watt University
Edinburgh EH14 4AS

Publications

• S. Dash, Y. Kaddar, H. Paquet, and S. Staton Affine monads and lazy structures for Bayesian programming. In Proceedings of 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). [arxiv]
• S. Dash and S. Staton. Monads for measurable queries in probabilistic databases. In Proceedings of 37th Conference on Mathematical Foundations of Programming Semantics (MFPS 2021). [arxiv]
• S. Dash and S. Staton. A monad for probabilistic point processes. In Proceedings of Applied Category Theory 2020 (ACT 2020). Open access: [arxiv]