Welcome to Ivan Nikitin - new PhD student
7 October 2022
/ protocol-standards
Welcome to Ivan Nikitin who
started as a PhD student this week. Ivan will be jointly advised by
me and Ornela Dardha,
and will be looking at how to make session types a practical design
tool for protocol standards.