Thank you and goodbye to Kashish Raimalani, from the University of Manchester, who has spent two months working with the group.

Kashish joined us as part of this year’s Undergraduate Research Opportunities Programme (UROP) where undergraduate students spend time over the summer with a research group.

During her time with us, Kashish worked on first-order unification/matching and extracted a pseudocode implementation of the algorithm for building matching plans that is currently implemented in Gillian.

Kashish also built examples that motivated a more precise definition of matching plans and participated in the theoretical design of a match-and-consume algorithm implemented in Haskell, for a fragment of the language of expressions of separation logic.

We are very grateful to Kashish for all her hard work and wish her all the best as she returns to Manchester to continue her studies.