FAKULTA INFORMAČNÍCH TECHNOLOGIÍ VYSOKÉHO UČENÍ TECHNICKÉHO V BRNĚ

Transkript

1 FAKULTA INFORMAČNÍCH TECHNOLOGIÍ VYSOKÉHO UČENÍ TECHNICKÉHO V BRNĚ Výroční zpráva 2013

2 2

3 OBSAH OBSAH... 3 I. Úvod... 4 II. Aktivity fakulty v roce II.1. Studium... 5 II.2. Tvůrčí činnost... 9 II.3. Vnější vztahy II. 4. Rozvoj, výstavba a dislokace II.5. Akademický senát II.6. Studentské aktivity III. Pracoviště III.1. Ústav informačních systémů III.2. Ústav inteligentních systémů III.3. Ústav počítačové grafiky a multimédií III.4. Ústav počítačových systémů III.5. Centrum výpočetní techniky III.6. Výzkumné centrum informačních technologií IV. Závěr

4 VÝROČNÍ ZPRÁVA 2013 FAKULTA INFORMAČNÍCH TECHNOLOGIÍ VYSOKÉHO UČENÍ TECHNICKÉHO V BRNĚ I. ÚVOD Tento dokument je Výroční zprávou Fakulty informačních technologií. Výroční zpráva obsahuje zásadní číselné a textové údaje o fakultě za rok Údaje ve zprávě vesměs vycházejí z informačního systému fakulty. Informace o fakultě, které mají dlouhodobější charakter, jsou uvedeny v samostatném dokumentu. doc. Ing. Jaroslav Zendulka, děkan prof. Dr. Ing. Pavel Zemčík proděkan pro vnější vztahy Vedení fakulty pracovalo v roce 2013 v tomto složení: Děkan doc. Ing. Jaroslav Zendulka, Proděkan pro vzdělávací činnost v bakalářském studiu Ing. Bohuslav Křena, Ph.D. Proděkan pro vzdělávací činnost v magisterském studiu Ing. Richard Růžička, Ph.D. Proděkan pro tvůrčí činnost a doktorské studium prof. Ing. Tomáš Hruška, Proděkan pro vnější vztahy prof. Dr. Ing. Pavel Zemčík Proděkan pro strategický rozvoj a výstavbu Ing. Zdeněk Bouša Koordinátor zahraniční mobility doc. Ing., Dipl.-Ing. Martin Drahanský, Ph.D. Studijní poradce Ing. Miloš Eysselt, 4

5 II. AKTIVITY FAKULTY V ROCE 2013 II.1. Studium Stav studentů Přehled studentů v ak. r. 2013/2014 BCH BIT CZV DVI4 MBI MBS MGH MGM MIN MIS MMI MMM MPV MSK Suma zapsán přerušení studia obecné přerušení studia zdravotní přerušení studia - posun SZZ ukončení studia včetně SZZ zanechání studia písemným ohlášením nesplnění požadavků stud. programu přestup na jinou školu nebo fakultu

6 Způsob ukončení Přehled ukončených studentů v ak.r. 2012/2013 BIT DVI4 MBI MBS MGM MIN MIS MMI MMM MPV MSK Suma ukončení studia včetně SZZ zanechání studia písemným ohlášením nesplnění požadavků stud. programu přestup na jinou školu nebo fakultu Vývoj počtu absolventů Ak.r. BIT DIT3 DVI4 MBI MBS MGM MIN MIS MMI MMM MPS MPV MSK VTB VTI VTN Suma 2001/ / / / / / / / / / / / Celkem

7 Vysvětlení použitých zkratek BCH bakalářský studijní program Krátkodobé hostující studium bakalářské obor Informační technologie BIT bakalářský studijní program Informační technologie, obor Informační technologie CZV celoživotní vzdělávání DIT3 doktorský studijní program Informační technologie, obor Informační technologie DVI4 doktorský studijní program Výpočetní technika a informatika, obor Výpočetní technika a informatika MBI magisterský studijní program Informační technologie, obor Bioinformatika a biocomputing MBS magisterský studijní program Informační technologie, obor Bezpečnost informačních technologií MGH magisterský studijní program Krátkodobé hostující studium magisterské obor Informační technologie MGM magisterský studijní program Informační technologie, obor Počítačová grafika a multimédia MIN MIS magisterský studijní program Informační technologie, obor Inteligentní systémy magisterský studijní program Informační technologie, obor Informační systémy MMI magisterský studijní program Informační technologie, obor Management a informační technologie MMM magisterský studijní program Informační technologie, obor Matematické metody v informačních technologiích MPS magisterský studijní program Informační technologie, obor Počítačové systémy a sítě MPV magisterský studijní program Informační technologie, obor Počítačové a vestavěné systémy MSK magisterský studijní program Informační technologie, obor Počítačové sítě a komunikace VTB bakalářský studijní program Elektrotechnika a informatika, obor Výpočetní technika a informatika VTI magisterský studijní program Elektrotechnika a informatika, obor Výpočetní technika a informatika VTN navazující magisterský studijní program Elektrotechnika a informatika, obor Výpočetní technika a informatika 7

8 Počty akademických pracovníků k Ústav Fyzické osoby Přepočtený stav Ústav inteligentních systémů 19 17, Ústav informačních systémů 20 17, Ústav počítačových systémů 16 14, Ústav počítačové grafiky a multimédií 11 11, VCIT 4 4,00 Celkem 71 64,70 V roce 2013 působilo na Fakultě informačních technologií 71 akademických pracovníků (po přepočtu na celé úvazky 64,70 osob). 8

9 II.2. Tvůrčí činnost Věda a výzkum Tematický okruh Kód projektu Název projektu Přehled zahraničních projektů FP Decipher - Digital Environment for Cultural Interfaces; Promoting Heritage, Education and Research FP mosaic - Open-Source API and Platform for Multiple Clouds FP SRS - Multi-Role Shadow Robotic System for Independent Living FP Java platform for high PErformance and Real-time large scale data management (JUNIPER) FP SCAlable Preservation Environments (SCAPE) FP IMPART - Intelligent Management Platform for Advanced Real-Time media processes FP Applying Pilots Models for Safer Aircraft - A-PiMod ATLANTIS DESIRE Dependable Systems International Research and Educational Experience PRACE 11DECI0130 Simulating the effect of fiducial markers on high-intensity focussed ultrasound treatments of the prostate Artemis R3-COP - Robust & Safe Mobile Co-operative Autonomous Systems Artemis esonia - Embedded Service Oriented Monitoring, Diagnostics and Control: Towards the Asset-aware and Self-Recovery Factory Artemis RECOMP - Reduced Certification Costs Using Trusted Multicore Platforms Artemis SMECY - Smart Multicore Embedded SYstems Artemis HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems 9

10 Přehled řešených projektů OP VaVpI a OP VK OP VaVpI + OP VK Název projektu CZ.1.05/1.1.00/ Centrum excelence IT4Innovations CZ.1.07/2.2.00/ Vzdělávání v IT pro praxi MVČR VG VG VG VG Přehled řešených projektů Ministerstva vnitra České republiky Název projektu Moderní prostředky pro boj s kybernetickou kriminalitou na Internetu nové generace Nástroje a metody zpracování videa a obrazu pro boj s terorismem Robot pro hledání osob v závalech a lavinách Zpřístupnění automatického ověřování mluvčího širokému spektru uživatelů v oblasti bezpečnosti MPO FR-TI1/034 FR-TI1/037 FR-TI1/038 FR-TI3/039 Přehled řešených projektů Ministerstva průmyslu a obchodu Název projektu Multilingvální rozpoznávání a vyhledávání v řeči pro elektronické slovníky Automatizované zpracování útoků Systém pro programování a realizaci vestavěných systémů Workflow systém jako výkonný nástroj pro business process reengineering Přehled řešených projektů Technologické agentury České republiky TA ČR TA TA TA TA TA TA TA TA TA Název projektu SCADA_QNX Systém pro podporu platformě nezávislé analýzy škodlivého kódu ve spustitelných souborech Chytrý autopilot Systém pro zvýšení bezpečnosti v prostředí Internetu analýzou šíření škodlivého kódu Systém pro podporu vyhodnocování metody FISH Technologie zpracování řeči pro efektivní komunikaci člověk-počítač D-NOTAM Výzkum a vývoj možností monitorování a ovlivňování pohybu vozidel na silnicích nižších tříd v ČR Ověření realizace spojité zátěžové mapy pomocí moderních klasifikačních a predikčních metod 10

11 TE TE TA TA Centrum pro rozvoj dopravních systémů V3C - Visual Computing Competence Center Integrovaná simulační platforma SALI - Software pro stanovení zatížení draku letounu Přehled řešených projektů Grantové agentury České republiky GA ČR P103/10/1517 P103/10/0306 GP202/12/P567 GP202/12/P604 GP202/13/37876P Název projektu Natural computing na nekonvenčních platformách Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti Jazykově nezávislá detekce klíčových slov Rozpoznávání řeči pro jazyky s omezeným množstvím trénovacích zdrojů Verifikace nekonečně stavových systémů založená na konečných automatech Přehled řešených projektů Ministerstva školství, mládeže a tělovýchovy MŠMT Název projektu MSM Výzkum informačních technologií z hlediska bezpečnosti 13595/ Decipher - Digital Environment for Cultural Interfaces; Promoting Heritage, Education and Research 19721/ R3-COP - Robust & Safe Mobile Co-operative Autonomous Systems 19721/ esonia - Embedded Service Oriented Monitoring, Diagnostics and Control: Towards the Asset-aware and Self-Recovery Factory 19721/ SMECY - Smart Multicore Embedded SYstems 19721/ RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms 34668/ SRS - Multi-Role Shadow Robotic System for Independent Living 34668/ mosaic - Open-Source API and Platform for Multiple Clouds 35199/ ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems A-PiMod - Applying Pilots Models for Safer Aircraft HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems JUNIPER - Java platform for high PErformance and Real-time large scale data management IMPART - Intelligent Management Platform for Advanced Real-Time media processes 7027/ Pořizování a zpracování HDR obrazů COST LD12036 Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace 11

12 1326/ Bohatý modelovací jazyk -- infrastruktura pro spolehlivé počítačové systémy COST IC1001 Aktion-64p13 Aktion 7AMB12DE004 KONTAKT II Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM) Efektivní aplikace Moderní metody Taylorovy řady pro řešení stiff soustav a systémů vyšších řádů Rozpoznávání osob a vzory jejich chování v inteligentních domácnostech Evoluční návrh řízení v aeroservoelastickém jevu Inteligentní testování a analýza paralelních programů Přehled řešených projektů Fondu rozvoje vysokých škol FRVŠ FR1239/2013/Aa FR882/2013/G1 FR166/2013/G1 FR971/2013/G1 FR192/2013/G1 FR1086/2013/G1 Název projektu Inovace laboratoře bezpečnostní analýzy mikročipů Inovace praktické výuky předmětu Získávání znalostí z databází Inovace předmětu Složitost Inovace předmětu Tvorba webových stránek Interaktivní síťová laboratoř Využití metod a nástrojů formální verifikace při vývoji pokročilých číslicových systémů Přehled ostatních řešených projektů Poskytovatel Ostatní Název projektu VUT - IGA FIT-S-11-1 Pokročilé bezpečné, spolehlivé a adaptivní IT VUT - IGA FIT-S-11-2 Pokročilé rozpoznávání a prezentace multimediálních dat VUT - IGA FIT-S-12-1 Verifikace a optimalizace počítačových systémů VUT - IGA FIT-S-13-1 EEICT VUT - IGA FA/FIT-J Intermediální databáze a aplikace s webovým rozhraním s interaktivním přístupem uživatele a ověření aplikace audiovizuálního vnímání ve vzdělání architektů VUT - IGA FEKT/FIT-J-13- Validace spustitelného kódu pro systémy průmyslové JMK - SoMoPro JIC 2000 SIGA890 automatizace pomocí zpětného překladu Discriminative training of speaker-normalized models for automatic speech recognition Inovační voucher JIC - ELKO EP KÚ Zlínského kraje Inovační voucher Zlínského kraje - UnArtel 12

13 Zdroj prostředků Typ projektu Počet projektů Celkem (v tis. Kč) MŠMT Výzkumný záměr MŠMT Projekty Fondu rozvoje vysokých škol EU + MŠMT OP VK + OP VaVpI MŠMT Ostatní projekty MŠMT MPO Projekty Ministerstva průmyslu a obchodu MV ČR Projekty Ministerstva vnitra ČR GA ČR Projekty Grantové agentury ČR TA ČR Projekty Technologické agentury ČR VUT Interní grantová agentura VUT v Brně JMK SoMoPro JIC Inovační voucher KÚZK Inovační voucher 1 0 EU FP EU Artemis JU EU COST EU PRACE 1 0 Celkem Podíl externích zdrojů financování tvůrčí činnosti na FIT v roce 2013 JMK 1% MŠMT 17% MPO 2% MV ČR 8% EU 58% VUT - IGA 3% TA ČR 9% GA ČR 2% 13

14 Přehled profesorských a habilitačních řízení Přehled habilitačních řízení Jméno: Ing. Petr Fišer, Ph.D. Působiště: ČVUT v Praze Obor: Výpočetní technika a informatika VR FIT dne: Jmenován dne: Jméno: Ing. Zuzana Komínková Oplatková, Ph.D. Působiště: FAI UTB ve Zlíně Obor: Výpočetní technika a informatika VR FIT dne: Jmenován dne: Jméno: Ing. František Zbořil, Ph.D. Působiště: FIT VUT v Brně Obor: Výpočetní technika a informatika VR FIT dne: Jmenován dne: Doktorské studium Doktorand Kraus Michal, Ing. Název práce Paralelní výpočetní architektury založené na numerické integraci Školitel Jiří Kunovský, doc. Ing., Obhajoba Doktorand Lodrová Dana, Ing. Název práce Security of Biometric Systems Školitel doc. Ing., Dipl.-Ing. Martin Drahanský Obhajoba Doktorand Straka Martin, Ing. Název práce Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí Školitel Zdeněk Kotásek, doc. Ing., Obhajoba Doktorand Název práce Školitel Šilhavá Jana, Ing. Methods for Class Prediction with High-Dimensional Gene Expression Data Pavel Smrž, doc. RNDr., Ph.D. 14

15 Doktorand Trchalík Roman, Mgr. Název práce Síťová architektura a propojování vestavěných systémů Školitel Miroslav Švéda, prof. Ing., Obhajoba Doktorand Žádník Martin, Ing. Název práce Optimalizace sledování síťových toků Školitel Lukáš Sekanina, prof. Ing., Ph.D. Obhajoba ročníky stav k stav k prezenční kombinované suma přerušení 12 celkem Knihovna Počet knihovních jednotek celkem ke dni : Počet přírůstků za rok 2013: 1197 Počet uživatelů v roce 2013: 5722 Počet výpůjček v roce 2013: Prostředky na nákup fondů (ústav, granty, fakultní zdroje): Kč zdroj Aleph, SAP - EO FIT 15

16 II.3. Vnější vztahy Seznam přijíždějících studentů na FIT v ak. roce 2012/2013 Jméno Příjmení Program Začátek Konec Země Tayfun Adar BCH Turecko Eylem Aydin BCH Turecko Hasan Aytac BCH Turecko Loic Baldet MGH Francie Alexis BARRET MGH Francie Luis Barros BCH Portugalsko Maxime Basley MGH Francie Aymeric Bouteiller MGH Francie Giuseppe Conte MGH Itálie Rafael Joao Inácio da Costa BCH Portugalsko Nikolaos Dalamagkas BCH Řecko Michail Daskalakis BCH Řecko Joao Desidério BCH Portugalsko Miguel José Ferreira Goncalves BCH Portugalsko Maria Fetokaki BCH Řecko Maria Joao da Silva Fialho BCH Portugalsko Antonia Gialitaki BCH Řecko Georgia Gianna BCH Řecko Joao André Gomes Fernandes BCH Portugalsko Fernando González García BCH Španělsko Kalliopi-Nefeli Goumenaki BCH Řecko Andres Hernandez Escobar BCH Španělsko Ji Yeon Hwang BCH Korea Cristiano Chivarria BCH Portugalsko Ana Iria BCH Portugalsko Pavel Ivankov MGH Rusko Furkan Kaplan BCH Turecko Yasin Karalurt BCH Turecko Maria Kavvalou BCH Řecko Benjamin Jan Paul Kluwe BCH Německo Ioannis Komporakis BCH Řecko 16

17 Antonia Konsolaki BCH Řecko Eleftheria Kontaki BCH Řecko Eray Köse BCH Turecko Nikolaos Kroustalakis BCH Řecko Cristina Liberato BCH Portugalsko Christian Lins BCH Rakousko Pawel Lisiewski MGH Polsko Jacob Malsam BCH USA Themistoklis Markakis BCH Řecko Janko Marohnić MGH Chorvatsko Arsenios Matsanto BCH Řecko Filipe Mendes BCH Portugalsko María José Moreno Serrano BCH Španělsko Lee Murphy BCH Irsko Anthony Duc- Huy Nguyen MGH Francie Ana Oliveira BCH Portugalsko Miguel Angelo Oliveira Couto BCH Portugalsko Konstantinos Papadakis BCH Řecko Nikos Papadogiannis BCH Řecko Zaxarenia Paterou BCH Řecko Rafael Ribeiro Mota MGH Portugalsko Igor Rusinov MGH Rusko Alexandra Santos BCH Portugalsko David Santos BCH Portugalsko Mauro Santos BCH Portugalsko Emmanouil Savvidakis BCH Řecko Despoina Seni BCH Řecko Nikolaos Sigalas BCH Řecko Nithinya Simuong MGH Francie Mehdi Mohammad Soufifar DRH Írán Georgia Stefanarou BCH Řecko Marco Talento BCH Portugalsko Yerbol Tastanov BCH Kazachstán Andreia Filipa Teixeira Dinis BCH Portugalsko 17

18 Christopher Marshall Russell Alexander Jose Romao Thomas BCH Velká Británie Tysoe BCH Velká Británie Vaz de Carvalho Lima Pereira BCH Portugalsko Christoph Wirtensohn BCH Rakousko Yavuz Yildirim BCH Turecko Hasan Emre Yilmaz BCH Turecko Ilias Zampetakis BCH Řecko Seznam studentů FIT vyjíždějících v ak. r. 2012/2013 na zahraniční stáž Jméno Příjmení Země Začátek stáže Konec stáže Způsob financování Peter Beťko Rakousko RP MŠMT Jan Bezdíček Turecko EILC Jan Bezdíček Turecko ERASMUS Martin Borek Finsko EILC + ERASMUS Pavla Bromová Itálie RP MŠMT Michal Čerešňák Itálie EILC + ERASMUS Petr Dittrich Německo RP MŠMT Ivo Dlouhý Norsko ERASMUS Milan Falešník Itálie EILC + ERASMUS Pavel Grim Norsko ERASMUS Dávid Halász Belgie EILC Dávid Halász Belgie ERASMUS Tomáš Hodaň Holandsko RP MŠMT Aleš Horký Finsko ERASMUS Michal Hradiš Velká Británie RP MŠMT Michal Hradiš Finsko RP MŠMT Petr Huták Finsko ERASMUS Dušan Jakub Německo ERASMUS pracovní stáž Juraj Jarábek Estonsko ERASMUS Michal Jurzykowski Finsko RP MŠMT Tomáš Kapičák Velká Británie ERASMUS Juraj Kardoš Švýcarsko EILC + ERASMUS Filip Kocina Rakousko RP MŠMT Martin Kolář Finsko RP MŠMT Martin Kolář Velká Británie RP MŠMT Adam Kolář Švýcarsko ERASMUS Michal Kolčárek Finsko ERASMUS Matúš Komora Finsko ERASMUS Júlia Konôpková Německo ERASMUS Benjamín Kovács Velká Británie ERASMUS 18

19 Michal Kučiš Velká Británie RP MŠMT Lukáš Maršík Velká Británie RP MŠMT Zdeněk Materna Německo RP MŠMT Jan Matyáš Finsko ERASMUS Tomáš Mihalčin Řecko ERASMUS Jiří Mikulka Estonsko ERASMUS Alena Pavelková Finsko ERASMUS Ondrej Pribula USA RP MŠMT Bronislav Přibyl Velká Británie RP MŠMT Jan Přichystal Malta ERASMUS Miroslav Raška Švýcarsko EILC + ERASMUS Václav Rozsypálek Portugalsko ERASMUS Karol Rydlo Ukrajina RP MŠMT Roman Sládeček Norsko ERASMUS Ladislav Szánto Německo ERASMUS Alexandr Szöllös Rakousko RP MŠMT Jan Šimonek Dánsko ERASMUS Vít Široký Velká Británie RP MŠMT Adam Štěpánek Velká Británie ERASMUS Ján Švehla Rakousko ERASMUS Aleš Tomeček Norsko ERASMUS Jan Ťulák Dánsko ERASMUS Lenka Turoňová Rakousko RP MŠMT Lenka Turoňová Irsko ERASMUS Luboš Uhliarik Irsko ERASMUS Daniel Urban Řecko ERASMUS Lukáš Valach Finsko EILC + ERASMUS Matúš Vančo Velká Británie ERASMUS Marek Višňovský Norsko ERASMUS Jan Vlk Německo RP MŠMT Václav Vopěnka Německo RP MŠMT Michal Žák Velká Británie ERASMUS 19

20 Zahraniční návštěvy na FIT v roce Holland Charles J., Dr. USA Velvyslanectví USA Bednařík Roman Finsko University of Eastern Finland Dogan Mutaffer, Dr. Turecko Anadolu University Telceken Sedat, Dr. Turecko Anadolu University Akinlar Cüneyt, Dr. Turecko Anadolu University Cordemans Tom Belgie KHBO - Oostende Martín José Ignacio Farrán, Španělsko Universidad de Valladolid Dr Pereira Francisco Portugalsko Coimbra Polytecnic Institute Kempter Guido, Prof. Rakousko Fachhochschule Vorarlberg Papadourakis George, Prof. Řecko TEI of Crete, Heracleion, Greece Welzer Tatiana Slovinsko University of Maribor Escudeiro Nuno Portugalsko Politécnico do Porto Dispert Helmut, Prof. Dr. Německo Fachhochschule Kiel Ware Andrew, Prof. Velká Británie University of Glamorgan Sidibé Désiré Francie University of Burgundy Bolivar Enrique Yeguas, Dr. Španělsko Universidad de Córdoba Hallez Hans Belgie KHBO - Oostende Povey Daniel USA Johns Hopkins University Khudanpur Sanjeev USA Johns Hopkins University Kumar Gaurav USA Johns Hopkins University Vu Ngoc Thang Německo Karlsruhe Institute of Technology Riedhammer Korbinian USA International Computer Science Institute Berkeley Imseng David J. Švýcarsko Insititut Dalle Molle d'intelligence Artificielle Perceptive Trmal Jan USA Johns Hopkins University Dorr Bonnie USA Defence Advanced Research Projects Agency Sánchez Mireia Diez Španělsko Universidad Politécnica de Valencia Matsumoto Tsutomu Japonsko Ykohama National University Kaufmann Paul Německo University of Paderborn Balian Raffi V. USA Embassy of the USA (Hungary) Kovács Tibor USA Embassy of the USA (Hungary) Mallidi Sri Harish USA Johns Hopkins University Anguera Xavier Španělsko Universitat Politecnica de Catalunya Barsky Brian, Prof. USA University of California, Berkeley 20

21 Pořádané konference a akce Přednášková akce LinuxAlt Letní škola pro středoškolačky Letní škola pro žačky Letní škola ERASMUS IP 2013: Computer Vision and Intelligent Computer Systems Otevřená konference BarCamp Student EEICT IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems Bezpečnostní sekce Nekomerční konference Security Session Cesta do pravěku IT! Den otevřených dveří FIT Reprezentační ples FIT a FEKT Spuštění stránek FIT na Facebooku 21

22 II. 4. Rozvoj, výstavba a dislokace Hlavním cílem v rozvoji FIT v roce 2013 bylo úspěšně zrealizovat a dokončit výstavbu Výzkumného centra informačních technologií (VCIT) jako součást projektu Centrum excelence IT4Innovations. Do poloviny roku stavba probíhala v souladu s harmonogramem. V srpnu roku 2013 došlo k mimořádné události. Na sousedním pozemku vznikl požár, který zasáhl i rozestavěnou stavbu VCIT. Vzhledem k této mimořádné události došlo k posunutí termínu dokončení objektu na a následně byl dne v souladu se stavebním povolením vydán kolaudační souhlas. Dokončením stavby VCIT byla zakončena celá rekonstrukce a dostavba kampusu Fakulty informačních technologií VUT v Brně. Ihned po vydání kolaudačního souhlasu byl zahájen zkušební provoz a současně bylo zahájeno vybavování mobilním interiérem tak, aby v průběhu února 2014 mohla být budova nasazena do plného provozu a řádně užívána. Řešení projektu Centra excelence IT4I probíhá v souladu s harmonogramem. Vzniklo Výzkumné centrum informačních technologií, které řeší projekt IT4I. Postupně je dobudovávána infrastruktura centra jak po stránce personální, tak po stránce logistiky. Ing. Zdeněk Bouša proděkan pro strategický rozvoj a výstavbu 22

23 II.5. Akademický senát Akademický senát AS FIT pracoval od začátku roku 2013 do října 2013 v tomto složení: Komora akademických pracovníků: 1. Ing. Ivana Burgetová, Ph.D. (UIFS) 2. Doc. Dr. Ing. Jan Černocký (UPGM) 3. Doc. Dr. Ing. Otto Fučík (UPSY), předseda Legislativní komise 4. Doc. Ing. Zdeněk Kotásek, (UPSY) 5. Ing. Petr Lampa (CVT), 1. místopředseda AS FIT, předseda Ekonomické komise 6. Ing. Petr Matoušek, Ph.D., UIFS, předseda AS FIT 7. Prof. Ing. Lukáš Sekanina, Ph.D. (UPSY) 8. Doc. Ing. František V. Zbořil, (UITS) Studentská komora Zástupci magisterského a bakalářského studia: 1. Bc. Filip Kešner, 1.r. MBI (2012) 2. Milan Kubík, 4.r. BIT (2011) 3. Bc. Karel Koranda, 2.r.MSK (2010), 2. místopředseda AS FIT, předseda studentské komory 4. Kateřina Šímová, 3.r. BIT (2010) Zástupci doktorského studia: 5. Ing. Vendula Hrubá, 2r. DIT (2010) V říjnu 2013 proběhly volby do AS FIT na nové funkční období Složení nově zvoleného AS FIT, který měl ustavující zasedání , je následující: Komora akademických pracovníků: 1. Doc. Dr. Ing. Jan Černocký (UPGM) 2. Doc. Dr. Ing. Otto Fučík (UPSY), předseda Legislativní komise 3. Doc. Ing. Adam Herout, Ph.D. (UPGM) 4. Doc. Dr. Ing. Dušan Kolář (UIFS) 5. Doc. Ing. Zdeněk Kotásek, (UPSY) 6. Ing. Petr Lampa (CVT), 1. místopředseda AS FIT, předseda Ekonomické komise 7. Prof. RNDr. Alexander Meduna, (UIFS) 8. Prof. Ing. Lukáš Sekanina, Ph.D. (UPSY), předseda AS FIT Studentská komora 1. Karel Beneš, BIT 2. Bc. Radek Hranický, MSK 3. Bc. Filip Kelner, MBI 4. Bc. Radek Lát, MSK 5. Ing. Karel Koranda, DIT, 2. místopředseda AS FIT, předseda Studentské komory V průběhu roku 2013 projednával a schválil AS FIT následující dokumenty: Rozdělení finančních prostředků na FIT VUT v Brně na rok 2013 Výroční zpráva za rok 2012 Výroční zpráva o hospodaření za rok Aktualizace Dlouhodobého záměru FIT VUT v Brně 23

24 Úprava Pravidel pro přijímací řízení a podmínek pro přijetí ke studiu v doktorském studijním programu na FIT VUT v Brně Úprava Pravidel přijímacího řízení a podmínek pro přijetí ke studiu v bakalářském studijním programu Úprava Instrukcí pro způsob vypočítávání pedagogických úvazků pro interní potřeby FIT VUT v Brně Pravidla rozdělení příspěvků a dotace FIT na rok 2014 Neinvestiční prostředky. Na podzim 2013 probíhaly na VUT volby kandidáta na rektora VUT na funkční období Na návrh vedení FIT se rozhodl Akademický senát AS FIT podpořit kandidaturu prof. Ing. Radimíra Vrby, z FEKT, CEITEC. Dále AS FIT schválil Usnesení k náhradám škod z obecné odpovědnosti zaměstnanců dle zákoníku práce, kde poukázal na nesrovnalosti vnitřních předpisů školy (Pracovní řád VUT) se Zákoníkem práce ve věci řešení náhrad škod. Usnesení AS FIT předal AS VUT s žádostí o aktualizaci procesu projednávání náhrady škody tak, aby byl v souladu s platnými zákony. prof. Ing. Lukáš Sekanina, Ph.D. předseda Akademického senátu FIT 24

25 II.6. Studentské aktivity Zastoupení studentů v orgánech v roce 2013 Studentská komora AS FIT (složení uvedeno v kapitole II.5. Akademický senát) Studentská komora AS VUT Ing. Karel Koranda Disciplinární komise FIT Ing. Karel Koranda Jan Remeš Roman Nikrmajer Rada bakalářského studijního programu Informační technologie Ing. Karel Koranda Rada navazujícího magisterského studijního programu Informační technologie Bc. Radek Lát Kolegium děkana Ing. Karel Koranda Jan Skácel (do ) Jan Dostál (od ) Knihovní rada Katarína Smiešková (do ) Jakub Beneš (od ) Představitelé Studentské unie FIT do Předseda: Tomáš Pilný Místopředsedové: Marie Kratochvílová, Jan Dostál Představitelé Studentské unie FIT od Předseda: Tomáš Pilný Místopředsedové: Marie Kratochvílová, Jan Dostál Akce pořádané Studentskou unií v roce 2013 Studentský ples Den zavřených dveří Odborné přednášky Mentoring 25

26 Akce, na kterých se Studentská unie v roce 2013 podílela Studentská soutěž EEICT Reprezentační ples FIT-FEKT Konference LinuxAlt Gaudeamus Den otevřených dveří FIT Zápis studentů do prvního ročníku Ing. Karel Koranda předseda SK AS FIT VUT v Brně 26

27 III. PRACOVIŠTĚ III.1. Ústav informačních systémů Zaměstnanci Vedoucí ústavu Doc. Dr. Ing. Kolář Dušan Zástupce vedoucího ústavu Prof. RNDr. Meduna Alexander, Sekretářka Bílková Michaela Profesor Prof. Ing. Honzík Jan M., Prof. Ing. Hruška Tomáš, Prof. RNDr. Meduna Alexander, Prof. Ing. Švéda Miroslav, Docent Doc. Dr. Ing. Kolář Dušan Doc. RNDr. Kreslíková Jitka, Doc. Ing. Zendulka Jaroslav, Odborný asistent Ing. Bartík Vladimír, Ph.D. Ing. Burget Radek, Ph.D. Ing. Burgetová Ivana, Ph.D. Ing. Křivka Zbyněk, Ph.D. Ing. Květoňová Šárka, Ph.D. Ing. Masařík Karel, Ph.D. Ing. Matoušek Petr, Ph.D. Ing. Očenášek Pavel, Ph.D. RNDr. Rychlý Marek, Ph.D. Ing. Ryšavý Ondřej, Ph.D. Ing. Ščuglík František, Ph.D. Mgr. Trchalík Roman, Ph.D. Asistent Ing. Ráb Jaroslav Ing. Petr Lampa Technický pracovník Ing. Ilčík Ondřej Ing. Máčel Lukáš Ing. Potěšil Josef Ing. Vašíček Libor Student doktorského studia Ing. Belal Alkomiet Ing. Belica Michal Ing. Bendl Jaroslav Ing. Bromová Pavla Ing Rudolf Čejka Ing. Dolíhal Luděk 27

28 Ing. Ďurfina Lukáš Ing. Grégr Matěj Ing. Halfar Patrik Ing. Hlosta Martin Ing. Horáček Petr Ing. Husár Adam Ing. Hynek Jiří Ing. Chmelař Petr Ing. Jirák Ota Kazzaz M. Mohanned Mgr. Kollár Matej Ing. Křoustek Jakub Ing. Kučera Jiří Ing. Máčel Lukáš Ing. Marek Marcel Ing. Mates Vojtěch Ing. Matula Peter Ing. Milička Martin Ing. Minarovský Peter Ing. Navrátil Ondřej Ing. Pešek Martin Ing. Podermanski Tomáš Ing. Polčák Libor Ing. Pospíšil Milan Ing. Ráb Jaroslav Ing. Solár Peter Ing. Sopuch Zbyněk Ing. Soukup Ondřej Ing. Stríž Rostislav Ing. Šebek Michal Ing. Šebeň Patrik Ing. Veselý Vladimír Ing. Vogel Ivan Ing. Volf Tomáš Ing. Vrábel Lukáš Ing. Youssef Sawsan Ing. Zámečníková Eva Ing. Zelený Jan Ing. Zemek Petr Ing. Židek Stanislav Výuka Zkr. Název Sem Kr. Rozsah Garant Administrace databázového systému doc. Ing. Zendulka Jaroslav, IOD L Oracle prof. Ing. Honzík Jan M., IAL Algoritmy Z

29 AIS Analýza a návrh informačních systémů Z doc. Ing. Zendulka Jaroslav, IBS Bezpečnost a počítačové sítě L prof. Ing. Švéda Miroslav, IDS Databázové systémy L doc. Ing. Zendulka Jaroslav, IOW Datové sklady v prostředí Oracle L Ing. Bartík Vladimír, Ph.D. IW1 Desktop systémy Microsoft Windows Z prof. Ing. Honzík Jan M., C3P Diagnostika Cisco sítí (TSHOOT) Z Ing. Matoušek Petr, Ph.D. EIP Ekonomie informačních produktů Z Ing. Květoňová Šárka, Ph.D. IFJ Formální jazyky a překladače Z prof. RNDr. Meduna Alexander, SSD Formální specifikace systémů založených na počítačích L prof. Ing. Švéda Miroslav, FLP Funkcionální a logické programování L doc. Dr. Ing. Kolář Dušan Grafická uživatelská rozhraní v X GUX Window Z Ing. Lampa Petr GAL Grafové algoritmy Z prof. RNDr. Meduna Alexander, IIS Informační systémy Z prof. Ing. Hruška Tomáš, WAP Internetové aplikace L prof. Ing. Hruška Tomáš, MPR Management projektů L doc. RNDr. Kreslíková Jitka, TID Moderní teoretická informatika Z prof. RNDr. Meduna Alexander, IMU Multimédia v počítačových sítích L Ing. Matoušek Petr, Ph.D. INI Návrh a implementace IT služeb Z RNDr. Rychlý Marek, Ph.D. NSB Návrh, správa a bezpečnost L prof. Ing. Švéda Miroslav, NVD Návrh vestavěných systémů L prof. Ing. Švéda Miroslav, IPK Počítačové komunikace a sítě L prof. Ing. Švéda Miroslav, IW4 Podnikové technologie Microsoft L Ing. Kurečka Radomír PDB Pokročilé databázové systémy Z doc. Dr. Ing. Kolář Dušan 29

30 PIS Pokročilé informační systémy L prof. Ing. Hruška Tomáš, PKS Pokročilé komunikační systémy Z prof. Ing. Švéda Miroslav, POS Pokročilé operační systémy L Ing. Lampa Petr IPP Principy programovacích jazyků a OOP L doc. Dr. Ing. Kolář Dušan IW5 Programování v.net a C# L prof. Ing. Honzík Jan M., PMA Projektový manažer Z doc. RNDr. Kreslíková Jitka, PDI Prostředí distribuovaných aplikací Z doc. Ing. Zendulka Jaroslav, PDS Přenos dat, počítačové sítě a protokoly L prof. Ing. Švéda Miroslav, IW2 Serverové systémy Microsoft Windows L prof. Ing. Honzík Jan M., ISE Service Sciences L Ing. Burgetová Ivana, Ph.D. Servisně orientované architektury v prostředí RNDr. Rychlý Marek, IOA Z Oracle Ph.D. I1C Síťová kabeláž a směrování (CCNA1+CCNA2) L Ing. Ryšavý Ondřej, Ph.D. ISA Síťové aplikace a správa sítí Z Prof. Ing. Švéda Miroslav, IW3 Síťové technologie Microsoft Windows Z Ing. Kurečka Radomír C1P Směrování v rozsáhlých sítích (ROUTE) L Ing. Matoušek Petr, Ph.D. SVD Specifikace vestavěných systémů Z prof. Ing. Švéda Miroslav, SVSe Specifikace vestavěných systémů (v angličtině) L prof. Ing. Švéda Miroslav, SRI Strategické řízení informačních systémů Z Ing. Květoňová Šárka, Ph.D. I2C Technologie sítí LAN a WAN (CCNA3+4) Z Ing. Matoušek Petr, Ph.D. TJD Teorie programovacích jazyků Z prof. Ing. Hruška Tomáš, ITW Tvorba webových stránek L Ing. Burget Radek, Ph.D. APD Vybraná témata z analýzy a překladu jazyků Z doc. Dr. Ing. Kolář Dušan VKD Vybrané kapitoly z algoritmů L prof. Ing. Honzík Jan M., VPD Vybrané problémy informačních systémů L prof. Ing. Hruška Tomáš, Vybrané problémy softwarového inženýrství a doc. Ing. Zendulka SID L databázových systémů Jaroslav, ZZD Vybrané problémy získávání znalostí z databází Z doc. Ing. Zendulka Jaroslav, 30

31 VYPe Výstavba překladačů (v angličtině) Z IZP Základy programování Z ZZN Získávání znalostí z databází Z prof. RNDr. Meduna Alexander, doc. RNDr. Kreslíková Jitka, doc. Ing. Zendulka Jaroslav, Publikace Konferenční sborník 1 Kapitoly v knize 1 Články na konferenci 36 Články v časopise 13 Všechny publikace ústavu jsou k dispozici na Semináře Lissom: Kompilátor pro ASIP A. Meduna, P. Zemek: Regulated Grammars and Automata Language Theory with Applications Lissom: simulátor ASIP L. Ďurfina: Psyb0t Malware: A Step-by-Step Decompilation Case Study J. Ungermann (Cisco Systems): Anatomie internetových směrovačů Dr. José Ignacio Farrán Martín: CRYPTOLOGY AND COMPUTER SECURITY Matěj Grégr: Dostupnost IPv6 obsahu pro koncové uživatele Tomas Podermanski: IPv4.5 aneb volné zamýšlení se nad některými reálnými problémy Internetu V.Veselý: RINA, LISP a další smíšené zpravodajství J. Křoustek: Představení webové dekompilační služby 31

32 III.2. Ústav inteligentních systémů Zaměstnanci Vedoucí ústavu Doc. Dr. Ing. Hanáček Petr Zástupce vedoucího ústavu Doc. Ing. Zbořil František V., Sekretářka Malásková Věra Profesor Prof. RNDr. Češka Milan, Prof. Ing. Vojnar Tomáš, Ph.D. Docent Doc. Ing., Dipl.-Ing. Drahanský Martin, Ph.D. Doc. Dr. Ing. Hanáček Petr Doc. Ing. Janoušek Vladimír, Ph.D. Doc. Ing. Kunovský Jiří, Doc. Ing. Zbořil František V., Doc. Ing. Zbořil František, Ph.D. Odborný asistent Mgr. Holík Lukáš, Ph.D. Ing. Hrubý Martin, Ph.D. Ing. Kočí Radek, Ph.D. Ing. Křena Bohuslav, Ph.D. Mgr. Malinka Kamil, Ph.D. Ing. Orság Filip, Ph.D. Dr. Ing. Peringer Petr Mgr. Rogalewicz Adam, Ph.D. Ing. Rozman Jaroslav, Ph.D. Ing. Samek Jan, Ph.D. Ing. Smrčka Aleš, Ph.D. Ing. Šátek Václav, Ph.D. Technický pracovník Ing. Pisarská Marta Jarošová Dagmar Student doktorského studia Ing. Antal Lukáš Ing. Aron Lukáš Ing. Barabas Maroš Ing. Doležel Michal Ing. Drozd Michal Ing. Drozdová Martina Ing. Dudka Kamil Ing. Dvořák Radim Ing. Fajkus Jan Ing. Fiedor Jan Ing. Hájek Josef Mgr. Henzl Martin 32

33 Ing. Homoliak Ivan Ing. Horáček Jan Ing. Hrubá Vendula Ing. Humená Patricia Ing. Chaloupka Jan Ing. Charvát Lukáš Mgr. Janča Radim Ing. Jurnečka Peter Ing. Kačic Matej Ing. Kalmár Róbert Ing. Klubal Ondřej Ing. Kocina Filip Ing. Kopřiva Jan Ing. Koranda Karel Ing. Košík Michal Ing. Král Jiří Ing. Kubát David Ing. Kunštátský Martin Ing. Lankašová Karolína Ing. Lengál Ondřej Ing. Luža Radim Ing. Malčík Dominik Ing. Marvan Aleš Ing. Melo Jakub Ing. Melo Juraj Ing. Mráček Štěpán Ing. Müller Petr Ing. Nagy Jan Ing. Nahhas Ibrahim Ing. Novosad Petr Ing. Novotný Tomáš Ing. Ovšonka Daniel Ing. Pluháčková Hana Ing. Polášek Petr Ing. Procházka Boris Ing. Richta Tomáš Ing. Smolík Jakub Ing. Snášelová Petra Ing. Valenta Václav Ing. Váňa Jan Ing. Winklerová Zdenka Ing. Žák Jakub 33

34 Výuka Zkr. Název Sem Kr. Rozsah Garant AGS Agentní a multiagentní systémy L doc. Ing. Zbořil František, Ph.D. IAS Asemblery Z doc. Ing. Zbořil František V., BMS Bezdrátové a mobilní sítě Z doc. Dr. Ing. Hanáček Petr BIS Bezpečnost informačních systémů Z doc. Dr. Ing. Hanáček Petr Bezpečnost informačních systémů a BID kryptografie L doc. Dr. Ing. Hanáček Petr BIO Biometrické systémy Z doc. Ing., Dipl.-Ing. Drahanský Martin, Ph.D. DJA Dynamické jazyky L doc. Ing. Janoušek Vladimír, Ph.D. FAV Formální analýza a verifikace Z prof. Ing. Vojnar Tomáš, Ph.D. FAD Formální analýza programů Z prof. Ing. Vojnar Tomáš, Ph.D. GIS Geografické informační systémy L Ing. Hrubý Martin, Ph.D. SEN Inteligentní senzory Z doc. Ing., Dipl.-Ing. Drahanský Martin, Ph.D. SIN Inteligentní systémy Z 5 doc. Ing. Janoušek Vladimír, Ph.D. ISD Inteligentní systémy L doc. Ing. Zbořil František V., IJC Jazyk C L Dr. Ing. Peringer Petr KRY Kryptografie L doc. Dr. Ing. Hanáček Petr IMS Modelování a simulace Z Dr. Ing. Peringer Petr MSD Modelování a simulace Z doc. Ing. Janoušek Vladimír, Ph.D. IOS Operační systémy L prof. Ing. Vojnar Tomáš, Ph.D. PRL Paralelní a distribuované algoritmy L doc. Dr. Ing. Hanáček Petr PES Petriho sítě L prof. RNDr. Češka Milan, IPA Pokročilé asemblery Z Ing. Orság Filip, Ph.D. PBD Pokročilé biometrické systémy Z doc. Ing., Dipl.-Ing. Drahanský Martin, Ph.D. IPR Prvky počítačů L doc. Ing. Kunovský Jiří, ROB Robotika Z Ing. Orság Filip, Ph.D. ICP Seminář C++ L Dr. Ing. Peringer Petr IJA Seminář Java L Ing. Kočí Radek, Ph.D. STI Seminář teoretické informatiky Z prof. Ing. Vojnar Tomáš, Ph.D. SNT Simulační nástroje a techniky L prof. RNDr. Češka Milan, SLO Složitost L prof. Ing. Vojnar Tomáš, Ph.D. SFC Soft Computing Z doc. Ing. Zbořil František V., TIN Teoretická informatika Z prof. RNDr. Češka Milan, TAD Teorie a aplikace Petriho sítí L prof. RNDr. Češka Milan, THE Teorie her Z Ing. Hrubý Martin, Ph.D. 34

35 ITO Teorie obvodů Z doc. Ing. Kunovský Jiří, ITY Typografie a publikování L Ing. Křena Bohuslav, Ph.D. IUS Úvod do softwarového inženýrství Z Ing. Křena Bohuslav, Ph.D. VND Vysoce náročné výpočty L doc. Ing. Kunovský Jiří, VNV Vysoce náročné výpočty L doc. Ing. Kunovský Jiří, IZU Základy umělé inteligence L doc. Ing. Zbořil František V., Publikace Kapitoly v knize 1 Články na konferenci 34 Články v časopise 16 Technické zprávy 4 Všechny publikace ústavu jsou k dispozici na 35

36 Semináře Petr Novosad: Reprezentace stavového prostoru hybridních Petriho sítí pomocí grafu pokrytí a metodou rozvinutí Róbert Kalmár: Agenti v bezdrôtových senzorových sietiach Filip Kocina: Moderní metody modelování a simulace elektronických obvodů Martin Kunštátský: Analýza datových toků vysokoúrovňových Petriho sítí Tomáš Richta: Petriho sítěmi specifikované dynamicky rekonfigurovatelné vestavné systémy Ibrahim Nahhas: Library for intelligent processing of a video signal Ivan Homoliak: Detekcia útokov v sieťovej prevádzke: Zvýšenie kvality detekcie sieťových útokov s využitím behaviorálnej analýzy protokolov sieťovej a transportnej vrstvy modelu ISO/OSI Ondřej Klubal: Analýza radiofrekvenčních otisků a jejich využití pro zabezpečení bezdrátových sítí Michal Krupka: O formální konceptuální analýze Martina Drozdová: Simulace kombinovaných soustav Petr Novosad: Stavový prostor neomezených hybridních Petriho sítí reprezentovaný metodou rozvinutí Ivan Homoliak: Detekcia útokov v sieťovej prevádzke: Zvýšenie kvality detekcie sieťových útokov s využitím behaviorálnej analýzy protokolov transportnej vrstvy modelu ISO/OSI Lukáš Antal: Analýza útoků na bezdrátové lokální sítě Aleš Marvan: Inteligentní inspekce a měření dutin válcového průřezu Arkadius Bukowiec: Petri Net Decomposition for FPGA Implementation Ibrahim Nahhas: Library for intelligent processing of a video signal and in this presentation Ondřej Klubal: Invazivní metody útoků na čipy Jan Kopřiva: Semi-analytické výpočty Martin Kunštátský: Analýza přístupu ke zdrojům Petriho sítí založená na Pí-kalkulu Michal Drozd: Automatizované zpracování útoků Tomáš Richta: Operační systém pro Petriho sítěmi specifikované rekonfigurovatelné vestavné systémy Filip Kocina: Moderní metody modelování a simulace elektronických obvodů Radim Dvořák: Fyzikální modelování a simulace: Metoda ELLAM pro řešení atmosférické advekčně-difúzní rovnice Václav Valenta: Moderní metody řešení parciálních diferenciálních rovnic Róbert Kalmár: Bezpečnosť mobilných kódov v bezdrôtových senzorových sieťach Zdenka Winklerová: Inteligence skupiny: Modelování kolektivní inteligence roje částic Maroš Barabas: Detekcia sieťových útokov pomocou behaviorálnych techník Matej Kačic: Analýza útokov na bezdrôtové siete Pavel Zůna: Ochrana citlivých informací pomocí analýzy datových toků Boris Procházka: Analýza útoků na operační systém Linux a návrh jeho zabezpečení Michal Doležel: Vliv kožních onemocnění na otisky prstů v biometrii Štěpán Mráček: Hybridní rozpoznávání 3D obličeje 36

37 Tomáš Novotný: Automatizované vyhledávání osob v lavinách a závalech pomocí senzorických systémů Jan Fiedor: Praktické metody automatizované verifikace paralelních programů Kamil Dudka: Automatizovaná formální verifikace v operačních systémech Petr Polášek: Modelovani a simulace heterogennich modelu Vendula Hrubá: Testování vícevláknových aplikací pomocí genetických algoritmů Jan Váňa: Hybridní rozpoznávání termosnímků obličeje Martin Henzl: Bezpečnostní protokoly bezdrátových sítí Peter Jurnečka: Návrhové vzory v paralelních a distribuovaných systémech Jakub Žák: Autonomní agenti v bezdrátových senzorových sítích Jan Horáček: Autonomní agenti v bezdrátových senzorových sítích Ondřej Lengál: Efficient Algorithms for Using Automata in Infinite-State Verification Petr Muller: Configurable Program Analysis Using Symbolic Memory Graphs David Kubát: Systém pro teleprezenční řízení záchranářského robota s inteligentní asistencí Josef Hájek: Identifikaci osob v přístupových systémech 37

38 III.3. Ústav počítačové grafiky a multimédií Zaměstnanci Vedoucí ústavu Doc. Dr. Ing. Černocký Jan Zástupce vedoucího ústavu Doc. Ing. Herout Adam, Ph.D. Sekretářka Otáhalová Sylva Profesor Prof. Dr. Ing. Zemčík Pavel Docent Doc. Dr. Ing. Černocký Jan Doc. Ing. Herout Adam, Ph.D. Doc. RNDr. Smrž Pavel, Ph.D. Vědecký pracovník Ing. Ila Viorela S., Ph.D. Ing. Schwarz Petr, Ph.D. Odborný asistent Ing. Beran Vítězslav, Ph.D. Ing. Burget Lukáš, Ph.D. Ing. Čadík Martin, Ph.D. Ing. Grézl František, Ph.D. Ing. Chudý Peter, Ph.D. MBA Ing. Szöke Igor Ing. Španěl Michal, Ph.D. Programátor Ing. Cipr Tomáš Technicko hospodářská pracovnice Ing. Kohlová Renata Technický pracovník Ing. Andrla Petr Ing. Chalupníček Kamil Ing. Prustoměrský Milan Ing. Žižka Josef Student doktorského studia Ing. Bařina David Ing. Behúň Kamil Ing. Beťko Peter Ing. Dittrich Petr Ing. Dubská Markéta Ing. Dytrych Jaroslav Ing. Fapšo Michal Dipl. Ing. Hannemann Mirko Ing. Hradiš Michal Ing. Hulík Rostislav Ing. Chrápek David 38

39 Ing. Janda Miloš Ing. Jošth Radovan Ing. Jurzykowski Michal Ing. Kajan Rudolf Ing. Klicnar Lukáš Ing. Klíma Ondřej Ing. Kobrtek Jozef Kolář Martin, M.Sc. Ing. Koplík Karel Ing. Kouřil Jan Ing. Kubíček Radek Ing. Kučiš Michal Ing. Kula Michal Ing. Láník Aleš Maliulin Valerii Ing. Maršík Lukáš Ing. Materna Zdeněk Ing. Milet Tomáš Ing. Mlích Jozef Ing. Musil Marek Ing. Musil Martin Ing. Musil Martin Ing. Musil Petr Ing. Najman Pavel Ing. Navrátil Jan Mgr. Ondel Lucas Ing. Otrusina Lubomír Ing. Páldy Alexander Ing. Pavelková Alena Ing. Pešán Jan Ing. Plchot Oldřich Ing. Polok Lukáš Ing. Přibyl Bronislav Ing. Přibyl Jaroslav Mgr. Rydlo Karol Ing. Ryšánek Vojtěch Ing. Řezníček Ivo Ing. Skála František Ing. Svoboda Pavel Ing. Szentandrási István Ing. Ševcovic Jiří Mgr. Škoda Petr Ing. Šolony Marek Ing. Šperka Svatopluk Ing. Vel as Martin Ing. Veselý Karel Ing. Vlk Jan 39

40 Ing. Zahrádka Jiří Ing. Zachariáš Michal Ing. Zajíc Jiří Ing. Zuzaňák Jiří Ing. Žák Pavel Výuka Zkr. Název Sem Kr. Rozsah Garant GZN Grafická a zvuková rozhraní a normy Z doc. Ing. Herout Adam, Ph.D. GJA Grafická uživatelská rozhraní v Javě L doc. RNDr. Smrž Pavel, Ph.D. IKR Klasifikace a rozpoznávání L Ing. Burget Lukáš, Ph.D. KRD Klasifikace a rozpoznávání L doc. RNDr. Smrž Pavel, Ph.D. KRG Kreativní grafika Z Ing. Chudý Peter, Ph.D. MBA Moderní metody zobrazování 3D MMD scény Z prof. Dr. Ing. Zemčík Pavel MZD Moderní metody zpracování řeči Z doc. Dr. Ing. Černocký Jan MUL Multimédia L prof. Dr. Ing. Zemčík Pavel PGD Počítačová grafika Z prof. Dr. Ing. Zemčík Pavel PGR Počítačová grafika Z doc. Ing. Herout Adam, Ph.D. POV Počítačové vidění Z prof. Dr. Ing. Zemčík Pavel PGP Pokročilá počítačová grafika Z prof. Dr. Ing. Zemčík Pavel IVS Praktické aspekty vývoje software L doc. RNDr. Smrž Pavel, Ph.D. ISS Signály a systémy Z doc. Dr. Ing. Černocký Jan ISJ Skriptovací jazyky L doc. RNDr. Smrž Pavel, Ph.D. TAM Tvorba aplikací pro mobilní zařízení Z doc. Ing. Herout Adam, Ph.D. ITU Tvorba uživatelských rozhraní Z Ing. Beran Vítězslav, Ph.D. VIZ Vizualizace a CAD L Ing. Chudý Peter, Ph.D. MBA VGE Výpočetní geometrie L Ing. Španěl Michal, Ph.D. VIN Výtvarná informatika L prof. Dr. Ing. Zemčík Pavel IZG Základy počítačové grafiky L Ing. Španěl Michal, Ph.D. ZPO Zpracování obrazu L prof. Dr. Ing. Zemčík Pavel ZPD Zpracování přirozeného jazyka Z doc. RNDr. Smrž Pavel, Ph.D. Zpracování řeči a audia člověkem a prof. Ing. Heřmanský Hynek, ASD Z počítačem Dr. Eng. ZRE Zpracování řečových signálů L doc. Dr. Ing. Černocký Jan Publikace Články na konferenci 46 Články v časopise 11 Všechny publikace ústavu jsou k dispozici na 40