π-calculus, Session Types research at Imperial College

Dr David Castro
Research Associate

I am an RA in the Department of Computing at the Imperial College London. I did my PhD at the University of St Andrews, under the supervision of Kevin Hammond. My research interests are focused on high-level models of parallel computing (algorithmic skeletons), functional programming and typing systems. Specifically, I am interested in using the behavioural types approach for mapping high-level specifications programs to efficient low-level parallel programs.