Aleksander Junge
PhD Student
I am a DPhil student at the University of Oxford and am jointly supervised by Professors Nobuko Yoshida and David Parker. I work at the intersection of session types and (probabilistic) model checking, developing type systems and tools to enable reasoning about the safety and liveness of distributed programs that may contain an element of randomness. I did my MSc in Computer Science at the Technical University of Denmark.