Past grants

Institute of Informatics

• A unified theory of finite-state recognisability
  Principal investigator: prof. dr hab. Mikołaj Bojańczyk
  Financed by: European Research Council
• Challenging problems in infinite-state systems
  Principal investigator: dr hab. Wojciech Czerwiński, prof. ucz.
  Financed by: European Research Council (ERC Starting grant)
  Promotional materials
• Crypography on Non-Trusted Machines
  Principal investigator: prof. dr hab. Stefan Dziembowski
  Financed by: European Research Council
• Cuts and decompositions: algorithms and combinatorial properties
  Principal investigator: prof. dr hab. Marcin Pilipczuk
  Financed by: European Research Council
• Decomposition methods for discrete problems
  Principal investigator: dr hab. Michał Pilipczuk, prof. ucz.
  Financed by: European Research Council (ERC Starting grant)
  Promotional materials
• Expressive Power of Tree Logics (SOSNA)
  Principal investigator: prof. dr hab. Mikołaj Bojańczyk
  Financed by: European Research Council
• Practical Approximation Algorithms - Proof of Concept
  Principal investigator: prof. dr hab. Piotr Sankowski
  Financed by: European Research Council
• Smart-Contract Protocols: Theory for Applications
  Principal investigator: prof. dr hab. Stefan Dziembowski
  Financed by: European Research Council (ERC Advanced grant)
  Promotional materials
• Technology transfer between modern algorithmic paradigms
  Principal investigator: dr hab. Marek Cygan, prof. ucz.
  Financed by: European Research Council
• TUgbOAT
  Principal investigator: prof. dr hab. Piotr Sankowski
  Financed by: European Research Council