Find Academic Supervisors

Martin Svoboda is a Lecturer at the Department of Software Engineering , Faculty of Mathematics and Physics, Charles University, Prague. His work focuses on multi-model data management, social network analysis, and XML/linked data processing. University: Charles University School: Faculty of Mathematics and Physics Department: Department of Software Engineering Role: Lecturer Education: Doctoral Thesis: Correction of Invalid Trees with Respect to Regular Tree Grammars (2015) Master's Thesis: Processing of Incorrect XML Data (2010) Bachelor's Thesis: Information System for Small User Group Collaboration (2007) Research Interests encompass: Unified multi-model data processing Influence maximization in social networks Graph data efficiency Big Data and NoSQL systems Querying/indexing linked data XML document correction Publications highlight trends in multi-model data unification, XML correction techniques, and social network analysis, with a strong emphasis on category theory and graph-based approaches. Scientific Recognition: Dean’s Award for Best Master Thesis (2010) Best Poster Award at Reasoning Web Summer School (2012) Projects include grants from the Czech Science Foundation (20-22276S, 2010–2012), Technology Agency of the Czech Republic (TH03010276, 2018–2020), and international collaborations like NoSQL-Net (Germany, 2014).

• Unified Processing of Multi-Model Data
• Influence Maximization in Social Networks
• Efficient Graph Data Processing
• +3 more

Vojtěch Aschenbrenner is a researcher at the Department of Distributed and Reliable Systems , Faculty of Mathematics and Physics, Charles University. His work focuses on distributed computing, reliable system design, and software engineering principles. Research interests include: Distributed Systems Reliable Computing Systems Engineering Contact: asch@d3s.mff.cuni.cz

• Distributed Systems
• Reliable Computing
• Systems Engineering
• +2 more

František Gallovič is a Professor at the Department of Geophysics , Faculty of Mathematics and Physics , Charles University since 2023. Previously held positions include Researcher (2005-2011), Assistant Professor (2012-2017), and Associate Professor (2017-2022) at the same institution. His work bridges computational seismology with applied earthquake hazard assessment. Research focuses on dynamic rupture modeling , kinematic slip inversions , and ground motion prediction . Key contributions include developing Bayesian inversion frameworks for earthquake sources, hybrid broadband simulation codes (RIKsrf, LinSlipInv), and GPU-accelerated dynamic rupture solvers (FD3D_TSN). Collaborations span institutions in Italy, Greece, France, and Japan. Teaching includes Geophysical Data Processing , Seismic Wave Propagation , and Earthquake Source Physics . Led projects like BAIES (Czech-German collaboration) and participated in SPICE , S3 , and QUICK initiatives. Software tools available via GitHub and personal webpage .

• Seismology
• Strong Ground Motions
• Broadband Ground Motion Modeling
• +7 more

Dr. Jakub Yaghob is a researcher at the Faculty of Mathematics and Physics , Charles University , specializing in computer science and parallel computing. He teaches advanced programming topics including Compiler Principles , Parallel Programming , and Cloud Computing . Research Interests : Parallel data stream processing, virtualization technologies, semantic web infrastructures, and performance optimization Teaching : Advanced C++ programming, virtualization administration, and computer systems architecture Technical Expertise : Design of parallelization frameworks, astrophysical data analysis, and hybrid CPU-GPU systems His publications focus on: Optimizing stream data processing across distributed architectures Developing domain-specific languages like Bobolang Performance evaluation in educational programming contexts Applications of parallel computing in astrophysics

• Computer Science
• Parallel Computing
• Data Stream Processing
• +3 more

Jiří Barnat serves as Dean of the Faculty of Informatics at Masaryk University in Brno and holds a professorship in the Department of Programming Theory. He concurrently directs the Center for Education, Research and Innovation in Information and Communication Technologies and maintains active membership in key university governance bodies including the Rector's Board, Scientific Council of the Faculty of Informatics, and Program Board for Informatics bachelor's degree programs. His research centers on formal verification methodologies and parallel system architectures , with significant contributions to automata-based validation techniques. Teaching records spanning 2000-2026 reveal deep expertise in distributed systems implementation, non-imperative programming paradigms, and hybrid system modeling. His course development consistently integrates theoretical foundations with practical laboratory applications in parallel computing environments. Professor Barnat leads the Laboratory of Parallel and Distributed Systems and collaborates with AVELAB research group, where he supervises project-based coursework in advanced parallel programming. His administrative leadership extends to campus infrastructure development through the Construction Council and academic policy formulation via the Extended Rector's Board.

• Parallel Computing
• Distributed Systems
• Formal Methods
• +4 more

Michal Večeřa is an Assistant Professor at Masaryk University's Faculty of Arts, affiliated with the Institute of Film and Audiovisual Culture. His research focuses on Central European film history, particularly Czechoslovak animation, production infrastructures, and distribution systems during the socialist era. He frequently employs digital humanities methodologies for historical reconstruction and archival preservation. Večeřa's research spans: Animation production under socialist regimes Regional cinema cultures (Brno/Zlín) Transnational film networks Quantitative analysis of distribution patterns He co-leads digital projects like Zlínský film and Filmové dějiny online that map historical film data using visualization tools. His publications show strong emphasis on: Comparative Czech-Polish studies Industrial organization of socialist studios Digital reconstruction of lost distribution networks Methodological innovations in film historiography

• Film History
• Animation Studies
• Czechoslovak Cinema
• +3 more

Pavel Parízek is an Associate Professor at the Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University, Czech Republic. His research focuses on developing methods and tools for program analysis, verification, and debugging, particularly for large multi-threaded programs. He emphasizes techniques that efficiently detect bugs with minimal false positives. Research interests include static and dynamic analysis, concurrency bug detection, formal methods, and scalable verification. Key software tools developed include BUBEN (library abstractions for bug detection), JPF-Inspector (debugger for Java Pathfinder), and PANDA (predicate abstraction tool). Recent publications highlight advancements in partial order reduction, dynamic analysis frameworks for C#/.NET, and automated library abstractions. His work bridges theoretical formal methods with practical software engineering challenges. Teaching includes courses on program analysis, formal foundations of software engineering, and software development tools.

• Program Analysis
• Software Verification
• Concurrency Bugs
• +3 more

František Kasl is a Researcher at the Institute of Law and Technology, Faculty of Law, and the Centre for Education, Research and Innovation in Information and Communication Technologies, Faculty of Informatics, both at Masaryk University in Brno, Czech Republic. His work bridges law and technology, with a strong emphasis on cybersecurity, data protection, and digital innovation. Position: Researcher Institution: Masaryk University Faculties: Faculty of Law, Faculty of Informatics Department: Institute of Law and Technology Email: Frantisek.Kasl@muni.cz His research interests include cybersecurity, data protection, Internet of Things (IoT), digital identity, smart grids, mobility as a service, and legal aspects of artificial intelligence and disinformation. He explores how legal frameworks can adapt to rapid technological changes, particularly in critical infrastructure and digital services. The recent publications highlight a consistent focus on cybersecurity workforce development, EU regulatory frameworks (e.g., Network Code on Cybersecurity, EU Digital Identity), and the intersection of law and technology in smart systems. Themes such as bug bounty programs in education, personal data breach notification, and space debris as a weapon reflect his interdisciplinary and forward-looking approach. Although no specific scientific awards are listed, his extensive publication record and active participation in high-impact research projects and conferences indicate significant scholarly contribution. František Kasl supervises students and contributes to teaching, particularly in IT law and cybersecurity. He is involved in multiple collaborative research projects, often with colleagues from law, informatics, and engineering, fostering interdisciplinary innovation. His work contributes to national and EU-level policy discussions, particularly in cybersecurity qualifications and digital identity frameworks. He is part of research teams working on smart grids, secure data sharing (e.g., CovidCareShare), and mobility systems. These teams involve collaboration across faculties and institutions, emphasizing applied research with real-world impact.

• Cybersecurity
• Data Protection
• Internet of Things (IoT)
• +7 more

Ondřej Čadek is a Professor at the Department of Geophysics, Faculty of Mathematics and Physics, Charles University, Prague. His research focuses on planetary geophysics, numerical modeling of icy satellites, and mantle convection dynamics. Key Affiliations: Charles University (since 1984), Ecole Normale Supérieure (Paris), University of Nantes, University of Gottingen. Research Areas include: inverse modeling of geoid and mantle viscosity, thermomechanical evolution of icy moons (Enceladus, Europa, Titan), viscoelastic deformation of planetary crusts, and subsurface ocean dynamics. He employs spectral solutions of PDEs and continuum mechanics methods. Recent Publications address tidal heating in Saturnian moons, stability of ice shells, and geoid-inversion techniques. Collaborative work with institutions like ENS Paris and University of Nantes highlights interdisciplinary planetary science trends. Scientific Awards: Gauss Professor (University of Gottingen, 2004) He has supervised 10 PhD theses and numerous Master's/Bachelor's projects, with courses taught in continuum mechanics and planetary science. Research grants include GACR, GAUK, and EU Horizon projects.

• Gravity field of moons and planets
• Mantle convection
• Thermomechanical evolution of icy satellites
• +6 more

Iveta Hnetynkova is an Associate Professor at the Department of Numerical Mathematics, Faculty of Mathematics and Physics, Charles University in Prague. She specializes in numerical linear algebra, inverse problems, and regularization methods, with applications in image processing and scientific computing. Education: Doctor of Natural Sciences (RNDr.) from Charles University (2003) Ph.D. in Scientific Computations from Charles University (2006) Habilitation thesis on error-contaminated linear approximation (2019) Research Interests: Krylov subspace methods Total Least Squares (TLS) formulations Noise revealing in discrete inverse problems Tensor generalizations and structured matrices Applications in image processing and jewelry defect analysis Scientific Awards: Visegrad Group Young Researcher Award (2014) J. Jirsa Prize for textbook excellence (2013) I. Babuska Prize (2nd place) (2007) SVOČ Prize in mathematics (2003)

• Numerical Mathematics
• Linear Algebra
• Inverse Problems
• +5 more

Dr. Jaroslav Dytrych serves as Assistant Professor and Vice-dean for Information Support at the Department of Computer Graphics and Multimedia (DCGM) within the Faculty of Information Technology, Brno University of Technology. His dual role combines academic leadership in semantic technologies with institutional responsibilities for information systems management. Research focuses on advancing semantic annotation methodologies and user interface design: Semantic Annotation of Complex Textual Relations Empirical Evaluation of Annotation Interaction Patterns Collaborative Semantic Annotator Frameworks (4A System) Integration of Semantic Tools in Scholarly Workflows Java-Based Graphical User Interface Development Practical Software Design Principles His publication record demonstrates consistent innovation in annotation tool design, particularly through the 4A framework which addresses challenges in collaborative semantic processing. Research trends show progressive refinement from foundational scholarly communication models (2011) to advanced user interface solutions for complex relation annotation (2018). As an educator, he directs courses including Practical Aspects of Software Design (IVS) and Graphical User Interfaces in Java (GJA/GJAe), delivered in both Czech and English to undergraduate and graduate students. Office consultations follow structured availability with designated in-person hours on Tuesdays and Wednesdays, supplemented by evening online sessions via Microsoft Teams. Operational within the DCGM research ecosystem, his work intersects with natural language processing laboratories and software engineering teams developing annotation infrastructure. Current projects continue evolving the 4A framework for next-generation scholarly communication platforms.

• Semantic Annotation
• User Interface Design
• Natural Language Processing
• +4 more

Filip Zavoral is a Lecturer at the Department of Software Engineering , Faculty of Mathematics and Physics, Charles University in Prague. He teaches courses in Distributed Systems , Software Security , C++ Programming , and Cloud Computing . Department: Software Engineering Email: filip.zavoral@matfyz.cuni.cz Research Interests include software systems, virtualization, cloud application development, and practical implementation of security protocols. His work emphasizes hands-on learning with tools like Arduino for computer systems education. Teaching Highlights : Managed credit program rules for C++ courses Focus on ethical guidelines and coding standards

• Software Engineering
• Distributed Systems
• Cloud Computing
• +3 more

Tomáš Skopal is a Professor at the Department of Software Engineering within the Faculty of Mathematics and Physics at Charles University in Prague. He holds a Ph.D. in Computer Science and is affiliated with one of the leading institutions in the Czech Republic for mathematical and computational research. His research interests span broad areas of Software Engineering , Computer Science , and specialized topics like Data Management , Machine Learning , and Distributed Systems . He contributes to academic work in computational theory and cybersecurity. Contact: tomas.skopal@matfyz.cuni.cz

• Software Engineering
• Computer Science
• Data Management
• +7 more

Lubomír Bulej serves as an Associate Professor at the Department of Distributed and Dependable Systems within the Faculty of Mathematics and Physics at Charles University, Prague. His office is located in room S 205 in the historic Lesser Town district, with contact details including email bulej@d3s.mff.cuni.cz and phone +420 951 554 189. He maintains an active research profile through platforms like Google Scholar, DBLP, and GitHub. His research centers on dynamic program analysis and software performance evaluation , with specific focus on analysis composition, program instrumentation, profiling accuracy, and observability in managed platforms. He develops methods for automatic performance evaluation during development, performance change detection, and testable documentation of performance assumptions. Additional interests span object-oriented programming, programming languages, operating systems, and computer architectures, reflected in his teaching of courses like Computer Architecture and Operating Systems. Analysis of his 2021-2025 publications reveals a consistent trajectory in performance-aware software development , with increasing emphasis on compiler technologies (particularly GraalVM), self-adaptive systems for cloud/edge environments, and cost-optimized performance testing methodologies. His work bridges theoretical program analysis with practical industrial applications, especially in avionics and distributed systems. Dr. Bulej actively contributes to major research projects including GraalVM compiler evaluation, FitOptiVis (avionics systems), ASHLEY (aircraft demonstrators), Ferdinand (model-driven design evaluation), Q-ImPrESS (service-oriented systems), and CoCoME (component modeling). He maintains critical software infrastructure such as the Renaissance Benchmark Suite, DiSL instrumentation framework, and Java Performance Measurement Framework.

• Dynamic Program Analysis
• Software Performance Evaluation
• Software Performance Modeling
• +5 more

Jan Kofroň is an Associate Professor in the Department of Distributed and Dependable Systems at the Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. His research focuses on program verification, static analysis, and software reliability. His educational background includes a Ph.D., as indicated by his title. He maintains an active research profile with numerous recent publications in top venues. Professor Kofroň's research interests span several key areas in software engineering and formal methods. He specializes in interpolation-based code model checking, static analysis of programs, system behavior models and verification, and programming language semantics. His work bridges theoretical foundations with practical applications in software development. His recent publications demonstrate strong focus on verification techniques for complex software systems, particularly in the areas of Horn clause solving, program comprehension using computational notebooks, and uncertainty-aware self-adaptive cyber-physical systems. His research shows consistent contributions to both theoretical foundations and practical applications of program analysis. Professor Kofroň actively leads and participates in multiple research projects including the current AIDE project (Advanced Analysis and Verification for Advanced Software) and past projects such as SNAPPY, ROBUST, Weverca, Q-ImPrESS, SOFA 2, and ASCENS. He teaches courses related to Java programming, Python programming, program semantics, and mobile devices programming. He maintains an open-door policy for student consultations, requesting students email him to arrange meetings rather than maintaining fixed office hours. His department maintains active GitHub presence, contributing to open-source projects related to software verification and analysis tools.

• Program Verification
• Static Analysis
• Software Reliability
• +4 more