Juraj Síč

Projekty

• 2023

  Reliable, Secure, and Intelligent Computer Systems, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-8151, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
  Detail

• 2020

  Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení, zahájení: 2020-01-01, ukončení: 2024-12-31
  Detail

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6427, 2020-2022, ukončen, zahájení: 2020-03-01, ukončení: 2022-12-31
  Detail

• 2017

  ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen, zahájení: 2017-01-01, ukončení: 2019-12-31
  Detail

• 2016

  Efficient Automata Techniques for Formal Reasoning, GAČR - Juniorské granty, GJ16-24707Y, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
  Detail

  Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
  Detail