Filip Zavoral, Ph.D.

zavoral<at>ksi.mff.cuni.cz
vice-chair of the department
  • Ph.D. committee member, study branch Software Systems

Research groups

PARG

Research topics

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

Teachingtop

CodeTitleLinks
NPRG023Software ProjectProject committee
NPRG024Design PatternsDesign Patterns
NPRG041Programming in C++Lecture, Repetents, Seminar
NPRG045Individual Software ProjectRegulations, Student projects
NPRG046Software Praxis
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

TitleStudentTypeStartedDefended
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 HavelBS2016
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
Universal System for Delivery and Automatic Conversion of MessagesRóbert ŠišajMS2009
Information System for Software Projects CommitteePetr TrňákBS2009
Graphical Design of MySQL DatabaseViktor KřivákBS2009
Semantics Detection in Partially Structured SourcesMartin SuchanMS20092010
Analyse of MMORPGTomáš FechtnerBS20082009
Turn-based strategyŠtěpán PoljakBS20082010
Implementing the Dynamic Languages Using DLR TechnologyMiloslav BeňoMS20082010
IntelliSense Implementation of a Dynamic LanguageJakub MíšekMS20082009
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
Settlers of CatanJakub MalýBS20062007
Visualization of algorithmsMartin ŠpaňoBS20062007
Process models of semantic webMichal PodzimekMS20062008
Chemical laboratoryLenka KreibichováBS20062006
Vector editor for creating animationsMartin KrulišBS20052007
Database managerOndřej DolejšBS20052006
Crossplatform user interface API for C/C++Vojtěch MeluzínMS20052006
Integration of Heterogeneous Information SystemsJiří KulhánekMS20052006
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

  • 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
  • [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
  • 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
  • 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
  • [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

Software

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-2017
  • IDC 2014-2016
  • ITAT 2010-2017

member of program committee

  • AAI 2012
  • ADBIS BiDaTA 2013
  • ADVCOMP 2008
  • ANT 2015, 2017-2018
  • BDTA 2016-2017
  • CAINE 2012-2017
  • CIT 2011, 2013
  • DaEng 2015
  • DATA 2014-2017
  • 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

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

reviewer

  • IET Software since 2011

Additional information

Contactstop

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