RNDr. Filip Zavoral, Ph.D.

zavoral<at>ksi.mff.cuni.cz
zástupce vedoucího katedry
  • člen rady doktorského studijního oboru Softwarové systémy

Výzkumné skupiny

PARG

Oblasti zájmu

  • paralelní a distribuované systémy
  • cloud computing
  • vývoj software, softwarové inženýrství
  • zpracování velkých dat, e-science

Výukanahoru

KódNázevOdkazy
NPRG023Softwarový projektProjektová komise
NPRG024Návrhové vzoryNávrhové vzory
NPRG041Programování v C++Cvičení, Přednáška, Repetenti
NPRG045Ročníkový projektNabídka témat, Obecná pravidla
NPRG046Softwarová praxe
NPRG051Pokročilé programování v C++Pravidla a slajdy
NPRG059Praktikum z pokročilého objektového programováníPožadavky
NSWI026Pokročilé aspekty softwarového inženýrství
NSWI035Principy distribuovaných systémůSlajdy
NSWI122Příprava disertační práce
NSWI150Virtualizace a cloud computingSlajdy
NSWI152Vývoj cloudových aplikacíStudijní materiály

Doktorandinahoru

Stávající: Mgr. Robert Husák, Mgr. Jakub Míšek

Bývalí: RNDr. Miroslav Čermák

Vedené prácenahoru

NázevŘešitelTypVypsánoObhájeno
Interaktivní verifikace složitého softwareRobert HusákPh.D.2017
Systém pro rozšiřování jazyka C#Petr OnderkaMgr.2017
Optimalizace rozmístění zásob v skladových lokacíchDaniel DoušaMgr.2017
Systém pro vyhledávání a aktualizace jízdních řádůFilip HavelBc.2016
Framework for Customizable Autopilot SolutionsMichal RaškaMgr.20152017
Peer-to-peer síť pro decentralizované uložení souborů a distribuované zpracování úlohMartin MirbauerBc.20152016
Cross-platform Mobile DevelopmentPetr ČečilMgr.20152016
Umělá inteligence pro osadníkyPavel KratochvílBc.20142016
Implementace procesní analýzy OR diagramů v metodě BORMOskar MaxaBc.20132015
Vesmírná akční hra s navzájem spolupracujícími botyOskar HýblBc.20132015
Android components for business applicationsPavel TupecMgr.20132015
Parallel Processing of Huge Astronomical DataFrantišek HaasMgr.20132016
Distributed BoboxJozef JirásekMgr.2013
Bobox Runtime OptimizationLukáš KrížikMgr.20132015
Implementing control flow resolution in dynamic languageŠtěpán ŠindelářMgr.20122014
Cider - An Event-driven Continuous Integration ServerOndřej KupkaBc.20122014
Úplné znění zákonů ČRKarel KlímaBc.20112013
Distropine - Distribuovaný systém pro komentování webových stránekOndrej KaprálBc.20112012
Advanced Optimizations in Dynamic Language CompilerDaniel BalašMgr.20112012
Podpora návrhových vzorů ve vývojových prostředíchŠtěpán ŠindelářBc.20102011
Informační systém pro plánování konferencíPetr MalýBc.20102011
Metody efektivního zpracování sémantických datMiroslav ČermákPh.D.2010
Improving efficiency of HEP applicationsJiří HorkýMgr.20102011
A tool for modeling architecture of C# programsMiroslav CickoMgr.2010
Univerzální systém na zasílání a automatickou konverzi zprávRóbert ŠišajMgr.2009
Informační systém projektové komisePetr TrňákBc.2009
Grafický návrh databáze v MySQLViktor KřivákBc.2009
Semantics Detection in Partially Structured SourcesMartin SuchanMgr.20092010
Analyzing, processing and utilization of huge amounts of structured and semistructured dataJakub MíšekPh.D.2009
Analýza MMORPG (Massive-Multiplayer Online Role-Playing Game)Tomáš FechtnerBc.20082009
Tahová strategieŠtěpán PoljakBc.20082010
Implementing the Dynamic Languages Using DLR TechnologyMiloslav BeňoMgr.20082010
IntelliSense Implementation of a Dynamic LanguageJakub MíšekMgr.20082009
Portál pro online průzkum trhuOndřej DolejšMgr.20082009
Modulární systém pro doručování a zobrazování citlivých informacíMarek HanesBc.20072008
Profiler jazyka C#Miroslav CickoBc.20072008
Trust Management Systems in P2P NetworksMiroslav NovotnýPh.D.20072012
Distribuované kontejneryAdam HraškaBc.20072009
Sémantická personalizaceVáclav KoudelkaMgr.20072009
Modelling n-ary relations in description logicsMiroslav BlaškoMgr.20072008
Extraktor sémantických datMiloslav BeňoBc.20062007
Paintball 3D pro platformu SymbianJakub MíšekBc.20062007
Distributed WEB frameworkSerghei BondariMgr.20062009
Osadníci z KatanuJakub MalýBc.20062007
Vizualizace algoritmůMartin ŠpaňoBc.20062007
Procesní modely sémantického webuMichal PodzimekMgr.20062008
Chemická laboratořLenka KreibichováBc.20062006
Vektorový editor se zaměřením na animaceMartin KrulišBc.20052007
Databázový manažerOndřej DolejšBc.20052006
Multiplatformní API uživatelského rozhraní pro C/C++Vojtěch MeluzínMgr.20052006
Integrace heterogenních informačních systémůJiří KulhánekMgr.20052006
Verification of Complex SoftwareTomáš MatoušekPh.D.2005
Implementace Time Addressable StorageOndřej PalkovskýMgr.20042008
Wolfenstein 3D pro X WindowMartin NepivodaBc.20042005
Design and Implementation of the Spad FilesystemMikuláš PatočkaPh.D.20032011
Design and Implementation of the Spad FilesystemMikuláš PatočkaPh.D.20032010
Použití frameworků pro vývoj internetových aplikacíMilan RoubalBc.2003
Principles, implementation and transition to IPv6 protocolVladimír KotalMgr.20032005
Webový analyzátor a kolektor datJan ŠterclMgr.20022004
Nástroje pro zefektivnění práce s frameworkem pro vývoj internetových aplikacíDavid LaštovičkaMgr.20022003
Vývojové prostředí pro PHPJan KřížekMgr.20022003
PHP framework pro vývoj intranetových aplikacíJakub OuhrabkaMgr.20022005
Nástroj pro specifikaci a generování internetových aplikacíOndřej VachMgr.2002
Software components in distributed environmentPetr PanuškaPh.D.2002
Datový manažerMartin DvořákMgr.2001
Datový manažerMartin KyprýBc.2000
Vizualizace dotazůJiří NeuwirthMgr.20002003
Datový manažerMartin DvořákMgr.2000
Prostředí pro vývoj virtuálních postav a jejich interakci s uměle inteligentními objektyPetr JonákBc.20002002
Mikroplatby na Internetu Mgr. Filip Zavoral, Dr. - KSIJan PálkaMgr.2000
Debugger pro JVM Logr Mgr. Filip Zavoral, Dr. - KSITomáš SiegerMgr.1999
Optimalizující kompilátor Java bytecode pro JVM LogrVojtěch FilipMgr.1999
Distribuovaný systém serverů pro přístup k mapovým objektům Mgr. Filip Zavoral, Dr.Jiří VaculíkMgr.1999
Sledování komunikačních toků a automatická konfigurace distribuovaných aplikací za použití JavaBeans Mgr. Filip Zavoral, Dr.Jan PálkaMgr.1998
DNS v prostředí T4 Mgr. Filip Zavoral - KSIDaniel VránaMgr.1997
Web Filesystem KSI - Mgr. Filip ZavoralJan JirmásekMgr.1997
Ochrana systémových a uživatelských objektů Mgr. Filip Zavoral - KSIRoman BlaževičMgr.1996
Bezpečnost komunikace a dat v distribuovaném systému Mgr. Filip Zavoral - KSIJakub VotavaMgr.1996
Technické aspekty směrování v počítačových sítích Mgr. Filip Zavoral - KSIFilip DvořákMgr.1996
Optimalizace řízení směrování v počítačových sítích Mgr. Filip ZavoralJan JančuraMgr.1996
Distribuované sdílení paměti založené na synchronizačních bodech Mgr. Filip Zavoral - KSIMartin KohlMgr.1995
Transparentní migrace procesů v distribuovaném operačním systému Mgr. Filip Zavoral - KSIMartin MalýMgr.1995

Výzkumné grantynahoru

  • Vysoce škálovatelné paralelní a distribuované metody zpracování vědeckých dat (GAČR P103-13-08195S) 2013-2015 spolupracovník
  • Res Informatica (GAČR 201/09/H057) 2009-2012 spolupracovník
  • Sémantizace Webu (GAČR P202/10/0761) 2010-2012 spolupracovník
  • Moderní metody, struktury a systémy informatiky (MŠMT MSM0021620838) 2005-2011 spolupracovník
  • Zpracování XML dat (GAČR 201/09/0990) 2009-2011 spolupracovník
  • (zobrazit všechny)

Vybrané publikace (úplný seznam)nahoru

  • Míšek J., Zavoral F.: Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation, in Proceedings of the 7th International Symposium on Frontiers in Ambient and Mobile Systems, FAMS 2017, Funchal, Madeira, Elsevier, ISSN: 1877-0509, pp. 955-962, 2017 - text
  • [Žurnál s IF]Bednárek D., Yaghob J., Zavoral F.: Metro-NG: Computer-Aided Scheduling and Collision Detection, in Computing and Informatics, Vol. 34, Num. 2, ISSN: 1335-9150, pp. 277-304, 2015 - text
  • [Žurnál s IF]Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Towards Efficient Locality Aware Parallel Data Stream Processing, in Journal of Universal Computer Science, Vol. 21, Num. 6, ISSN: 0948-6968, pp. 816-841, 2015 - text
  • Pokorný J., Škoda P., Zelinka I., Bednárek D., Zavoral F., Kruliš M., Šaloun P.: Big Data Movement: A Challenge in Data Processing, in Big Data in Complex Systems, Springer International Publishing, ISBN: 978-3-319-11055-4, pp. 29-69, 2015
  • [Core A konference]Falt Z., Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Bobolang - A Language for Parallel Streaming Applications, in Proceedings of the 23rd International ACM Symposium on High-Performance Parallel and Distributed Computing, Vancouver, ACM, ISBN: 978-1-4503-2749-7, pp. 311-314, 2014
  • Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics, in Similarity Search and Applications, Los Cabos, Mexiko, Springer Berlin Heidelberg, ISBN: 978-3-319-11987-8, ISSN: 0302-9743, pp. 229-240, 2014
  • Novotný M., Zavoral F.: Resistance of Trust Management Systems against Malicious Collectives, in Proceedings of 2nd International Conference on Context-Aware Systems and Applications, PhuQuoc, Springer Verlag, ISBN: 978-3-319-05938-9, ISSN: 1867-8211, pp. 67-76, 2014
  • Falt Z., Čermák M., Zavoral F.: Highly Scalable Sort-Merge Join Algorithm for RDF Querying, in Proceedings of the International Conference on Data Technologies and Applications, Reyjkvajík, Island, SciTePress, ISBN: 978-989-8565-67-9, pp. 293-300, 2013
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: Data-Flow Awareness in Parallel Data Processing, in Intelligent Distributed Computing VI, Calabria, Springer, ISBN: 978-3-642-32523-6, ISSN: 1860-949X, pp. 149-154, 2012
  • [Žurnál (bez IF)]Falt Z., Čermák M., Dokulil J., Zavoral F.: Parallel SPARQL Query Processing Using Bobox, in International Journal On Advances in Intelligent Systems, Vol. 5, Num. 3, ISSN: 1942-2679, pp. 302-314, 2012
  • [Žurnál (bez IF)]Dvořáková J., Zavoral F.: A Low-Memory SSXT Algorithm for XSLT Transformations, in Journal of Information Assurance and Security, Vol. 3, Num. 3, pp. 230-239, 2009

Software

AgentMat, Bobox, BubbleTrust, Eyes, LinqToWeb, MetroNG, Pattern Enforcer, Phalanger Improvements, Phalanger IntelliSense, SPARQ parallel engine, Trisolda, Xord (BUXT, SSXT)

Členství ve výborech (podrobný seznam)nahoru

předseda konference

  • IDC 2013
  • NDT 2010

organizátor konference

  • IHCI 2011
  • SOFSEM 2009-2010

předseda programového výboru

  • ITAT 2009
  • SEMAPRO 2009

člen řídícího výboru

  • DBKDA 2014-2017
  • IDC 2014-2016
  • ITAT 2010-2017

člen programového výboru

  • AAI 2012
  • ADBIS BiDaTA 2013
  • ADVCOMP 2008
  • ANT 2015, 2017-2018
  • BDTA 2016-2017
  • CAINE 2012-2017
  • CIT 2011, 2013
  • DaEng 2015
  • DATA 2014-2018
  • DBKDA 2013
  • DEXA ITBAM 2010-2012, 2014
  • ICADIWT 2009
  • ICCSII 2012
  • ICICCA 2010
  • ICT Innovations 2015-2017
  • IDC 2009-2012, 2017
  • IHCI 2013
  • ITAT 2007-2008
  • JAIHC 2017
  • NSSCT 2010
  • SCoDiS-LaSCoG 2014
  • SEMAPRO 2010-2014
  • TRDMS11 2011
  • WSC FedCSIS 2016-2017

předseda sekce

  • DATA 2013
  • PDCAT 2011

člen redakční rady

  • CaI - Guest Editor 2014
  • CCPE 2011
  • IJAIS since 2008
  • IJCIT since 2008
  • IntSys since 2010

recenzent

  • IET Software since 2011

Další informace

Kontaktynahoru

Tato stránka podléhá licenci Creative Commons Uveďte autora-Neužívejte komerčně 3.0 Česko