Filip Zavoral, Ph.D.

vice-chair of the department
  • Ph.D. committee member, study branch Software Systems

Research groups


Research topics

  • parallel and distributed systems
  • cloud computing
  • software development, software engineering
  • big data processing, e-science


NPRG023Software ProjectProject committee
NPRG024Design PatternsDesign Patterns
NPRG041Programming in C++Lecture, Repetents, Seminar
NPRG045Individual Software ProjectRegulations, Student projects
NPRG051Advanced C++ ProgrammingRegulations and slides
NPRG059Advanced Programming PraxisRequirements
NSWI026Advanced aspects of software engineering
NSWI035Principles of Distributed SystemsSlides
NSWI122Dissertation Thesis Preparation
NSWI150Virtualization and Cloud ComputingSlides
NSWI152Cloud Application DevelopmentHands-on

Ph.D. studentstop

Current: Robert Husák, M.Sc., Jakub Míšek, M.Sc.

Former: Miroslav Čermák, M.Sc.

Supervised thesestop

Public Transport TimetablesLukáš RiedelBS2018
Static data flow analysis for Java programsMartin MečiarMS2018
A system for 3D localization of gamma sources using Timepix3-based Compton camerasPetr MánekMS20182018
Interactive Verification of Complex SoftwareRobert HusákPh.D.2017
System for extensions of the C# languagePetr OnderkaMS2017
Optimization of Stock Locations in WarehousesDaniel DoušaMS2017
Searching and Updating Public Transport TimetablesFilip HavelBS20162018
Framework for Customizable Autopilot SolutionsMichal RaškaMS20152017
Peer-to-peer Network for Decentralized File Storage and Distributed Task ProcessingMartin MirbauerBS20152016
Cross-platform Mobile DevelopmentPetr ČečilMS20152016
Artificial Intelligence for SettlersPavel KratochvílBS20142016
Implementation of process analysis of BORM OR diagramsOskar MaxaBS20132015
Space shooter game with mutually cooperating botsOskar HýblBS20132015
Android components for business applicationsPavel TupecMS20132015
Parallel Processing of Huge Astronomical DataFrantišek HaasMS20132016
Distributed BoboxJozef JirásekMS2013
Bobox Runtime OptimizationLukáš KrížikMS20132015
Implementing control flow resolution in dynamic languageŠtěpán ŠindelářMS20122014
Cider - An Event-driven Continuous Integration ServerOndřej KupkaBS20122014
Full text of lawsKarel KlímaBS20112013
Distropine - Distributed System for Anotation of Web PagesOndrej KaprálBS20112012
Advanced Optimizations in Dynamic Language CompilerDaniel BalašMS20112012
Design Patterns Support in Development ToolsŠtěpán ŠindelářBS20102011
Information System for Conference PlanningPetr MalýBS20102011
Improving efficiency of HEP applicationsJiří HorkýMS20102011
A tool for modeling architecture of C# programsMiroslav CickoMS2010
Information System for Software Projects CommitteePetr TrňákBS2009
Universal System for Delivery and Automatic Conversion of MessagesRóbert ŠišajMS2009
Graphical Design of MySQL DatabaseViktor KřivákBS2009
Semantics Detection in Partially Structured SourcesMartin SuchanMS20092010
IntelliSense Implementation of a Dynamic LanguageJakub MíšekMS20082009
Analyse of MMORPGTomáš FechtnerBS20082009
Implementing the Dynamic Languages Using DLR TechnologyMiloslav BeňoMS20082010
Turn-based strategyŠtěpán PoljakBS20082010
Market Research Web PortalOndřej DolejšMS20082009
Modular system for delivery and display of sensitive informationMarek HanesBS20072008
C# ProfilerMiroslav CickoBS20072008
Trust Management Systems in P2P NetworksMiroslav NovotnýPh.D.20072012
Distributed containersAdam HraškaBS20072009
Semantic personalizationVáclav KoudelkaMS20072009
Modelling n-ary relations in description logicsMiroslav BlaškoMS20072008
Semantic Data ExtractorMiloslav BeňoBS20062007
Paintball 3D for SymbianJakub MíšekBS20062007
Distributed WEB frameworkSerghei BondariMS20062009
Visualization of algorithmsMartin ŠpaňoBS20062007
Process models of semantic webMichal PodzimekMS20062008
Settlers of CatanJakub MalýBS20062007
Chemical laboratoryLenka KreibichováBS20062006
Vector editor for creating animationsMartin KrulišBS20052007
Crossplatform user interface API for C/C++Vojtěch MeluzínMS20052006
Integration of Heterogeneous Information SystemsJiří KulhánekMS20052006
Database managerOndřej DolejšBS20052006
Implementation Time Addressable StorageOndřej PalkovskýMS20042008
Wolfenstein 3D for X WindowMartin NepivodaBS20042005
Design and Implementation of the Spad FilesystemMikuláš PatočkaPh.D.20032011
Design and Implementation of the Spad FilesystemMikuláš PatočkaPh.D.20032010
Frameworks for Internet Application DevelopmentMilan RoubalBS2003
PHP framework for intranet applications developmentJakub OuhrabkaMS20022005
Data ManagerMartin DvořákMS2001

Research grantstop

  • Highly Scalable Parallel and Distributed Methods of Data Processing in e-Science (GACR P103-13-08195S) 2013-2015 cooperant
  • Res Informatica (GACR 201/09/H057) 2009-2012 cooperant
  • Semantization of the Web (GACR P202/10/0761) 2010-2012 cooperant
  • Processing of XML Data (GACR 201/09/0990) 2009-2011 cooperant
  • Modern Methods, Structures and Systems of Computer Science (MSMT MSM0021620838) 2005-2011 cooperant
  • (show all)

Selected publications (complete list)top

  • [IF Journal]Míšek J., Zavoral F.: Semantic Analysis of Ambiguous Types in Dynamic Languages, in Journal of Ambient Intelligence and Humanized Computing, Vol. 9, Num. 9/2, ISSN: 1868-5137, pp. 1-13, 2018 - text
  • [Best Paper Award]Čermák M., Zavoral F.: In-Memory Parallel SPARQL Engine, in Proceedings of the 4th International Conference on Big Data Applications and Services, Tashkent, Uzbekistan, Korea Big Data Service Society, ISSN: 2466-135X, pp. 229-234, 2017 - text
  • 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
  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Creating Distributed Execution Plans with BobolangNG, in Algorithms and Architectures for Parallel Processing, Granada, Springer International Publishing AG, ISBN: 978-3-319-49582-8, ISSN: 0302-9743, pp. 88-97, 2016 - text
  • [IF Journal]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
  • [IF Journal]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
  • [Best Paper Award]Krížik L., Zavoral F., Čermák M.: Using Static Code Analysis to Improve Coarse Task Granularity in Bobox, in The 10th International Conference on Digital Information Management - ICDIM 2015, Jeju, Korejská republika, IEEE, ISBN: 978-1-4673-9152-8, pp. 237-242, 2015
  • 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 conference]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
  • [Journal (without 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
  • [Journal (without 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
  • [Best Paper Award]Dokulil J., Tykal J., Yaghob J., Zavoral F.: Semantic Web Repository And Interfaces, in International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2007), includes: SEMAPRO 2007, WSNEXT 2007, MUTL 2007, VVSSearch 2007, Papeete, French Polynesia, IEEE Computer Society, ISBN: 978-0-7695-2997-4, pp. 223-228, 2007


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

Membership (detailed list)top

general conference chair

  • IDC 2013
  • NDT 2010

conference organizer

  • IHCI 2011
  • SOFSEM 2009-2010

program committee chair

  • ITAT 2009
  • SEMAPRO 2009

member of steering / advisory committee

  • DBKDA 2014-2019
  • IDC 2014-2018
  • ITAT 2010-2017

member of program committee

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

session chair

  • DATA 2013
  • PDCAT 2011

member of editorial board

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


  • IET Software since 2011

Additional information


The content of this web site is licensed under Creative Commons Attribution-NonCommercial 3.0 Czech Republic