Adam Rogalewicz

Projekty

• 2025

  QUAK: Analýza kvantových programů pomocí automatů, GAČR, Standardní projekty, 25-18318S, zahájení: 2025-01-01, ukončení: 2027-12-31, řešení

• 2023

  Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení

  Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení

• 2020

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

  Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen

  Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen

  Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů, MŠMT, Společná technologická iniciativa ECSEL, 8A20009, zahájení: 2020-05-01, ukončení: 2023-07-31, ukončen

• 2019

  Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, zahájení: 2019-01-01, ukončení: 2021-12-31, řešení

  Nástroje Arrowhead pro inženýrství a řešení digitalizace, MŠMT, Společná technologická iniciativa ECSEL, 8A19010, zahájení: 2019-05-01, ukončení: 2022-07-31, ukončen

• 2017

  Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen

  Moderní a otevřené studium techniky (MOST), EU, OP VVV PO2 ESF výzva pro vysoké školy, zahájení: 2017-09-01, ukončení: 2022-12-31, ukončen

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

• 2016

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

  Přibližná ekvivalence pro aproximativní počítání, GAČR, Standardní projekty, GA16-17538S, zahájení: 2016-01-01, ukončení: 2018-12-31, ukonč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, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen

  Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen

• 2013

  Inovace předmětu Složitost, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR166/2013/G1, zahájení: 2013-01-01, ukončení: 2013-12-31, ukončen

• 2012

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

• 2011

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

  Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen

• 2010

  Automaty a logiky v symbolické verifikaci software, MŠMT, KONTAKT, MEB021023, zahájení: 2010-01-01, ukončení: 2011-12-31, ukončen

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

• 2009

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

• 2008

  Pokročilé techniky automatické verifikace nekonečně stavových systémů, MEB 020840, zahájení: 2008-02-20, ukončení: 2009-12-31, 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, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen

• 2006

  Automatická verifikace programů s dynamickými datovými strukturami provázanými ukazateli, 2-06-27, zahájení: 2006-01-01, ukončení: 2007-12-31, ukončen