Congratulations to Veronika! She received habilitation at JKU Linz for her thesis "Computational Mathematics: Symbolic Computation and Numerical Analysis".