Detašované pracovisko Matematického ústavu SAV v Košiciach

Národné projekty

• Automaty a formálne jazyky: popisná a výpočtová zložitosť
  Program: VEGA
  Doba trvania: 1.1.2023 - 31.12.2026

• Popisná a výpočtová zložitosť formálnych jazykov
  Program: VEGA
  Doba trvania: 1.1.2019 - 31.12.2022

• Efektívne algoritmy, automaty a dátové štruktúry
  Program: APVV
  Doba trvania: 1.7.2016 - 30.6.2020

• Popisná zložitosť formálnych systémov
  Program: VEGA
  Doba trvania: 1.1.2015 - 31.12.2018