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

• Algoritmy, automaty a diskrétne dátové štruktúry
  Program: APVV
  Doba trvania: 1.5.2011 - 31.10.2014

• Zložitostné problémy v triede regulárnych jazykov
  Program: VEGA
  Doba trvania: 1.1.2011 - 31.12.2013

• Algoritmické a teoretické problémy sietí.
  Program: VEGA
  Doba trvania: 1.1.2006 - 1.12.2008