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
(show all)

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
  • Modern Methods, Structures and Systems of Computer Science (MSMT MSM0021620838) 2005-2011 cooperant
  • Processing of XML Data (GACR 201/09/0990) 2009-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-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

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