Project leader

• Siegfried Höfinger (E057-09)

Project personnel

• Simeon Harrison (E057-09)
• Markus Hickel (E057-09)
• Sanaz Sattari (E057-09)

Förderungmittel

• FFG - Österr. Forschungsförderungs- gesellschaft mbH (National) Programm KIRAS Österreichische Forschungsförderungsgesellschaft mbH (FFG)

Research focus

• Mathematical and Algorithmic Foundations: 50%
• Computer Science Foundations: 50%

External partner

• AIT Austrian Institute of Technolog GmbH

Publications

• Publications