Mgr. Bc.

Hana Šimková

Ph.D.

člen


119738/osobní číslo VUT

Projekty

  • 2020

    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

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

  • 2014

    Automatická analýza a verifikace transakčních pamětí, COST - COST CZ (2011-2017), LD14001, 2014, ukončen, zahájení: 2014-01-01, ukončení: 2014-12-31
    Detail

    Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, ukončen, zahájení: 2014-12-17, ukončení: 2018-12-18
    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

    Inteligentní testování a analýza paralelních programů, MŠMT ČR - KONTAKT II (2011-2017), LH13265, 2013-2015, ukončen, zahájení: 2013-04-01, ukončení: 2015-03-31
    Detail

  • 2011

    Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST - COST CZ (2011-2017), IC1001, 2011-2015, ukončen, zahájení: 2011-02-10, ukončení: 2015-02-09
    Detail

Nahoru