Kofroň, Jan (Q851422)

Z Autority
Verze z 5. 2. 2021, 14:51, kterou vytvořil Frettie (diskuse | příspěvky) (‎Vytvořena nová položka)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Skočit na navigaci Skočit na vyhledávání
osoba v databázi autorit NK ČR (uk20201069969)
Jazyk Štítek Popis Také znám jako
čeština
Kofroň, Jan
osoba v databázi autorit NK ČR (uk20201069969)

    Výroky

    Jméno v NKČR AUT
    Kofroň, Jan
    0 referencí
    Křestní jméno
    Jan
    0 referencí
    Příjmení
    Kofroň
    0 referencí
    poznámka v NKČR AUT
    Docent informatiky na Katedře distribuovaných a spolehlivých systémů, Matematicko-fyzikální fakulty Univerzity Karlovy zabývající se formální verifikací programů, statistickou analýzou programů a softwarovým inženýrstvím. Publikace v oboru.
    0 referencí
     
    Citováno z „https://autority.wikimedia.cz/index.php?title=Item:Q851422&oldid=859037“