Wednesday Seminars

The talk will provide an overall introduction about the origin of the EU AI Act, the context in which the legislation evolved and its main components. Considering the high degree of complexity of the legal text, the presentation aims to break it down by offering insight into the rationale of the choices that were made and...

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. The former will lead us to explore how the fundamental...

Idris is a functional programming language with first-class types, which allow properties to be expressed in the type system, and with an interactive type-driven editor which allows programs to be developed as a formal conversation with the machine. In this talk I will introduce Idris and its type system, and cover recent...

Generative models have emerged as a powerful tool for capturing biology. In the field of protein design, generative models have recently brought previously challenging problems within reach, such as protein monomer design, motif scaffolding, and de novo interface design. The de novo design of therapeutics however, is a...

In this talk I will describe some of the ways that we have applied lean and agile techniques to teaching software engineering (within a Computing degree) at Imperial College London. I will talk about the structure and evolution of our programme, which is centred on the tools, techniques and issues that feature in the...

Abstract: From genetic studies and astrophysics simulations to AI, scientific computing has enabled amazing discoveries and there is no doubt it will continue to do so. However, the corresponding environmental impact is a growing concern in light of the urgency of the climate crisis, so what can we all do about it? And in...

Abstract: As established scaling laws indicate, the future performance improvements of AI depend on the amount of computing and data sources we can leverage. Where will we get the necessary compute and data to drive the continued advances in AI that the world now has grown to expect? I believe all roads lead to federated...

Abstract: Computational modelling is key to climate science. But models are becoming increasingly complex as we seek to understand our world in more depth and model it at higher fidelity. In the last decade, climate modelling has faced diminishing returns from current hardware trends and software techniques. Developing the...

The TPTP World is the established infrastructure used by the Automated Theorem Proving (ATP) community for research, development, and deployment of ATP systems. The data, standards, and services provided by the TPTP World have made it easy to develop, evaluate, and deploy ATP technology. This talk and tutorial reviews the...

Abstract: Sensor-based human activity recognition has long been a central research challenge in pervasive computing. Despite significant advancements in sensing technologies and AI methods for processing sensor data, recognising complex activities remains difficult—especially in contexts where labeled data is scarce and...