TESTBOX

Univerzita Karlova v Praze

Nepřihlášen

Seznam řízení

Vyhledávání řízení

Vítejte na stránkách aplikace Habilion

průběh procesu

Ustanovení a jednání habilitační komise
- Jmenovací dopisy oponentům
  Na vyžádání pověřeného člena habilitační komise vytisknout pro vybrané oponenty jmenovací dopis (k odeslání papírovou poštou) a spolu se žádostí o vypracování oponentského posudku a kopií habilitační práce uchazeče je rozeslat oponentům.
- Vložení posudků oponentů
  Zadat posudky habilitační práce od oponentů do aplikace.
- Vložení stanoviska, závěrů a usnesení habilitační komise
  Vytisknout pro komisi podklady (znění posudků oponentů). Vložit do aplikace informace z podkladů (návrh + další vnější zdroje) a usnesení komise s odůvodněním. Zaznamenat do aplikace výsledek hlasování komise (PRO, PROTI, NEPLATNÉ). Vytisknout usnesení a jeho odůvodnění k podpisu předsedy komise.
  Tento krok může po zaregistrování do aplikace provádět i pověřený člen komise.
Jednání vědecké rady fakulty
- Doplnění data projednání na vědecké radě fakulty
  Doplnit datum jednání vědecké rady fakulty, na kterém bude návrh projednáván.
- Hlasování vědecké rady fakulty
  Zaznamenat do aplikace výsledek hlasování vědecké rady fakulty (PRO, PROTI, NEPLATNÉ).
  V případě zamítnutí návrhu referentka fakulty vytiskne uchazeči sestavu P14.
Jednání kolegia rektora
- Email členům Kolegia rektora
  Odeslat členům Kolegia rektora email s informací, že v aplikaci jsou dostupné podklady k nadcházejícímu hlasování o daném návrhu k habilitaci.
- Projednání v Kolegiu rektora
  Zaznamenat do aplikace výsledek projednání návrhu v Kolegiu rektora.
Úspěšné ukončení
- Schválení a tisk závěrečných dokumentů
  Poznamenat datum účinnosti a vytisknout jmenovací dopis, pozvánku na promoci a informaci pro MŠMT (k odeslání papírovou poštou).
  Pokud uchazeč není z UK, informovat písemně rovněž jeho VŠ.
- Emailová informace uchazeči o docentuře
  Informovat uchazeče emailem o schválení návrhu.

RNDr. Petr Kučera, Ph.D. - MFF (Habilitační řízení MFF)

Hlasování vědecké rady fakulty

V tomto kroku má referent fakulty za úkol zaznamenat do aplikace výsledek hlasování vědecké rady fakulty (PRO, PROTI, NEPLATNÉ).
V případě zamítnutí návrhu referentka fakulty vytiskne uchazeči sestavu P14.

Podrobnosti k některým údajům na obrazovce (event. příklady hodnot atributů) se zobrazí po kliknutí na příslušný popisek.

rozbalit vše sbalit vše

Návrh

Uchazeč RNDr. Petr Kučera, Ph.D.

Plné jméno

Tituly před jménem

Jméno

Rodné (křestní) jméno

Příjmení

Tituly za jménem

Průběh zpracování návrhu

Fakulta podání

Datum podání návrhu (zahájení řízení)

Datum přijetí návrhu ke jmenování

Datum promoce

Termín ukončení

Výsledek řízení

Odborné zaměření

Obor habilitace

Habilitační přednáška

Vybrané téma

Vybrané téma přednášky (pro případ, kdy bývá navrženo více témat)

Minimální KNF reprezentace booleovských funkcí

Hodnocení habilitační přednášky

Vystoupení uchazeče bylo plynulé, přednáška dobře utříděná.

Posouzení návrhu v orgánech UK

Vědecká rada univerzity

Termín jednání VR UK

Datum jednání

Datum jednání vědecké rady univerzity

Habilitační komise

Členové komise

1. člen komise prof. RNDr. Olga Štěpánková, CSc.

Plné jméno

Tituly před jménem

Jméno

Rodné (křestní) jméno

Příjmení

Tituly za jménem

2. člen komise doc. RNDr. Ing. Michal Černý, Ph.D.

Plné jméno

Tituly před jménem

Jméno

Rodné (křestní) jméno

Příjmení

Tituly za jménem

3. člen komise prof. RNDr. Pavel Pudlák, DrSc.

Plné jméno

Tituly před jménem

Jméno

Rodné (křestní) jméno

Příjmení

Tituly za jménem

4. člen komise prof. RNDr. Jan Krajíček, DrSc.

Plné jméno

Tituly před jménem

Jméno

Rodné (křestní) jméno

Příjmení

Tituly za jménem

5. člen komise prof. RNDr. Jiří Sgall, DrSc.

Plné jméno

Tituly před jménem

Jméno

Rodné (křestní) jméno

Příjmení

Tituly za jménem

Závěr stanoviska habilitační komise

Detaily

Odůvodnění a závěr

Odůvodnění usnesení komise

RNDr. Petr Kučera, Ph.D. se v doktorském studiu pod vedením doc. Čepka a následně v postdoktorském výzkumu zapojil do práce skupiny odborníků na boolovské funkce (Boros, Čepek, Kogan, Savický a další). Skupina se mj. zabývá i problémem úsporných CNF-reprezentací boolovských funkcí, speciálních tvarů reprezentací, složitostí jejich konstrukce a výzkumu tříd funkcí, u kterých lze efektivně rozhodovat o otázkách, které jsou v obecné formulaci výpočetně těžké. Jedná se o příspěvek k tématu, které patří mezi hlavní problémy teoretické informatiky již od 70. let minulého století. Obecné otázky totiž zůstávají stále nezodpovězeny, a tak současný výzkum vede cestou rozpracování dílčích podproblémů – a právě to činí dr. Kučera. Soustředí se především na problematiku Hornových formulí a jejich zobecnění, pro něž jsou otázky o splnitelnosti či vyplývání výpočetně efektivní. Kromě teoretického přínosu – který je stěžejní – mají Kučerovy výsledky význam mj. i v umělé inteligenci, neboť studované třídy formulí jsou užitečné v reálných úlohách z oblasti znalostních bází či z elektrotechniky. Právě pro reálné aplikace má zásadní význam otázka efektivní minimalizace speciálních formulí v CNF (je všeobecně známo, že v plné obecnosti je otázka výpočetně těžká). 

Dr. Kučera zkoumá zejména výpočetní složitost problémů nad Hornovými formulemi. Soubor článků tvořící habilitační práci jasně dokumentuje, o jak technicky náročný problém se jedná. Ačkoliv k formulaci problému obvykle stačí aparát výrokové logiky, k řešení je třeba širší instrumentárium: předložené články kombinují řadu metod z dalších oborů, opírají se o hluboké výsledky z výpočetní složitosti, z teorie grafů i z kombinatorické optimalizace. Zavádějí se nové koncepty, které umožňují budovat ucelenou teorii minimalizace formulí v CNF. 

Výčet předložených článků podává mimo jiné i svědectví o Kučerově talentu pro týmovou práci. Dr. Kučera dlouhodobě spolupracuje s odborníky, jejichž renomé je nesporné. To, že spoluautory tří článků zařazených do habilitační práce jsou prof. Boros a prof. Kogan z Rutgers University v USA, je jasným dokladem uznání dr. Kučery mezinárodní vědeckou komunitou. 

Na místě je zdůraznit i ocenění kvality publikací zařazených do habilitační práce dr. Kučery. Dva z oponentů explicitně píší: „... the papers are examplary in the care and clarity of their style...“ (prof. Turán) a „several concepts introduced in his papers (like essential and exclusive sets, or the bound ess(f)) are quite elegant and provide fundamental insights into the structure of Boolean functions“ (prof. Crama). O přínosu těchto poznatků svědčí zejména to, že dr. Kučera je autorem či spoluautorem 13 časopiseckých publikací s IF a dalších 10 příspěvků v recenzovaných sbornících. Z hlediska oboru habilitace jsou důležité především práce v časopisech Theoretical Computer Science, Discrete Applied Mathematics, Artificial Intelligence a Information Processing Letters. Je doloženo 26 citací bez autocitací, z nichž 6 je na WoS a citovanost narůstá. Komise si také všimla toho, že některé citace jsou hodnotné v tom smyslu, že – byť nejsou evidovány na WoS (viz např. arXiv) – přicházejí od významných autorů. 

Třetí oponent, prof. Hromkovič, rozdělil posudek na dvě části. V odborné části oceňuje kvalitu dosažených výsledků. V druhé části ovšem vyslovuje výhrady proti počtu článků zařazených do habilitační práce s tím, že obsah habilitační práce tvoří pět publikací, z nichž všechny mají 1-3 spoluautory. Doporučuje proto další rozšíření předložené práce. 

Je zřejmé, že námitka prof. Hromkoviče může mít podstatný vliv na průběh habilitačního řízení. Habilitační komise se proto věnovala námitce prof. Hromkoviče velice detailně. Komise dospěla k závěru, že pro habilitační řízení je určující skutečnost, že prof. Hromkovič vyjádřil kladné stanovisko k odborné stránce práce dr. Kučery a že totéž učinili ostatní oponenti. Podstatou námitky prof. Hromkoviče je fakt, že v habilitační práci byly zařazeny jen vybrané články, které byly publikovány ve spoluautorství s dalšími členy výzkumné skupiny, v níž dr. Kučera působí. Komise tyto argumenty pečlivě zvážila a přesto shledala práci hodnou zřetele, a to z následujících důvodů:
(1) Fakt, že dr. Kučera do habilitační práce zařadil jen výběr ze svých publikovaných prací, je na MFF UK zcela obvyklý a naplňuje smysl habilitační práce jako dokladu schopnosti kandidáta uceleně pracovat na konkrétním výzkumném tématu, zapojit se do mezinárodní vědecké komunity a získat uznání ve svém oboru. 
(2) Dr. Kučera má dostatek kvalitních výsledků; i kdyby do habilitační práce bylo zařazeno více článků (jak navrhuje prof. Hromkovič), nic by to na hodnocení kandidáta jako vědecké osobnosti nezměnilo. 
(3) Metody prezentované v habilitační práci dr. Kučera v současné době dál velmi slibně rozvíjí. Upozorňuje na to ostatně i prof. Turán: „His most recent paper (Hydras…), which was published very recently and thus is mentioned only briefly in his thesis, is single authored. This new paper contains very interesting and difficult further results on Horn minimization, using the methodology of the thesis and also developing many new ideas.“

Celkové hodnocení. Komise vyzdvihuje integrační schopnost dr. Kučery, kterému se podařilo zvolit nosné téma a výsledky představit v habilitační práci jako kompaktní myšlenkový celek soustředěný na jediný cíl. Za zmínku stojí, že jeho bibliografie vybízí k zařazení dalších sedmi časopiseckých článků. 

O vědecké aktivitě dr. Kučery svědčí i dva projekty GAČR, na jejichž řešení se podílel od roku 2007 – nejprve jako řešitel post-doc grantu Boolean functions a později jako člen týmu grantu KnowSched.

Rovněž jeho pedagogické působení v posledních deseti letech naplňuje požadavky habilitačního řízení. Na Katedře teoretické informatiky a logiky MFF UK v Praze zodpovídá za předmět Základy složitosti a vyčíslitelnosti a aktivně se angažuje v mnoha dalších předmětech jako cvičící.



.

Závěr

Závěr usnesení komise

Na základě předložených materiálů, vlastní habilitační práce a vysoce pozitivních posudků dvou ze tří oponentů, komise konstatuje, že RNDr. Petr Kučera, Ph.D. je erudovanou vědeckou osobností s mezinárodním dopadem výzkumné práce. Rovněž má za sebou dlouhodobou (víc než 10 let) pedagogickou práci na Matematicko-fyzikální fakultě Univerzity Karlovy v Praze a bohaté zkušenosti z devítiměsíční stáže na Japan Advanced Institute of Science and Technology (Kanazawa, Japonsko).

RNDr. Petr Kučera, Ph.D. splňuje všechny požadavky v souladu s § 72 odst. 5 zákona č. 111/1998 Sb., o vysokých školách, pro jmenování docentem v oboru teoretická informatika. Komise navrhuje, aby RNDr. Petr Kučera, Ph.D. byl jmenován docentem v oboru teoretická informatika.

Hlasování o usnesení komise Pro: 4, Neplatné: 1, Hlasů: 5

Pro návrh

Počet členů hlasujících pro návrh

Proti návrhu

Počet členů hlasujících proti návrhu

Neplatné hlasy

Počet neplatných hlasů (včetně těch, kdo se zdrželi hlasování)

Počet přítomných

Počet přítomných členů komise

Počet členů celkem

Celkový počet členů komise

Datum

Datum hlasování

Scan podepsaného stanoviska HK

Scan podepsaného stanoviska habilitační komise

Stanovisko_PKucera.pdf

Posouzení návrhu ve vědecké radě fakulty

Vědecká rada fakulty

Datum projednání návrhu ve vědecké radě fakulty

Probíhá automatické ukládání...

Proces

Komentáře a dotazy zasílejte z kontaktního formuláře. Habilion 1.23.9-4cc038c (master) dodává Zmok s.r.o.