She works in the Institute of Logic and Computation at TU Wien.
Работи во Институтот за логика и пресметка во ТУ Виена.