MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Adam Barwell
Research Associate
Publications

Adam is an RA in the Department of Computing at Imperial College London. Before coming to Imperial, he was a research fellow at the University of St Andrews, where he also obtained his PhD. Adam’s research interests include: parallelism, pattern discovery, type and effect systems, and program transformation techniques. He is interested in improving the reliability of parallel and distributed programs via the utilisation of patterns and type systems.

Publications