π-calculus, Session Types research at the University of Oxford
Adam is an RA in the Department of Computing at the University of Oxford. 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.
Adam is now a lecturer at St Andrews.