Adam Rogalewicz

Projekty

• 2023

  Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, řešení

  Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, 2023-2025, řešení

• 2020

  Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, 2020-2024, řešení

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, ukončen

  Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, 2020-2022, řešení

  Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů, EU, Horizon 2020, 8A20009, 2020-2023, řešení

• 2019

  Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, 2019-2021, řešení

  Nástroje Arrowhead pro inženýrství a řešení digitalizace, EU, Horizon 2020, 8A19010, 2019-2022, ukončen

• 2017

  Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen

  Moderní a otevřené studium techniky, EU, OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení

  ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, 2017-2019, řešení

• 2016

  IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen

  Přibližná ekvivalence pro aproximativní počítání, GAČR, Standardní projekty, GA16-17538S, 2016-2018, řešení

• 2014

  Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR, Standardní projekty, GA14-11384S, 2014-2016, ukončen

  Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen

• 2012

  Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen

• 2011

  Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen

  Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, ukončen

• 2010

  Automaty a logiky v symbolické verifikaci software, MŠMT, KONTAKT, MEB021023, 2010-2011, ukončen

  Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, 2010-2013, řešení

• 2009

  Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami, GAČR, Standardní projekty, GP201/09/P531, 2009-2011, ukončen

• 2008

  Pokročilé techniky automatické verifikace nekonečně stavových systémů, MEB 020840, 2008-2009, ukončen

• 2007

  Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, 2007-2009, ukončen

• 2006

  Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, 2-06-27, 2006-2007, ukončen