Software tools
Regular Memory Requirements
[link]
Algorithms that compute minimal memory structures to play optimally in two-player zero-sum games with regular reachability and safety objectives.
Algorithms that compute minimal memory structures to play optimally in two-player zero-sum games with regular reachability and safety objectives.
Mask R-CNN in OCaml
[link]
Implementation and optimisation of the Mask R-CNN architecture for image segmentation and classification using OCaml's numerical library Owl. Work produced during an internship at OCaml Labs, University of Cambridge. See my internship report for more details.
Implementation and optimisation of the Mask R-CNN architecture for image segmentation and classification using OCaml's numerical library Owl. Work produced during an internship at OCaml Labs, University of Cambridge. See my internship report for more details.