A Senior Lecturer and two of his students have just won a Distinguished Paper award at a top artificial intelligence conference for their work in developing a state-of-the-art solver for Quantified Satisfiability problems.
Using body sound recordings to predict Covid-19, and employing AI to improve cancer treatment, were among the projects discussed at our Healthcare Research Showcase last week. The event can also be viewed online.
From robotics to hardware security, from colour imaging to the view of snow falling outside the Department: our annual photo competition brought a range of entries capturing the world of Computer Science research here.
Costanza Conforti (Department of Theoretical and Applied Linguistics, University of Cambridge); Cătălina Cangea (Department of Computer Science and Technology, University of Cambridge)