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

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

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