Congratulations, Tobias!

Tobias has finally finished his PhD studies! His thesis is entitled "Goal-based debugging for belief-desire-intention agents".