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[…]
28/04/2023 – Talk: “Uniquifying Architecture Visualization through Variable 3D Model Generation” By Adrian Hoff
Adrian Hoff will give a talk about his work on Uniquifying Architecture Visualization through Variable 3D Model Generation. Details below. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE Uniquifying Architecture Visualization through[…]
31/03/2023 – Talk: “Formal Verification of Privacy Policies for Social Networks” by Raúl Pardo
Raúl Pardo will give a talk about his work on Formal Verification of Privacy Policies for Social Networks. Details below. SPEAKER Raúl Pardo, Prof., ITU. TITLE Formal Verification of Privacy Policies[…]
17/03/2023 – Talk: “Probabilistic Property-Based Testing for Feature Classification in Submarine Vision” By Laura Weihl
Laura Weihl will give a talk about her work on Probabilistic Property-Based Testing for Feature Classification in Submarine Vision. Details below. SPEAKER Laura Weihl, PhD fellow, ITU. TITLE Probabilistic Property-Based Testing[…]
10/02/2023 – Talk: “Model-Based Testing for System-Level Safety of Autonomous Underwater Robots” By Sergio Daniel Quijano
Sergio Daniel Quijano will give a talk about his work on Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. Details below. SPEAKER Sergio Daniel Quijano, PhD fellow, ITU. TITLE Model-Based[…]