24/04/2024 – Talk: “On the Energy Consumption of Various Versions of CPython” by Helge Pfeiffer
Helge Pfeiffer will give a talk about his work on On the Energy Consumption of Various Versions of CPython. Details below. SPEAKER Helge Pfeiffer, Prof., ITU. TITLE On the Energy Consumption[…]
13/03/2024 – Talk: “Compositional control synthesis for water management system” By Esther Hahyeon Kim
Esther Hahyeon Kim will give a talk about her work on Compositional control synthesis for water management system. Details below. SPEAKER Esther Hahyeon Kim, PhD Fellow, AAU. TITLE Compositional control synthesis[…]
08/03/2024 – Talk: “A Probabilistic Choreography Language for PRISM” By Marco Carbone
Marco Carbone will give a talk about his work on A Probabilistic Choreography Language for PRISM. Details below. SPEAKER Marco Carbone, Prof., ITU. TITLE A Probabilistic Choreography Language for PRISM ABSTRACT[…]
13/12/2023 – Talk: “ExtendR: Seamless integration of R & Rust” By Mossa Merhi Reimert
Mossa Merhi Reimert will give a talk about his work on ExtendR: Seamless integration of R & Rust. Details below. SPEAKER Mossa Merhi Reimert, PhD Fellow. TITLE ExtendR: Seamless integration of[…]
01/12/2023 – Talk: “Automated Graph Generation for the Assurance of Software-intensive Cyber-Physical Systems” By Daniel Varro
Daniel Varro will give a talk about his work on Automated Graph Generation for the Assurance of Software-intensive Cyber-Physical Systems. Details below. SPEAKER Daniel Varro, Prof., MCGill. TITLE Automated Graph Generation[…]
01/11/2023 – Talk: “Exact and Efficient Bayesian Inference for Privacy Risk Quantification” By Rasmus C. Rønneberg
Rasmus Rønneberg will give a talk about his work on Exact and Efficient Bayesian Inference for Privacy Risk Quantification. Details below. SPEAKER Rasmus C. Rønneberg, PhD fellow, KIT. TITLE Exact and[…]
11/10/2023 – Talk: “Preparing Software Re-Engineering via Freehand Sketches in Virtual Reality” By Adrian Hoff
Adrian Hoff will give a talk about his work on Preparing Software Re-Engineering via Freehand Sketches in Virtual Reality. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Preparing Software Re-Engineering via Freehand[…]
23/06/2023 – Talk: “Vision-Based Classification for Underwater Safety-Critical Applications: A Predictive Uncertainty Study” By Luiza Ribeiro Marnet
Luiza Ribeiro Marnet will give a talk about her work on Vision-Based Classification for Underwater Safety-Critical Applications: A Predictive Uncertainty Study. This is a dry run for a PhD thesis proposal
02/06/2023 – Talk: “A Study of the Effect of Differential Privacy on Bias” By Isabella Harries Magnusdóttir, Kristian Berlin Jensen, and Lukas Lykkeskov Hjelmstrand
Isabella Harries Magnusdóttir, Kristian Berlin Jensen, and Lukas Lykkeskov Hjelmstrand will give a talk about their work on A Study of the Effect of Differential Privacy on Bias. This is a[…]
14/04/2023 – Talk: “Symbolic Reinforcement Learning” By Mohsen Ghaffari
Mohsen Ghaffari will give a talk about his work on Symbolic Reinforcement Learning. Details below. SPEAKER Mohsen Ghaffari, PhD fellow, ITU. TITLE Symbolic Reinforcement Learning ABSTRACT Reinforcement learning is a type[…]