V současné době je pro vývoj umělé inteligence nezbytný nepřetržitý výzkum programovacích jazyků. Tímto výzkumem se na Fakultě informačních technologií ČVUT v Praze (FIT ČVUT) zabývá prof. Kirsch, vedoucí Laboratoře výzkumu programování, který zde uplatňuje své zkušenosti z kalifornské univerzity v Berkeley v Silicon Valley a Salcburské univerzity v Rakousku. S kolegy-vědci a se studenty hledají ideální řešení, jak inovace programovacích jazyků ve vývoji umělé inteligence co nejefektivněji aplikovat.
Programovací jazyky umožňují programátorům komunikovat s umělou inteligencí a zadávat jí úkoly, které má provést. Tomu se říká strojové učení. Vývojáři umělé inteligence musí programovací jazyky dokonale ovládat a reagovat na jejich inovace, které vznikají s téměř hodinovou pravidelností. Na FIT ČVUT mají vědci i studenti k dispozici špičkově vybavenou Laboratoř výzkumu programování (PRL@PRG), kde se pod vedením prof. Christopha Kirsche mohou do výzkumu a hledání řešení zapojit vysokoškolští studenti z celé ČR.
„Naší vizí je vytvořit na FIT ČVUT špičkový výzkum programovacích jazyků a systémů. V našich projektech se mohou uplatnit talentovaní a vysoce motivovaní studenti a postdoktorandi nejen z naší fakulty,“ představuje svou vizi prof. Kirsch a dodává: „Naše fakulta pro výzkum nabízí nejen špičkově vybavenou laboratoř, ale také experty ve svém oboru. Ve srovnání se Silicon Valley, kde vědec je jen jako dělník a konkurence je obrovská, tak Praha nabízí zcela jinou a přátelskou atmosféru, která je pro ambiciózní mladé vědce motivační. Ve spojení se zkušenými experty je naše fakulta ideálním podhoubím pro vznik přelomových projektů.“
Výzkum programovacích jazyků je již pevnou součástí FIT ČVUT. Fakulta měla tu čest být jedinou v České republice, která v roce 2015 na výzkum programovacích jazyků získala Advanced ERC grant v hodnotě 77 milionů korun. Výzkum, na kterém se společně s vědci, pod vedením prof. Viteka, podílel i prof. Kirsch, přišel s řešením, jak drasticky snížit náklady na aktualizaci programovacích jazyků a zároveň se vyhnout nutnosti vyvíjet zcela nové jazyky pokaždé, kdy dojde k posunu v hardwarových trendech nebo v metodice programování.
Ruku v ruce s kvalitním výzkumem jde také kvalitní výuka studentů na FIT ČVUT. Vybrat si mohou z několika předmětů zaměřených na modelování programovacích jazyků, tvorbu překladačů a formální metody. Prof. Kirsch se tak na fakultě ocitne jak v roli vědce, tak vyučujícího.
„Trvalo to dvacet let, než jsem se naučil dobře učit. Čím triviálnější předmět vyučujete, tím více zkušeností potřebujete k tomu, abyste ho správně učili. V Berkeley přednášejí úvodní předměty jen ti nejváženější a nejzkušenější profesoři. Bál jsem se mluvit před lidmi, ale nakonec jsem si to zamiloval. Také jsem začal pracovat na vlastní učebnici,“ říká prof. Kirsch.
V laboratoři se v současné době vědci zabývají projektem zaměřeným na symbolické provádění a kontrolu modelu softwaru. Jde o systematické zkoumání chování programu s cílem odhalit chyby a problémy s výkonem, které se obtížně hledají.
„Výzvou je, aby naše metody fungovaly i pro reálný software. Za tímto účelem vyvíjíme softwarový nástroj unicorn, který má otevřený zdrojový kód, a kdokoli se může podílet na jeho vývoji,“ popisuje aktuální projekt prof. Kirsch.
Christoph Kirsch je profesorem na katedře informatiky Univerzity v Salzburgu v Rakousku a vedoucím Laboratoře výzkumu programování (PRL@PRG) na FIT ČVUT. Působil na Institutu Maxe Plancka pro informatiku v německém Saarbrückenu. Pracoval jako postdoktorand na katedře elektrotechniky a informatiky Kalifornské univerzity v Berkeley v Silicon Valley, kde později působil jako hostující vědecký pracovník a hostující profesor na katedře stavebního a environmentálního inženýrství. Mezi jeho největší úspěchy patří vývoj vestavných programovacích jazyků a systémů, jako jsou Giotto, HTL a Embedded Machine.
České vysoké učení technické v Praze patří k největším a nejstarším technickým vysokým školám v Evropě. Podle Metodiky 2017+ je nejlepší českou technikou ve skupině hodnocených technických vysokých škol. V současné době má ČVUT osm fakult (stavební, strojní, elektrotechnická, jaderná a fyzikálně inženýrská, architektury, dopravní, biomedicínského inženýrství, informačních technologií). Studuje na něm cca 18 000 studentů. Pro akademický rok 2022/23 nabízí ČVUT svým studentům na 350 akreditovaných studijních programů a z toho přes 130 v cizím jazyce. ČVUT vychovává odborníky v oblasti techniky, vědce a manažery se znalostí cizích jazyků, kteří jsou dynamičtí, flexibilní a dokáží se rychle přizpůsobovat požadavkům trhu. Podle výsledků Metodiky 2017+ bylo ČVUT hodnoceno ve skupině pěti technických vysokých škol a obdrželo nejvyšší hodnocení stupněm A. ČVUT v Praze je v současné době na následujících pozicích podle žebříčku QS World University Rankings, který hodnotil 2642 univerzit po celém světě. V celosvětovém žebříčku QS World University Rankings je ČVUT na 378. místě a na 12. pozici v regionálním hodnocení „Emerging Europe and Central Asia“. V rámci hodnocení pro oblast „Engineering and Technology“ je ČVUT na 175. místě, v oblasti „Engineering – Civil and Structural“ je ČVUT mezi 201.–220. místem, v oblasti „Engineering – Mechanical“ na 201.–250. místě, u „Engineering – Electrical“ na 201.–250. pozici. V oblasti „Physics and Astronomy“ na 201.–250. místě, „Natural Sciences“ jsou na 238. příčce. V oblasti „Computer Science and Information Systems“ je na 151.–200. místě, v oblasti „Material Sciences“ na 251.–300. místě, v oblasti „Mathematics“ na 251.–300. místě. Od roku 2020 je ČVUT členem aliance prestižních technických univerzit EuroTeQ. Ta představuje zajímavou a přínosnou příležitost pro studenty, vědecké pracovníky i zaměstnance zapojit se do projektu, který si klade za ambici posunout kvalitu vysokého školství na vyšší úroveň. Dalšími členy skupiny EuroTeQ jsou Technical University of Munich, Technical University of Denmark, Technical University of Eindhoven, École Polytechnique – L´X, Tallinn University of Technology, École polytechnique fédérale de Lausanne a Technion Israel Institute of Technology. Více na https://www.cvut.cz/
Fakulta informačních technologií ČVUT v Praze se zaměřuje na nejmodernější oblasti informatiky a informačních technologií. Nabízí moderní bakalářský, magisterský a doktorský studijní program Informatika. Velký zájem uchazečů o studium umožňuje dynamický rozvoj fakulty a výběrovost. Více informací najdete na www.fit.cvut.cz.