The NEASQC project is organising a series of webinars that are not a simple overview of the NISQ Quantum Computing use cases investigated by our project, but a platform to learn from and exchange with the best experts in the fields covered by NEASQC. Our Work Package 6 prepared a programme of four weekly webinars in February 2022, dedicated to symbolic AI and graph algorithmics.
Dr Venkatesh Kannan, Leader of the Work Package 6 (Symbolic AI and graph algorithmics) in the NEASQC project, and Centre Technical Manager, Platforms & Technologies Programme Manager at the Irish Centre for High-End Computing (ICHEC)
Dr Arnd Hartmanns, University of Twente
Modest Approaches to Dependability: Modelling, Algorithms, and Tools
Bio: I am an assistant professor in the Formal Methods and Tools group at the University of Twente. My primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems (in particular Modest) and their applications in various fields. I advocate reproducibility in Computer Science research, via artifact evaluation initiatives, tool competitions, and standardised benchmark sets. I was previously a postdoc in the Formal Methods and Tools group at the University of Twente and the Dependable Systems and Software group at Saarland University, where I also completed my Ph.D. in computer science with a thesis On the Analysis of Stochastic Timed Systems in 2015.
Sebastiaan Brand, PhD Student at Leiden University
Quantum speedups for classical probabilistic queries
Bio: Sebastiaan is a PhD student in the Theory group at LIACS since September 2020. His current research focuses on applying techniques from formal methods to probabilistic and quantum systems. He received a BSc degree in Computer Science and Engineering from the TU Delft, and an MSc degree in Computer Science from Leiden University.