Tomáš Bureš is a Professor at the Department of Distributed and Dependable Systems , Faculty of Mathematics and Physics , Charles University . His work focuses on adaptive software architectures for smart cyber-physical systems (CPS) and IoT, leveraging machine learning (neural networks) for self-adaptation, edge-cloud systems, and model-driven development. Research Groups: Leader of the SmartArch research group. Projects: Involved in ExtremeXP , ESTABLISH , AFarCloud , FitOptiVis , Trust 4.0 , ASCENS , RELATE ITN , Q-ImPrESS . Publications span topics like performance regression testing, ML workflow optimization, confidentiality analysis under uncertainty, and edge-cloud continuum modeling. Key subfields include self-adaptive architectures, adaptation rules, component ensembles, and statistical methods in software engineering. His work bridges theoretical models (e.g., DEECo, SOFA) with practical tools (e.g., ExpEngine, Robin) for CPS and cloud applications. Co-Authors include P. Hnětynka, M. Abdullah, R. Heinrich, and others. Publications appear in venues like IEEE Transactions on Autonomic Computing , ACM/SPEC ICPE , and ECSA Workshops .
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.
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.
Martin Kruliš is an associate professor in the Department of Distributed and Dependable Systems at the Faculty of Mathematics and Physics, Charles University , Prague, Czech Republic. His primary roles include research, teaching, advising, and leading projects that bridge high-performance computing, GPU programming, and self-adaptive systems. Education: While exact details of his own degrees are not provided, Dr. Kruliš’s extensive publication record and faculty position at Charles University indicate advanced training in computer science with specialization in parallel and distributed computing. Research Interests: High-Performance GPU Computing: Deep investigation into CUDA kernel optimization, memory bandwidth utilization, and workload dispatching for massively parallel accelerators. Self-Adaptive & Self-Optimizing Systems: Designing ensemble-based abstractions that integrate machine-learning estimators to enable runtime adaptation in component architectures. Parallel Algorithms & Data Structures: Development of cache-friendly, SIMD-aware, and GPU-accelerated algorithms for clustering, dimensionality reduction, and similarity search. Software Engineering for Parallelism: Creation of C++ libraries, DSLs (e.g., Bobolang), and educational tools (ReCodEx) that simplify parallel programming and automated evaluation. Publication Trends: Across 2011–2025, Kruliš’s articles reveal a clear trajectory from foundational GPU-accelerated indexing and multimedia retrieval toward sophisticated self-adaptive systems that leverage machine learning. Recent works (2023–2025) increasingly focus on integrating LLMs and neural networks into compiler and runtime optimization loops, reflecting a convergence of AI and systems research. Scientific Awards & Recognition: No specific awards or fellowships are mentioned in the provided text; however, sustained publication in top-tier venues (JPDC, IPDPS, Euro-Par, SEAMS) and active involvement in program committees and tool development indicate strong peer recognition. Teaching & Student Supervision: Teaches Programming in Parallel Environment (NPRG042) , Advanced Programming in Parallel Environment (NPRG058) , Computer Systems (NSWI170) , and Software Projects . Supervises numerous bachelor’s and master’s theses; exact student names are not listed in the text. Labs, Projects & Tools: ReCodEx: A widely used platform for semi-automated evaluation of programming assignments at Charles University. Simdex: A modular simulator of the ReCodEx backend that enables realistic experimentation with self-adaptive job dispatching and machine-learning controllers. Active contributor to open-source repositories on GitHub, focusing on GPU kernels, benchmarking frameworks, and educational tooling.
David Mareček is a researcher at the Institute of Formal and Applied Linguistics (ÚFAL) within the Faculty of Mathematics and Physics at Charles University. His work focuses on neural network interpretation, machine learning, dependency syntax analysis, and machine translation, with a particular emphasis on unsupervised and semi-supervised parsing techniques. Current projects: GenderBias (2023–present), EduPo (2024–present) Long-term contributions in dependency treebanks (HamleDT, 2012–2016) and neural machine translation frameworks (Treex, TectoMT) His research explores linguistic structure in neural architectures, including BERT and Transformer models, through methods like structural probing and attention analysis. Recent publications examine gender bias mitigation, automated poetry analysis, and theatre script generation. Key collaborations include Rudolf Rosa, Tomáš Musil, and Tomasz Limisiewicz. He supervises students in projects spanning multilingual representations, language model probing, and bias detection in AI systems. Technical leadership in developing tools like THEaiTRobot and DEPFIX demonstrates his commitment to applied computational linguistics and robust NLP systems.
Michal Töpfer is a PhD student and academic tutor at the Department of Distributed and Reliable Systems within the Faculty of Mathematics and Physics at Charles University in Prague. Holding the RNDr. degree (Doctor of Natural Sciences), he actively contributes to both teaching and research at the university. His academic affiliations include: Department of Distributed and Reliable Systems (D3S) Faculty of Mathematics and Physics Charles University Dr. Töpfer's research centers on integrating machine learning with software architecture, particularly for self-adaptive and component-based systems. His work develops systematic approaches to incorporate ML capabilities into software architectures, enabling systems that can self-optimize and adapt to changing conditions. He has made significant contributions to the DEECo component model through his ML-DEECo extension and has developed visualization components for the IVIS framework used in IoT applications. His publication trajectory shows increasing focus on leveraging large language models for software engineering tasks and optimizing component-based architectures. The research spans theoretical foundations of component models to practical implementations addressing real-world challenges in distributed systems, with applications in smart farming and Industry 4.0. As an educator, he teaches practical sessions for undergraduate courses including Introduction to Algorithms and Programming 1 during winter semesters and Programming 2 during summer semesters. While he supervises student work, specific advisees are not documented in available sources. He actively contributes to the academic community through organizing the Mathematical Correspondence Seminar (PraSe), the Young Mathematicians Camp, and the Kasiopea programming competition. His technical expertise spans web development, software architecture, machine learning integration, and data visualization.
Jana Zachová is a Senior Research Fellow at the Institute of Physics, Faculty of Mathematics and Physics, Charles University. Her work focuses on single crystal growth of nucleic acid components and their molecular interactions, combining experimental techniques like Raman spectroscopy and X-ray crystallography with biochemical applications in chemotherapy and dietology. Education: MSc (1970) and PhD (1977) from Charles University and Technical University Prague Research: Electronic/vibrational states of nucleic acid bases, hydrogen bonding, stacking, metal interactions, and phosphonate analogs for X-ray and Raman analysis Key Collaborations: Leningrad State University (1975), Institute of Crystallography Moscow (1981-1990), CNRS Strasbourg (1993), University of Bologna (1993) Her teaching includes courses on biochemistry, metal ions in biological systems, and separation methods. She has supervised multiple diploma theses and two PhD students.
