Seminars

Quantum error correction is the next big challenge for enabling useful quantum computation.

Common mitigation strategies to combat harmful speech online, such as reporting and blocking, are often insufficient as they are reactive, involve unethical human labour and impose censorship. This explores alternative counter strategies such as a quarantining tool and automated counterspeech generator.

A central challenge in quantum computing is to discern which types of problems allow for quantum algorithms that substantially outperform classical ones.

Abstract: Consumer wearable devices have seen remarkable progress in recent years, becoming more accurate, pervasive, and affordable.  Despite these advancements, large-scale foundation models trained on wearable data are a relatively new phenomenon, unlike in many other domains.  This talk will explore the technical landsca

Abstract: We will explore a couple of topics of recent interest to me: how to best bridge the Boolean world of hardware design with the continuous world of modern machine learning, and how to utilise recent advances in graph rewriting for datapath optimization.

Join us for a relaxed chat about compilers, while socializing over refreshments. Our social is open to students, academics, professional developers and really anyone interested in compilation. We welcome beginners as well as experts.

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/87143365195?pwd=SELTNkOcfVrIE1IppYCsbooOVqenzI.1

Meeting ID: 871 4336 5195

Passcode: 541180

Abstract not available

Abstract not available

Whilst generative AI has advanced significantly in recent years, when it comes to accountability and assurance of AI systems, the challenge of achieving precise control in synthesizing testing data for algorithm development remains significant.