Aleksander Junge
Interests
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.