Project leader

• Nysret Musliu (E192-02)

Project personnel

• Aida Aliu (E192-02)
• Vigan Blakaj (E192-02)
• Philipp Danzinger (E192-02)
• Anoki Max Eischer (E192-02)
• Georg Faustmann (E192-02)
• Nikolaus Frohner (E192-02)
• Tobias Geibinger (E192-02)
• Matthias Horn (E192-02)
• Lucas Kletzander (E192-02)
• Marie-Louise Lackner (E192-02)
• Florian Mischek (E192-02)
• Maximilian Moser (E192-02)
• Esther Shifra Mugdan (E192-02)
• Fabian Nagler (E192-02)
• Simon Strassl (E192-02)
• Johannes Vass (E192-02)
• Felix Winter (E192-02)

Förderungmittel

• Christian Doppler Forschungsgesells (National) Programm Christian Doppler Labors Christian Doppler Forschungsgesellschaft (CDG)

Research focus

• Logic and Computation: 100%

Publications

• Publications