Uma Zalakain

Research title: Machine verification of typed process calculi

Office:

Room F112

Department of Computing Science

Sir Alwyn Williams Building

University of Glasgow 

Glasgow G12 8QQ 

Email: u.zalakain.1@research.gla.ac.uk

Personal Website: umazalakain.info

Research title: Machine verification of typed process calculi

Research Summary

My PhD research focuses on the machine verification of the fundamental features and properties of typed process calculi, more specifically the session-typed pi calculus with its multiple extensions.