Caption: CAS PhD students Kenny Malpartida and Ivanna Pennisi from Dr Pantelis Georgiou's research group in the Centre for Bio-inspired Technology are conducting clinical trials in Ghana to rapidly detect Malaria using ISFET-based Lab-on-Chip technology (@LacewingCBIT).

Caption: Static scheduling produces small but slow hardware, while dynamic scheduling produces fast but large hardware. PhD student Jianyi Cheng is combining those two existing scheduling techniques into "dynamic static scheduling", which can produce small and fast hardware.

Caption: A representation of an interactive system, suited to usability studies (Bob Spence and Leah Redmond)

Caption: The diagram shows how bugs are introduced and fixed in different versions of a hardware synthesis tool. PhD student Yann Herklotz and his supervisor Dr John Wickerson have been working on finding bugs in the logic synthesis process by generating random hardware designs.

Caption: CAS researchers are improving digital design processes by exploiting the similarity between circuits and neural networks.

Caption: Researchers in the Circuits and Systems group have developed a tool called KAPow that can accurately monitor how much power the individual components in an FPGA are consuming.

Caption: PhD student Alexandros Kouris and his supervisor Dr Christos Bouganis have designed a neural network to help unmanned aerial vehicles, such as the drone in the picture, avoid mid-air collisions.

Caption: PhD student He Li is designing new hardware for computer arithmetic, in which digits are calculated out-of-order. The aim is to be able to use a single piece of hardware to calculate results to any required precision.

Caption: This image is a visual representation of energy management problems for green buildings. In the Circuits and Systems research group, Dr Andrea Picciau has used these representations to reason about how to solve those problems more efficiently with innovative computing technologies.