Granty zakończone

Instytut Informatyki

• A unified theory of finite-state recognisability
  Kierownik: prof. dr hab. Mikołaj Bojańczyk
  Finansowany przez: European Research Council
• Cryptography on Non-Trusted Machines
  Kierownik: prof. dr hab. Stefan Dziembowski
  Finansowany przez: European Research Council
• Cuts and decompositions: algorithms and combinatorial properties
  Kierownik: prof. dr hab. Marcin Pilipczuk
  Finansowany przez: European Research Council
• Expressive Power of Tree Logics (SOSNA)
  Kierownik: prof. dr hab. Mikołaj Bojańczyk
  Finansowany przez: European Research Council
• Metody dekompozycyjne dla problemów dyskretnych (BOBR)
  Kierownik: dr hab. Michał Pilipczuk, prof. ucz.
  Finansowany przez: European Research Council (ERC Starting grant)
  Materiały promocyjne
• Practical Approximation Algorithms - Proof of Concept
  Kierownik: prof. dr hab. Piotr Sankowski
  Finansowany przez: European Research Council
• Smart-Contract Protocols: Theory for Applications
  Kierownik: prof. dr hab. Stefan Dziembowski
  Finansowany przez: European Research Council (ERC Advanced grant)
  Materiały promocyjne
• Technology transfer between modern algorithmic paradigms
  Kierownik: dr hab. Marek Cygan, prof. ucz.
  Finansowany przez: European Research Council
• Trudne problemy w systemach nieskończenie-stanowych (INFSYS)
  Kierownik: dr hab. Wojciech Czerwiński, prof. ucz.
  Finansowany przez: European Research Council (ERC Starting grant)
  Materiały promocyjne
• TUgbOAT
  Kierownik: prof. dr hab. Piotr Sankowski
  Finansowany przez: European Research Council