Aktuality

DevConf.cz 2024 hledá přednášející mezi studenty a studentkami, přihlaste se do 3. března

Staňte se přednášejícími na největší akci pro vývojáře, administrátory a uživatele Linuxu a open source ve střední Evropě - DevConf.cz 2024. Konference proběhne 13. - 15. června na FIT VUT v Brně. Jako každý rok, i letos DevConf.CZ vítá začínající řečníky.

Nemáte zatím žádné zkušenosti s prezentováním na veřejnosti, ale pracujete na zajímavém projektu, bakalářské či diplomové práci nebo se zkrátka jen zajímáte o oblast open source technologií? Přihlaste svůj nápad a podělte se o své poznatky a zájmy s open source komunitou ve formě 15 minutového lightning talku nebo 35 minutové přednášky. Více o konferenci, jejím obsahu a o tom, jak správně podat návrh na prednášku najdete zde. Všechny přednášky, prezentace a workshopy budou probíhat v angličtině.

Přihlášky sbíráme do 3. března, veškeré informace najdete na webu konference. 

Odkaz: https://www.fit.vut.cz/fit/news/3642/.cs
[img]

Obhajoba disertační práce Marka Žáka z Ústavu inteligentních systémů se koná 28. února

Srdečně zveme na obhajobu disertační práce Ing. Marka Žáka s názvem Biologií inspirované řízení kráčivého robota. Mobilní roboti jsou využíváni pro nejrůznější účely, často na místech, která by pro člověka byla nemyslitelná. Jedná se například o záchranné akce či průzkum vesmíru. Kráčiví roboti se dokáží pohybovat i v náročných terénech, jejich nevýhodou však může být energetická náročnost, pomalost pohybu, neschopnost unést těžší břemena či náročnost řízení.

Tato dizertační práce popisuje návrh, konstrukci a řízením nového biologií inspirovaného šestinohého robota WHexaR, který se s těmito překážkami umí vypořádat. Kompletní abstrakt práce je k dispozici na tomto odkazu. 

Práce vznikla pod vedením školitele docenta Františka  Zbořila a školitele specialisty Ing.  Jaroslava Rozmana.

Obhajoba se koná 28. února od 13 hodin v zasedací místnosti C209 na FIT VUT.

Oponenty jsou prof. Ing. Petr Musilek, Ph.D. z University of Alberta a Ing. Tomáš Ondráček, Ph.D. ze společnosti Artin. 

Odkaz: https://www.fit.vut.cz/fit/news/3641/.cs
[img]

Zveme na obhajobu disertační práce Martina Hrušky z Ústavu inteligentních systémů

Srdečně zveme na obhajobu disertační práce Ing. Ing. Martina Hrušky s názvem Automaty ve Verifikaci a Testování Software. Pod vedením školitele profesora Tomáše Vojnara a školitele specialisty docenta Lukáše Holíka se v ní zabývá aplikacemi teorie konečných automatů v zajištění kvality software. V první části se zabývá aplikací automatu v pro formální verifikaci programu pracujících s dynamickými datovými strukturami, následně pak jejich aplikací do automatizovaného testování výrobních informačních systému v prostředí digitálního dvojčete. 

Obhajoba se koná 5. března od 13 hodin v zasedací místnosti C209 na FIT VUT.

Oponenty jsou assoc. prof. Ahmed Rezine z Linköping University a doc. RNDr. Jan Kofroň, Ph.D. z MFF UK.

Více informací o práci naleznete na tomto odkazu.

Odkaz: https://www.fit.vut.cz/fit/news/3640/.cs
[img]

Na FIT bude v rámci VGS Invited Talks@FIT přednášet profesor Nakov z Mohamed bin Zayed University of Artificial Intelligence

Srdečně zveme na další přednášku z cyklu VGS Invited Talks @ FIT , tentokrát od  profesora Nakova: Factuality Challenges in the Era of Large Language Models. Profesor Preslav Nakov, který působí na Mohamed bin Zayed University of Artificial Intelligence (MBZUAI) v  Abu Dhabi,  je předním světovým odborníkem ve zpracovani přirozeného jazyka. Jeho přednáška se koná ve čtvrtek 29.2. od 16 hodin na FIT v místnosti A112. 

Jaká jsou úskalí velkých jazykových modelů (LLM)? Jsou sice velmi mocné, ale jejich slabinou je práce s fakty. V lepším případě si někdy vypomůžou vymýšlením, v horším případě šíří lži a dezinformace. Nenechte si tuto přednášku na aktuální téma ujít, po ní ještě bude prostor na neformální besedu o možnostech spolupráce s MBZUAI.

Detailnější informace o práci profesora Nakova naleznete na tomto odkazu.

Odkaz: https://www.fit.vut.cz/fit/news/3638/.cs
[img]

Zveme na obhajobu disertační práce Viktora Malíka z Ústavu inteligentních systémů

Srdečně zveme na obhajobu disertační práce Ing. Viktora Malíka s názvem Statická analýza programů v jazyce C. Pod vedením školitele profesora Tomáše Vojnara  se v ní zabývá  statickou analýzou nízkoúrovňového softwaru (tj. analýzy zdrojového kódu softwaru). Práce navrhuje nové originální techniky ve dvou různých oblastech analýzy: formální verifikaci (tj. dokazování správnosti), programů pracujících se složitými datovými strukturami a rychlou, odlehčenou statickou analýzu sémantických rozdílů mezi verzemi rozsáhlého softwaru (např. linuxového jádra nebo systémových knihoven).

Obhajoba se koná 5. března od 15 hodin v zasedací místnosti C209 na FIT VUT.

Oponenty jsou Florian Zuleger, Associate Prof. Dipl.-Math. Dr.techn z TU Wien a prof. RNDr. Jan Strejček, Ph.D. z FI MU.

Více informací o práci naleznete na tomto odkazu.

Odkaz: https://www.fit.vut.cz/fit/news/3637/.cs
[img]

Stránka:

Odebírejte novinky FIT

odebírat přestat odebírat

Nahoru