Hertha Firnberg Fellowship for Three Graduates of LogiCS Doctoral Program
Shqiponja Ahmetaj, Katalin Fazekas, and Zeynep Saribatur Yaman receive the prestigious FWF grant for their scientific careers.
Congratulations to our three post-doctoral researchers Shqiponja Ahmetaj, Katalin Fazekas, and Zeynep Gözen Saribatur Yaman, who received the prestigious Hertha Firnberg Fellowship funded by the Austrian Science Fund FWF.
The FWF’s Hertha Firnberg Programme offers exceptionally well qualified female scientists working towards a career in universities the chance of two-stage funding for a total period of up to six years.
The Hertha Firnberg Programme for post-docs, a career development program for female scientists, aims at supporting women at the start of their scientific careers. It is targeted at highly qualified female scientists of any scientific discipline who have completed their university studies to improve their career prospects.
All three of the grant recipients come from our Institute of Logic and Computation and are graduates from the LogiCS doctoral program, also funded by the FWF and run jointly by the three Austrian universities the TU Wien, Graz University of Technology and Johannes Kepler University Linz.
Shqiponja Ahmetaj from our research unit Databases and Artificial Intelligence presented her project “Foundations of Reasoning in the Shape Constraint Language”, Katalin Fazekas from the research unit Formal Methods in Systems Engineering introduced her project on “Incremental SAT and SMT Reasoning for Scalable Verification”, while Zeynep Gözen Saribatur Yaman from the research unit Databases and Artificial Intelligence submitted her project “AURA - Abstraction for Understandability of Reasoning in AI”.