V rámci dvanáctého ročníku programu nebude chybět ani informatické zaměření, které vzniklo ve spolupráci s Matematicko-fyzikální fakultou. Všechny přednášky tohoto zaměření se budou konat v Areálu Malá Strana, Malostranské náměstí 2/25, Praha 1 v učebně S5.

Matematicko-fyzikální fakulta

doc. RNDr. Jan Kofroň, Ph.D.

8. října - Můžeme najít všechny chyby ve svém programu?

Čtvrtek 17.00-18.30 hod., učebna S5, Malostranské nám. 2/25, Praha 1

Každý programátor své programy testuje. Jenže co když program projde třeba i stovkou testů a chyba se skrývá ve sto první situaci? U systémů, na kterých závisí lidské zdraví, bezpečnost nebo i životy, nemusí stačit jen testování. Podíváme se proto na metody, které se snaží ověřit správnost programu systematicky. Ukážeme si, jak lze chování programu formálně popsat – modelovat – a jak počítač dokáže ověřit, že takový model splňuje naše očekávání – specifikaci. To je důležité zejména u takzvaného kritického softwaru – řídících systémů v letadlech, v chirurgických přístrojích, v armádě, ale v dnešní době i třeba v autech.

Přednášející:

Jan Kofroň vede Katedru distribuovaných a spolehlivých systémů na Matfyzu a dlouhodobě se věnuje verifikaci programů, konkrétně model checkingu a verifikaci kódu. Zjednodušeně řečeno, vyvíjí metody a přístupy, které umožňují nalézt a odstranit chyby v počítačových systémech, a to už během jejich vývoje.

Matematicko-fyzikální fakulta

Bc. Ladislav Nagy

22. října - Od promptu k multiplayeru: Jak s AI postavit skutečnou webovou aplikaci

Čtvrtek 17.00-18.30 hod., učebna S5, Malostranské nám. 2/25, Praha 1

Dnešní AI dokáže chrlit kód po stovkách řádků, ale skutečný software tvoří promyšlená architektura a systémové myšlení. Na workshopu zjistíte, co všechno dělí jednoduchou webovku na GitHub Pages od aplikace pro tvorbu multiplayerových her. Pochopíte, jak si vytvořit vlastní webovou aplikaci, hodně se toho naučit a přitom neutratit ani korunu. A také jak AI řídit, aby dělala to, co chcete. V praktické části si pak pomocí chytrého promptování vytvoříte vlastní interaktivní hru a nejlepší hry otestujeme v živém souboji celé místnosti.

Přednášející:

Ladislav Nagy je student navazujícího magisterského studia informatiky na Matfyzu. Ve své bakalářské práci vytvořil aplikaci Zlehčito, která využívá generativní AI k přípravě a procvičování otázek ze studijních materiálů. Od středoškoláků ho tedy nedělí desítky let akademické kariéry, ale jen pár let studia – a může z první ruky ukázat, jak se z nápadu stane bakalářská práce a skutečná aplikace.

Matematicko-fyzikální fakulta

RNDr. Ondřej Pangrác, Ph.D.

5. listopadu - Jak se neztratit v úzkých uličkách: Jednosměrky, grafy a teoretická informatika

Čtvrtek 17.00-18.30 hod., učebna S5, Malostranské nám. 2/25, Praha 1

Z ulic našeho města chceme udělat jednosměrky, ale potřebujeme být stále schopni se dostat odkudkoli kamkoli. Podíváme se na tento problém z pohledu teoretické informatiky – vytvoříme abstraktní model silniční sítě, popíšeme algoritmus pro orientaci šipek a ukážeme, že navržené řešení je korektní. Během této přednášky si představíme informatiku, která počítače (občas) nepotřebuje.

Přednášející:

Ondřej Pangrác se na Matfyzu zabývá matematikou a teoretickou informatikou, především grafy a grafovými algoritmy. Grafy jsou (nejen) v jeho podání abstraktní struktury s vrcholy a hranami, které slouží k popisu vztahů mezi objekty. Lze tak modelovat dopravní, počítačové nebo třeba i sociální sítě, řešit dopravní problémy nebo simulovat šíření informací mezi lidmi. Ve své přednášce se pokusí ukázat, že i matematický přístup je důležitou součástí informatiky.

Matematicko-fyzikální fakulta

RNDr. Tomáš Iser, Ph.D.

19. listopadu - Fotorealistická grafika aneb Proč vypadá počítačové zlato jako zlato?

Čtvrtek 17.00-18.30 hod., učebna S5, Malostranské nám. 2/25, Praha 1

V počítačové hře nebo filmu snadno poznáme kov, sklo, plast nebo lidskou kůži, přestože před sebou máme jen svítící pixely. Jak počítač pozná, jak má jednotlivé materiály nakreslit? Vydáme se po stopách světla: odrazíme ho od povrchu, necháme ho projít materiálem a budeme sledovat, co se s ním cestou stane. Ukážeme si, jak vznikají realistické obrazy, proč jejich výpočet může trvat překvapivě dlouho a co mají společného počítačové hry, filmové efekty, fyzika světla a barevný 3D tisk.

Přednášející:

Tomáš Iser působí ve skupině počítačové grafiky na Matfyzu a zabývá se fotorealistickou grafikou, renderováním a vzhledem materiálů. Zkoumá nejen to, jak virtuální objekty správně vykreslit, ale také jak jejich vzhled převést zpět do skutečného světa pomocí barevného 3D tisku. Když tedy potřebujete přesvědčit počítač, že několik milionů pixelů má vypadat jako opravdové sklo, kov nebo jiný materiál, je to přesně jeho obor.

Matematicko-fyzikální fakulta

Mgr. Petr Škoda, Ph.D.

3. prosince - Datový Babylon: jak se domluvit s daty

Čtvrtek 17.00-18.30 hod., učebna S5, Malostranské nám. 2/25, Praha 1

Každý den vznikají mraky nových dat – zprávy, výsledky měření, informace o počasí, nákupech nebo třeba pohybu lidí. Říká se, že data jsou novým zlatem. Tak proč je prostě neshromažďovat a nezbohatnout? Protože data sama o sobě nestačí. Můžeme mít miliony datových záznamů a přesto být chudší než kostelní myš. V přednášce se podíváme na to, co se s daty děje od jejich vzniku až po jejich využití. Zjistíme, co mají společného „jeden o koze, druhý o voze“, velké jazykové modely a datoví inženýři.

Přednášející:

Petr Škoda působí na Katedře softwarového inženýrství na Matfyzu a zabývá se oblastmi softwarového, datového a sémantického inženýrství. Ačkoliv původně považoval data a databáze za nepodstatné, dnes se věnuje tomu, jak kolem nich efektivně budovat softwarová řešení.