V rámci jedená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.

2. října - Multi-agentní hledání cest: jak fungují autonomní sklady

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

Najít cestu z bodu A do bodu B je snadné, co když ale ve stejnou chvíli prochází stejnou oblastí hodně „agentů“, kteří by se, pokud možno, neměli srážet, například auta na křižovatce nebo přepravní roboti ve skladu? Přednáška ukáže, jak naplánovat trasy spousty robotů přes společnou oblast tak, aby se všichni co nejdříve a bez nehod dostali do svých cílů.

Přednášející:

Prof. RNDr. Roman Barták, Ph.D. je profesorem informatiky se zaměřením na umělou inteligenci. Výzkumně se věnuje především automatickému plánování a rozvrhování, tj. jak si má agent (virtuální, třeba bot ve hře, nebo fyzický, tedy robot) naplánovat své aktivity tak, aby dosáhl svého cíle (například donesl balíček na zadané místo). Na Matfyzu vede Katedru teoretické informatiky a matematické logiky a přednáší základní přednášky z umělé inteligence.

9. října - Programování pro neprogramátory: Nedosažitelný sen nebo blízká realita?

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

Bude v blízké době možné, aby kdokoliv bez programátorských znalostí vytvořil aplikaci dle svých představ a nebo vyrobil vlastní analýzu komplexních dat? V přednášce se na problém podíváme z historické perspektivy. Snaha umožnit komukoliv programovat nás totiž provází už téměř tři čtvrtě století. Jak si vědci představovali tzv. “end-user programming” v dřevních dobách informatiky a jak o něm přemýšlí dnes, v době všudypřítomných AI chatbotů?

Přednášející:

Mgr. Tomáš Petříček, Ph.D. působí na Katedře distribuovaných a spolehlivých systémů Matfyzu, kde se věnuje výzkumu a návrhu programovacích jazyků. Ve své práci používá formální teoretické metody, ale na programování se dívá i z historického a filozofického úhlu pohledu. Před návratem na Matfyz získal doktorát na University of Cambridge, pracoval v Microsoft Research na programovacím jazyce F# a poté působil na University of Kent v Canterbury.

23. října - Z GB na kB: jak naskečovat velká data a neztratit při tom hlavu (ani patu)

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

Ukážeme si, že i s malými výpočetními zdroji lze zanalyzovat libovolně velká data, pokud použijeme chytré algoritmy. Konkrétně se zaměříme na tzv. proudové (streaming) algoritmy, které umí zpracovat data jedním průchodem za použití malého množství paměti. Tyto algoritmy data "naskečují": vytáhnout z nich důležité charakteristiky, které nám poté umožní najít časté prvky (tedy např. trendy na sociálních sítích), odhadnout počet různých prvků (např. kolik různých IP adres vidělo moji stránku) a mnoho dalšího a to za použití pouze kilobytů paměti, ať už jsou data jakkoliv velká.

Přednášející:

Mgr. Pavel Veselý, Ph.D. působí na Informatickém ústavu Univerzity Karlovy, kde se věnuje výzkumu efektivních algoritmů pro analýzu velkých dat. Zajímá ho, jak navrhovat chytré výpočty, které umí s malými paměťovými nároky zpracovat data, jež přicházejí postupně nebo kterých je příliš mnoho na běžné zpracování. Po doktorátu na Matfyzu strávil tři roky jako výzkumník na britské University of Warwick, kde se zabýval algoritmy pro analýzu datových proudů. Jeho výsledky využívají i firmy jako Splunk nebo projekty z oblasti bioinformatiky. Kromě výzkumu učí studenty algoritmy a přibližuje jim, jak počítače řeší problémy rychle a úsporně..

6. listopadu - Bitcoin v akci: Proč vznikl a jak funguje

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

Proč vůbec vznikl Bitcoin a co mu dává smysl v době tradičních měn? Společně si povíme, jak Bitcoin funguje, proč přitahuje technologické nadšence i kritiky centrálních bank, a jak se s ním dá v praxi platit. Ukážeme si reálné nástroje pro používání Bitcoinu a vyzkoušíme si, jak snadno ho poslat či přijmout. A kdo bude chtít, odnese si pár bitcoinových 'drobných' ve vlastní mobilní peněžence.

Přednášející:

RNDr. Filip Zavoral, Ph.D. je odborný asistent na Katedře softwarového inženýrství MFF UK, kde se věnuje výuce moderních technologií, zejména cloudových služeb a vývoje software. Ve své pedagogické činnosti klade důraz na praktické využití technologií a přizpůsobení výuky rychle se měnícímu IT světu. Dlouhodobě se zajímá o kryptoměny a technologie blockchainu, které integruje i do výuky. Aktivně sleduje vývoj v oblasti decentralizovaných financí a studenty motivuje k přemýšlení o reálných dopadech technologií. Vedle výuky se podílí také na rozvoji a správě fakultní infrastruktury.

13. listopadu - Hledání klipu CLIPem

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

Hledání ve videích už dávno není jen o ručním přetáčení. Díky pokročilým AI modelům, jako je CLIP od OpenAI, lze propojit text a obraz v jednom vektorovém prostoru – a najít tak ve videu přesně to, co popíšete slovy. Ukážeme si, jak pomocí několika řádků v Pythonu prohledat video podle textového dotazu. Na závěr si studenti vyzkouší vlastní vyhledávání v soutěži s nástrojem, který vyvíjejí studenti magisterského studia na Matfyzu.

Přednášející:

Doc. RNDr. Jakub Lokoč, Ph.D. působí na Katedře softwarového inženýrství Matfyzu, kde se věnuje vyhledávání ve videích a obrázcích pomocí hlubokého učení a interaktivních metod. Navrhuje systémy pro prohledávání videoarchivů s využitím inteligentních filtrů, indexů a uživatelských rozhraní. Po stáží v zahraničí vedl úspěšný projekt zaměřený na hledání známých záznamů ve videích a podílí se na výzkumu v oblasti webové analýzy. Studenty vede v tématech týkajících se vizuální analýzy a detekce událostí ve videu.