Doc. Mgr.

Adam Rogalewicz

Ph.D.

Docent

+420 54114 1188
rogalew@fit.vut.cz
kancelář A307

[photo]

Projekty

  • 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

    SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GAČR - Standardní projekty, GA20-07487S, 2020-2022, řešení, zahájení: 2020-01-01, ukončení: 2022-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, řešení, zahájení: 2020-03-01, ukončení: 2022-12-31
    Detail

    VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU - Společná technologická iniciativa ECSEL, 8A20009, 2020-2023, řešení, zahájení: 2020-05-01, ukončení: 2023-04-30
    Detail

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Společná technologická iniciativa ECSEL, 8A19010, 2019-2022, řešení, zahájení: 2019-05-01, ukončení: 2022-07-31
    Detail

    AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řešení, zahájení: 2019-01-01, ukončení: 2021-12-31
    Detail

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

  • 2018

    MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2021, řešení, zahájení: 2018-06-01, ukončení: 2021-05-31
    Detail

  • 2017

    AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen, zahájení: 2017-05-01, ukončení: 2020-06-30
    Detail

    Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, ukončen, zahájení: 2017-03-01, ukončení: 2019-12-31
    Detail

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

    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

    IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, řešení, zahájení: 2016-01-01, ukončení: 2020-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

  • 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, zahájení: 2014-01-01, ukončení: 2016-12-31
    Detail

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

  • 2013

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

  • 2012

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

  • 2011

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

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

  • 2010

    Automates et Logique pour la vérification symbolique de logiciels, BARRANDE - KONTAKT, MEB021023, 2010-2011, ukončen, zahájení: 2010-01-01, ukončení: 2011-12-31
    Detail

    Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT ČR - COST, OC10009, 2010-2012, ukončen, zahájení: 2010-01-01, ukončení: 2012-12-31
    Detail

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

  • 2009

    Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, ukončen, zahájení: 2009-10-30, ukončení: 2013-10-30
    Detail

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

  • 2008

    Techniques avancées pour la vérification de systémes a nombre d'états infini, BARRANDE, MEB 020840, 2008-2009, ukončen, zahájení: 2008-02-20, ukončení: 2009-12-31
    Detail

  • 2007

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

  • 2006

    Vérification automatique de programmes avec structures de données dynamiques a pointeurs, BARRANDE, 2-06-27, 2006-2007, ukončen, zahájení: 2006-01-01, ukončení: 2007-12-31
    Detail

Nahoru