Ve středu jsem měl první zkoušku, resp. obhajobu projektu. Nejprv byla v plánu 30min společná prezentace naší práce a poté měl být každý individuálně 40min zkoušel, což mi přišlo docela dost, tak jsem byl krapet nervózní. Ukázalo se, že zcela zbytečně. Dopadlo to skvěle a poprvé v životě jsem ze zkoušky dostal za 12!
Zajímavé bylo, že náš projekt je oficiálně z předmětu “Semantics and Verification” (SV), ale reálně nemá s látkou předmětu nic společného. Speciální zkoušku z tohoto předmětu nemáme, tak jsme trochu čekali, že se při individuálním zkoušení budou ptát taky na SV. Nemohu říct, že bych se to zrovna poctivě učil, např. proto, že tu byl na návštěvě Jardáč, tak jsme podnikali něco zajímavějšího (např. ničili kola). Nicméně náš skupinový Dán se ho neučil vůbec, prý základní pojmy zná a na nic víc se snad ptát nebudou. Tak to mě docela uklidnilo..
Nakonec prezentace nějak proběhla, každý si odvykládal svých 10minut a bylo. Individuální zkoušení byla spíš taková diskuze nad projektem. Chtěli znovu vysvětlit některé části a shrnout nápady za nějakými důkazy. Ke konci se ptali na nějaká možná rozšíření a na aplikace našeho projektu na podobné problémy. V této fázi už to byla spíš diskuze mezi Kimem(supervisor) a censorem. Já jsem jen občas řekl, co si myslím, nebo “nevím” a všichni byli spokojení. Nakonec nám všem třem dali dvanáctky (~A).
Už minulý týden se taky Kim vyjádřil, že se mu náš projekt líbí, že bych chtěl abychom ho fakt poslali na nějakou pořádnou konferenci a že bychom ho taky měli prezentovat na nějakém workshopu, třeba teď 9.-10. v Kodaňi. Jelikož jsme s Filipem stejně chtěli v tomto termínu na prohlídku Kodaně, neváhali jsme.
Jmenovalo se to MT-lab a je to jakýsi pravidelný slet dánských vědců z oblasti verifikace. Náš projekt prezentoval Filip. Zde se sluší zmínit, že právě Filip vymyslel všechny klíčové části naší práce, my jsme fungovali spíš pomocná síla a psychická podpora, takže je to spíš jeho projekt. Podle mě byla jeho prezentace docela dobrá, ale mu přišla hrozná, tak těžko říct :-)
Abych pravdu řekl, tak moc ostatních talků jsem nepochopil. Bylo tam dost dost různých témat a asi mám výrazné nedostatky v “základech”, takže jsem dlouho vstřebával, o co jde, a přednášející mi zatím utekl..
Výlet ale rozhodě stál za to. Hezky se tam o nás starali, něco jsem se dozvěděl, škola nám zaplatila letenky a dneska jsme si prohlídli Kodaň (zítra napíšu víc), takže luxus! :)
