Česky
Filip Zavoral, Ph.D. |
zavoral<at>ksi.mff.cuni.cz |
| vice-chair of the department | |
- Ph.D. committee member
Research groups
Research topics
- parallel and distributed systems
- cloud computing
- information systems and data processing
- software development, software engineering
Teachingtop
| Code | Title | Links |
|---|---|---|
| NPRG023 | Software Project | Project committee |
| NPRG024 | Design Patterns | Design Patterns |
| NPRG041 | Programming in C++ | Lecture, Seminar |
| NPRG045 | Individual Software Project | Regulations |
| NPRG046 | Software Praxis | |
| NPRG051 | C++ Advanced Programming | Regulations and slides |
| NSWI035 | Principles of Distributed Systems | Slides |
| NSWI075 | Linux Kernel | |
| NSWI122 | Dissertation Thesis Preparation | |
| NSWI150 | Virtualization and Cloud Computing | Slides |
| NSWI152 | Cloud Application Development | Hands-on |
Ph.D. studentstop
Miroslav Čermák, M.Sc., Miroslav Novotný, M.Sc.
Supervised thesestop
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
- zavoral<at>ksi.mff.cuni.cz
- http://www.ksi.mff.cuni.cz/~zavoral/
- room 203, 2nd floor
- +420 221 914 192