Aarhus University logo
Dansk
Abstract:
Structural graph theory has played a central role in the design of efficient algorithms for hard optimization problems. At the core of…
On Wednesday, April 29th 2026, Pernille Matthews will defend her PhD thesis Structure-Guided Explainability: From Regional to Counterfactual…
Registration through Tech Hub Aarhus' website
A design-and-code challenge where the goal is simple: make it worse.Teams compete to design the most…
Speaker: Hannah Keller
Personal data is increasingly used in algorithms and decision-making across many aspects of our lives. Differential privacy…
An overarching goal in large scale machine learning (ML) is to design fast, robust and adaptive algorithms for training which are…
Title
tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
Software verification is the application of rigorous mathematical techniques to prove that computer programs do what they are supposed to. The…
Cluster analysis and and nonlinear dimensionality reduction for visualization are two central machine learning tasks. In this talk I…
Page 144 of 190