welcome to swaraj's site!!1!

[under construction]

Hi, everyone! I'm a fourth-year PhD student supervised by Sam Staton. I am interested in programming language semantics, with a focus on the semantics of probabilistic programming.

I am a teaching assistant at the Department of Computer Science, and run the labs for Functional Programming, Compilers, Imperative Programming I+II, Design and Analysis of Algorithms. Additionally I am a "Stipendiary Lecturer" at Jesus College, where I run tutorials for the Compilers and the Concurrent Programming courses.

swaraj.dash at cs.ox.ac.uk

Room 375
Wolfson Building, Parks Road
Oxford OX1 3QD

Publications

S. Dash and S. Staton. A monad for probabilistic point processes. In Proceedings of Applied Category Theory 2020 (ACT 2020). Open access: [pdf].