Multicore Group, Imperial College London
James Lee-Jones
JamesLee-Jones
PhD student at in the FastPL group at Imperial College London with an interest in the application of formal methods to programming langauges.
Farzam Dorostkar
farzamdorostkar
PhD candidate in Computer Engineering at Polytechnique Montreal
https://farzamdorostkar.github.io/ Montreal, QC, Canada