Three LogiCS Alumni receive prestigous Hertha Firnberg Fellowship
Three post-doc researchers from the Institute of Logic and Computation and all of them graduates of our LogiCS doctoral program (funded by the FWF, run jointly by TU Wien, Graz University of Technology and JKU Linz) received the prestigious Hertha Firnberg Fellowship Grant for highly qualified female scientists.
About the Hertha Firnberg Programme
The main goal of the Hertha Firnberg Programme of the Austrian Science Fund FWF is to support highly qualified female post-doc researchers at the beginning of their scientific careers.
The Recipients and their Projects
Shqiponja from our research unit Databases and Artificial Intelligence presented her project “Foundations of Reasoning in the Shape Constraint Language”.
Katalin from our research unit Formal Methods in Systems Engineering introduced her project on “Incremental SAT and SMT Reasoning for Scalable Verification”
Zeynep who is also a member of our research unit Databases and Artificial Intelligence submitted her project “AURA – Abstraction for Understandability of Reasoning in AI”.
More Information @ TU Wien Informatics
