Doctoral Program: LogICS - Logical Methods in Computer Science

  • Bloem, Roderick (Co-Investigator (CoI))
  • Braud-Santoni, Nicolas (Co-Investigator (CoI))

Project: Research project

Project Details


Doctoral Programs DKs form centres of education for highly qualified young scientists/scholars from the Austrian and international scientific community. The programme should support centres of excellence at Austrian research institutions and help ensure the continuity and impact of such centres.
Effective start/end date1/03/1428/02/23


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.