Project leader

• Michael Pinsker (E104-01)

Grant funds

• FWF - Österr. Wissenschaftsfonds (International) CEUS: FWF - Lead Agency International Programmes Austrian Science Fund (FWF) Call identifier WEAVE

Research focus

• Logic and Computation: 70%
• Mathematical and Algorithmic Foundations: 15%
• Computer Science Foundations: 15%

Publications

• Publications