Static program analysis is a cornerstone in verifying, optimising, and debugging modern software systems. By evaluating code without executing it, these techniques enable early detection of defects, ...

When Google first introduced Project Loon, its internet balloons used static algorithms to change altitude and stay in position. While clever, they were limited -- Google couldn't do much to adapt to ...

We know that algorithms can outperform humans across an expanding range of settings, from medical diagnosis and image recognition to crime prediction. However, an ongoing concern is the potential for ...

We develop a family of fast methods for approximating the solutions to a wide class of static Hamilton-Jacobi PDEs; these fast methods include both semi-Lagrangian and fully Eulerian versions.