Filip Zavoral, Ph.D.

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

Research groups

PARG

Research topics

  • parallel and distributed systems
  • cloud computing
  • information systems and data processing
  • software development, software engineering

Teachingtop

CodeTitleLinks
NPRG023Software ProjectProject committee
NPRG024Design PatternsDesign Patterns
NPRG041Programming in C++Lecture, Seminar
NPRG045Individual Software ProjectRegulations
NPRG046Software Praxis
NPRG051C++ Advanced ProgrammingRegulations and slides
NSWI035Principles of Distributed SystemsSlides
NSWI075Linux Kernel
NSWI122Dissertation Thesis Preparation
NSWI150Virtualization and Cloud ComputingSlides
NSWI152Cloud Application DevelopmentHands-on

Ph.D. studentstop

Miroslav Čermák, M.Sc., Miroslav Novotný, M.Sc.

Supervised thesestop

TitleStudentTypeStartedDefended
Implementing control flow resolution in dynamic languageŠtěpán ŠindelářMS2012
Cider - An Event-driven Continuous Integration ServerOndřej KupkaBS2012
Full text of lawsKarel KlímaBS2011
Distropine - Distributed System for Anotation of Web PagesOndrej KaprálBS20112012
(show all)

Research grantstop

  • Modern methods and applications of software engineering (GAUK SVV-2010-261312) 2010-2010 cooperant
  • Semantization of the Web (GACR P202/10/0761) 2010-2012 cooperant
  • Processing of XML Data (GACR 201/09/0990) 2009-2011 cooperant
  • Intelligent Models, Algorithms, Methods and Tools for the Semantic Web (AV CR 1ET100300419) 2004-2008 cooperant
  • Modern Methods, Structures and Systems of Computer Science (MSMT MSM0021620838) 2005-2011 cooperant
  • (show all)

Selected publications (complete list)top

  • 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
  • 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. 1-13, 2012
  • Novotný M., Zavoral F.: Resistance Against Malicious Collectives in BubbleTrust, in PDCAT 2011 - 12th International Conference on Parallel and Distributed Computing, Gwangju, Korea, IEEE Computer Society, ISBN: 978-0-7695-4564-6, pp. 56-61, 2011
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: MetroNG: multimodal interactive scheduling interface, in Proceedings of the International Conference on Advanced Visual Interfaces, Roma, Italy, ACM, ISBN: 978-1-4503-0076-6, pp. 317-320, 2010 - ACM
  • Dokulil J., Yaghob J., Zavoral F.: Semantic Infrastructures, in Semantic Web, In-Tech, ISBN: 978-953-7619-33-6, pp. 1-13, 2010
  • Míšek J., Zavoral F.: High-Level Web Data Abstraction Using Language Integrated Query, in Intelligent Distributed Computing IV, Tanger, Springer Verlag, ISBN: 978-3-642-15210-8, pp. 13-22, 2010
  • Novotný M., Zavoral F.: BubbleTrust: A Reliable Trust Management for Large P2P Networks, accepted for publication in Proceedings of the Third International Conference on Network Security & Applications, Chennai, Springer Verlag, pp. 81-95, 2010
  • 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, 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 program committee

  • AAI 2012
  • ADBIS BiDaTA 2013
  • ADVCOMP 2008
  • CAINE 2012-2013
  • CIT 2011
  • DBKDA 2013
  • ICADIWT 2009
  • ICBDE 2010
  • ICCSII 2012
  • ICICCA 2010
  • IDC 2009-2012
  • ITAT 2007-2008, 2010-2013
  • ITBAM 2010-2012
  • NSSCT 2010
  • SEMAPRO 2010-2013
  • TRDMS11 2011

session chair

  • PDCAT 2011

member of editorial board

  • CCPE 2011
  • IJAIS since 2008
  • IJCIT since 2008
  • IntSys since 2010

reviewer

  • IET Software 2011

Additional information

Contactstop

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