I am currently studying for a PhD in Algorithmic Verification at Uppsala University. My supervisor is Bengt Jonsson.
| Room: 1421 Polacksbacken |
Mail:  |
I am working on automated verification of safety properties in parallel algorithms running under weak memory models, as well as automated inference of memory barriers that are necessary to ensure the correctness of such algorithms.