Project leader

• Michael Pinsker (E104-01)

Förderungmittel

• FWF - Österr. Wissenschaftsfonds (International) CEUS: FWF- Lead Agency Internationale Programme Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Ausschreibungskennung WEAVE

Research focus

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

Publications

• Publications