Activities

Events where you might have run into me:
- 2015
EXPRESS/SOS 2015 in Madrid talk: Encoding CSP into CCS
- 2017
WG2017 in Heeze talk: Encoding CSP into CCS