π-calculus, Session Types research at Imperial College
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.