RNDr. Filip Zavoral, Ph.D.

zavoral<at>ksi.mff.cuni.cz
zástupce vedoucího katedry
  • člen rady doktorského studijního oboru Softwarové systémy

Výzkumné skupiny

PARG

Oblasti zájmu

  • paralelní a distribuované systémy
  • cloud computing
  • vývoj software, softwarové inženýrství
  • zpracování velkých dat, e-science

Výukanahoru

KódNázevOdkazy
NPRG023Softwarový projektProjektová komise
NPRG024Návrhové vzoryNávrhové vzory
NPRG041Programování v C++Cvičení, Přednáška, Repetenti
NPRG045Ročníkový projektNabídka témat, Obecná pravidla
NPRG046Softwarová praxe
NPRG051Pokročilé programování v C++Pravidla a slajdy
NPRG059Praktikum z pokročilého objektového programováníPožadavky
NSWI026Pokročilé aspekty softwarového inženýrství
NSWI035Principy distribuovaných systémůSlajdy
NSWI122Příprava disertační práce
NSWI150Virtualizace a cloud computingSlajdy
NSWI152Vývoj cloudových aplikacíStudijní materiály

Doktorandinahoru

Stávající: Mgr. Robert Husák, Mgr. Jakub Míšek

Bývalí: RNDr. Miroslav Čermák

Vedené prácenahoru

NázevŘešitelTypVypsánoObhájeno
Interaktivní verifikace složitého softwareRobert HusákPh.D.2017
Systém pro rozšiřování jazyka C#Petr OnderkaMgr.2017
Optimalizace rozmístění zásob v skladových lokacíchDaniel DoušaMgr.2017
Systém pro vyhledávání a aktualizace jízdních řádůFilip HavelBc.2016
(zobrazit všechny)

Výzkumné grantynahoru

  • Vysoce škálovatelné paralelní a distribuované metody zpracování vědeckých dat (GAČR P103-13-08195S) 2013-2015 spolupracovník
  • Res Informatica (GAČR 201/09/H057) 2009-2012 spolupracovník
  • Sémantizace Webu (GAČR P202/10/0761) 2010-2012 spolupracovník
  • Moderní metody, struktury a systémy informatiky (MŠMT MSM0021620838) 2005-2011 spolupracovník
  • Zpracování XML dat (GAČR 201/09/0990) 2009-2011 spolupracovník
  • (zobrazit všechny)

Vybrané publikace (úplný seznam)nahoru

  • 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
  • [Žurnál s IF]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
  • [Žurnál s IF]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 konference]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
  • [Žurnál (bez 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
  • [Žurnál (bez 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)

Členství ve výborech (podrobný seznam)nahoru

předseda konference

  • IDC 2013
  • NDT 2010

organizátor konference

  • IHCI 2011
  • SOFSEM 2009-2010

předseda programového výboru

  • ITAT 2009
  • SEMAPRO 2009

člen řídícího výboru

  • DBKDA 2014-2017
  • IDC 2014-2016
  • ITAT 2010-2017

člen programového výboru

  • 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

předseda sekce

  • DATA 2013
  • PDCAT 2011

člen redakční rady

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

recenzent

  • IET Software since 2011

Další informace

Kontaktynahoru

Tato stránka podléhá licenci Creative Commons Uveďte autora-Neužívejte komerčně 3.0 Česko