Computer Lab, FW11


2020-03-04 10:00: Automating proof by induction in Isabelle/HOL using domain-specific languages (Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck)

2022-11-07 11:00: NLP for Science: Advances and Challenges (Tom Hope (Allen Institute for AI, Hebrew University of Jerusalem))

2023-11-27 12:30: Accelerate lunchtime seminar series (Shrankhla Pandey and Dr Samantha Ip)

2023-11-28 16:00: Time-series Machine Learning Models for Healthcare: Advancements and Applications (Tingting Zhu, University of Oxford)

2024-02-15 14:00: Machine Learning for Quantum Computing (Professor Florian Marquadt Director of the Max Planck Institute for the Science of Light, Erlange, Germany)

2024-02-19 12:30: Accelerate lunchtime seminar series (Mike Mamalakis, Postdoctoral Researcher, Department of Computer Science and Technology; Aditya Ravuri, PhD student, Department of Computer Science and Technology)

2024-03-04 12:30: Accelerate lunchtime seminar series (Speaker to be confirmed)

2024-03-18 12:30: Accelerate lunchtime seminar series (Adrián Pérez Herrero)

2024-06-11 14:00: How Misinformation Creators (Ab)use Generative AI Tools (Amelia (Mia) Hassoun, University of Cambridge)

2024-06-24 13:30: Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning ( Christos Sotiriou, University of Thessaly)

2024-06-24 13:30: Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning ( Christos Sotiriou, University of Thessaly)

2024-10-21 12:00: Revealing the Unseen: AI's Role in Novel Target Discovery for High Unmet Needs Areas Through Multi-Omics Integration (Namshik Han, Head of Computational Research & AI, Milner Therapeutics Institute, University of Cambridge )

2024-10-21 12:30:  Towards a scientific understanding of science: the quantitative study of scientific activity (Hongyu Zhou, Department of Computer Science and Technology)

2024-10-30 12:00: Title to be confirmed (Mike Croucher, MathWorks)

2024-11-28 15:00:  Flow-based Encrypted Traffic Analysis (Daniel Poliakov, Brno University of Technology)

2024-11-29 10:00: Large language models and human cognition (Charles Elkan (Computer Science and Engineering, UC San Diego))

2025-01-23 15:00: OSDB: Turning the Tables on Kernel Data (George V. Neville-Neil, Elephance, Yale, Cambridge)

2025-01-27 14:00: The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems (Irene Zhang, Principal Researcher, Microsoft Research)

2025-10-20 11:00: Federated Learning at H.IAAC: On-going Research and Opportunities (Allan M. de Souza & Luiz Bittencourt, Universidade Estadual de Campinas (UNICAMP), Brazil)