Over in my EEG group, we have a lot of primary and secondary datasets lying around: 100s of terabytes of satellite imagery, biodiversity data, academic literature, and the intermediate computations that go along with them. Our trusty central shared storage server running TrueNAS stores data in ZFS and serves it over NFSv4 to a bunch of hosts.

Dominic Orchard and I had a blast running the first PROPL workshop a couple of years ago, with a full room and engaged audience in POPL in London. Last year, our sister conference LOCO took over, and it's our turn again this year! PROPL will return for a second outing in October, co-located with ICFP/SPLASH in Singapore in October.

Autoscaling geospatial computation with Python and Yirgacheffe This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Michael Dales. Python is a popular tool for geospatial data-science, but it, along with the GDAL library, handle resource management poorly. Python does not deal with parallelism well and GDAL can be a memory hog when parallelised.

Battery-free wildlife monitoring with Riotee This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Dominico Parish. It is co-supervised with Josh Millar. Monitoring wildlife in the field today relies heavily on battery-powered devices, like GPS collars or acoustic recorders.

Using graph theory to define data-driven ecoregion and bioregion maps This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Daniele Baisero and Michael Dales.

Bidirectional Hazel to OCaml programming This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Max Carroll. It is co-supervised with Patrick Ferris and Cyrus Omar. Hazel is a pure subset of OCaml with a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs.

An access library for the world crop, food production and consumption datasets This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Alison Eyres and Thomas Ball. Agricultural habitat degradation is a leading threat to global biodiversity.

Runtimes à la carte: crossloading native and bytecode OCaml This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Jeremy Chen. It is co-supervised with David Allsopp.

3D printing the planet (or bits of it) This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Finley Stirk. It is co-supervised with Michael Dales. Thanks to a combination of satellite information, remote sensors and data-science, we now are able to reason about places all over the globe from the comfort of our desks and offices.

Effects based scheduling for the OCaml compiler pipeline This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Lucas Ma. It is co-supervised with David Allsopp. In order to compile the OCaml program foo.ml containing: Stdlib.print_endline "Hello, world" the OCaml compilers only require the compiled stdlib.cmi interface to exist in order to determine the type of Stdlib.print_endline.

Josh Millar just released our latest preprint on how to make sense of the growing number of dedicated, ultra-low-power 'neural network accelerators' that are found in many modern embedded chipsets. My interest in this derives from wanting to decouple from the cloud when it comes to low-latency local environments, and this needs fast tensor operations in hardware.