Aktuality

Zvažujete doktorské studium na FIT? Přijďte 8. dubna na přednášku a diskuzi pro zájemce o Ph.D.

Uvažujete o doktorském studiu na FIT a potřebujete více informací? Přijďte 8. dubna do posluchárny D 206 kde pro Vás bude od 15 hodin připravena prezentace o Ph.D. profesora Sekaniny. Následovat bude diskuze s akademiky, kterých se můžete vyptat na vše, co Vás ohledně doktorského studia zajímá.

Informace o doktorském studiu naleznete také na webu. Přehled vypsaných témat disertačních prací je zde. A připomínáme, termín pro podávání přihlášek (1. kolo) je 30. května.

[img]

Michal Hečka a David Chocholatý z FIT jsou mezi oceněnými Brno Ph.D. Talent

Město Brno pošestnácté ocenilo mladé vědce a vědkyně z brněnských univerzit. Na slavnostním setkání ve středu 19. 3. na brněnské Nové radnici převzali šeky na další rozvoj svého výzkumu. Mezi 25 oceněnými jsou Michala Hečka a David Chocholatý z Ústavu inteligentních systémů FIT VUT.

Zlepšovat software pomocí logiky je heslem Michala Hečka. Logika a její použití ve formální verifikaci, kterou se zabývá, je oblastí teoretické informatiky s důležitými praktickými dopady. „Když je cena za chybu počítače vysoká, obracíme se na formální verifikaci, abychom matematicky dokázali, že se software chová podle našich očekávání. Základy formální verifikační logiky a rozhodovacích postupů jsou však plné problémů se škálovatelností, což způsobuje obrovský nárůst výpočetní doby a neefektivnost použitých algoritmů pro reálné aplikace. Můj projekt se těmito problémy zabývá s cílem připravit cestu k bezpečnému a robustnímu softwaru,“ vysvětluje Michal a dodává: „Život v bezpečí a pohodlí vnímám jako privilegium a věřím, že bych měl svůj čas trávit zodpovědně tím, že využiji svou zvědavost a touhu po poznání a pokusím se naši společnost posunout kupředu.“

Na vývoj metod pro systematické objevování chyb ve webových aplikacích se zaměřuje David Chocholatý. Spolu s kolegy k tomu využívá nástroje z teorie automatů, která je také součástí teoretické informatiky. „Náš přístup je nejrychlejší na světě, což nám dává jedinečnou příležitost překonat současné překážky a odhalit mnohé zranitelnosti. Projekt navíc pomůže i v oblastech verifikace řídících systémů pro letecký průmysl či při nastavení přístupových práv do cloudových řešení,“ přibližuje svůj výzkum David a dodává také svou motivaci: „Zvídavost a touha rozumět světu kolem nás je tím, co nás jako lidstvo rozvíjí, a já jsem rád, že mohu být součástí tohoto pokroku.“

Více o letošním ročníku v článku na webu VUT.

[img]

V úterý 25. března se na FIT koná veřejná habilitační přednáška Ondřeje Lengála z Ústavu inteligentních systémů

Srdečně zveme na veřejnou přednášku v rámci habilitačního řízení Ing. Ondřeje Lengála, Ph.D.: Nové přístupy k simulaci a analýze kvantových obvodů. Koná se v úterý 25. března od 14 hodin v posluchárně E 105 na FIT VUT. Přednášku můžete sledovat i online.

Vývoj v oblasti kvantového počítání jde nezadržitelně dopředu, a to jak na poli technologickém (lepší hardware), tak i na poli algoritmickém (lepší techniky opravy chyb).

Kvantové počítání slibuje řešení problémů, které nejsme aktuálně schopni efektivně řešit konvenčními technikami, jako jsou např. faktorizace velkých čísel, hledání v nestrukturované databázi, či problémy v oblasti materiálového inženýrství, farmakologie, či simulace fyzikálních systémů. Psaní programů pro kvantové počítače je však mnohem náročnější než pro počítače klasické a to z toho důvodu, že kvantové programy mají pravděpodobnostní povahu a klíčovou technikou, kterou dosahují své efektivity, je využití tzv. superpozice a konstruktivní interference. Toto se dá zjednodušeně představit tak, že program je při svém běhu v několika stavech zároveň, v každém s nějakou pravděpodobností, a tyto pravděpodobnosti spolu mohou interagovat: zesilovat se či zeslabovat. Abychom omezili možnosti vzniku chyb při programování kvantových počítačů, je potřeba mít nástroje, které umí v kvantových programech chyby hledat. Analýza kvantových programů je však náročný problém i pro počítače z důvodu exponenciální velikosti stavu kvantového programu. V této přednášce bude představen nedávno zavedený rámec pro automatizovanou formální verifikaci kvantových programů, který využívá automaty pro kompaktní reprezentaci složitých množin kvantových stavů s několika dimenzemi nekonečnosti (jako jsou např. počet qubitů či potenciální hodnoty amplitud).

[img]

Docent Jaroš obdržel Cenu Wernera von Siemense pro nejlepšího pedagoga. Na FIT putuje i třetí místo v kategorii nejlepší diplomová práce na téma Průmysl 4.0

Ve středu 19. března proběhlo slavnostní vyhlášení Ceny Wernera von Siemense za rok 2024. Český Siemens už po sedmadvacáté ocenil talentované studenty, mladé vědce a pedagogy. Nejlepším pedagogem za rok 2024 je Jiří Jaroš z naší fakulty. Na Cenu Wernera von Siemense byl nominován za svůj mimořádný přínos vědě, vzdělávání, inovacím a rozvoji Vysokého učení technického v Brně.

Docent Jaroš je uznávanou osobností v oblasti super počítačových technologií, jeho kariéra zahrnuje špičkový výzkum, excelentní pedagogiku i aktivní roli v akademickém vedení. Je spoluzakladatelem projektu k-Wave, který se během patnácti let stal globálním standardem v modelování medicínského ultrazvuku pro akademickou i průmyslovou sféru. Tento software má v současnosti více než 25 tisíc uživatelů a podporuje rozvoj personalizované medicíny. Jiří Jaroš je však také a možná především inovativním pedagogem, který své kurzy průběžně obohacuje o nejnovější poznatky z výzkumu i z praxe. Nebojí se zavádět do výuky nové postupy a své studenty motivuje zapojováním do mezinárodních projektů. Byl to právě on, kdo zpřístupnil národní superpočítače všem studentům fakulty, a tím jim umožnil pracovat se špičkovými technologiemi. Více v tomto video medailonku nebo v článku na webu.

Na Fakultu informačních technologií putuje díky Michalu Rozsívalovi i třetí místo v kategorii nejlepší diplomová práce na téma Průmysl 4.0. Diplomovou práci s názvem “Simulované vkládání chyb v síťové komunikaci” vytvořil pod vedením Dr. Aleše Smrčky.

Všem oceněným moc gratulujeme a přejeme mnoho úspěchů i do budoucna.

Více o letošním ročníku Ceny Wernera von Siemense.

[img]

10 let HiVisComp: konference, která buduje komunitu špiček v oboru počítačového vidění a grafiky

Jubilejní 10. ročník konference HiVisComp přinesl neformální inspirativní setkání odborníků na počítačovou grafiku, zpracování obrazu a počítačové vidění. Konference byla založena v roce 2014 Martinem Čadíkem (FIT VUT) a Jaroslavem Křivánkem (MFF UK). Od té doby prošla akce dlouhou cestou a významně se rozrostla. Během let se na ní představilo 30 zvaných řečníků ze 13 zemí, bylo předneseno 121 odborných příspěvků a přijato téměř 1000 abstraktů. Dnes ji Martin Čadík organizuje za pomoci kolegů ze ČVUT.

HiVisComp se letos konala v Krkonoších ve dnech 29. ledna až 1. února a opět spojila vědecké přednášky, výměnu zkušeností a sportovní aktivity. V aktuálním ročníku diskutovali účastníci nejnovější vývoj v oblasti vizualizace dat, simulace osvětlení či inovativních metod zpracování obrazu. Mezi hlavní body programu patřily zvané přednášky, kde vystoupila Gabriela Csurka z NAVER LABS Europe, která představila vývoj od modelu CroCo k DUSt3R a MASt3R, které přinesly zásadní posun v oblasti 3D počítačového vidění. Ukázala, jak tyto metody sjednocují a zjednodušují zpracování 3D vizuálních dat a otevírají nové možnosti pro úkoly jako vizuální lokalizace bez mapy či robotická navigace.

Torsten Sattler z ČVUT představil metodu 3D Gaussian Splatting, která umožňuje rychlejší a kvalitnější 3D rekonstrukci scén oproti tradičním přístupům. Zaměřil se na řešení artefaktů, práci s různými světelnými podmínkami a extrakci přesných 3D modelů.

Marc Alexa z TU Berlin představil nový přístup k fitování přímek k rovinám a souvisejícím problémům. Jeho metoda je výpočetně efektivní, snadno implementovatelná a zachovává důležité geometrické vlastnosti.

V rámci prezentace výzkumných týmů vystoupil z FIT VUT Adam Herout se svým příspěvkem The Malleable Glyph Challenge.

Neoddělitelnou součástí této konference jsou i outdoorové a společenské aktivity. Letos se nesly v duchu běžkování a lyžování. Kompletní program konference je k nahlédnutí na webu hiviscomp.cz.

[img]

Stránka:

Odebírejte novinky FIT

odebírat přestat odebírat

Nahoru