جستجوی استاد راهنمای دانشگاهی

Petr Hnětynka serves as Associate Professor at the Department of Distributed and Reliable Systems within the Faculty of Mathematics and Physics at Charles University in Prague. He holds active roles in the Academic Senate and faculty management advisory bodies, with his workspace located in room S 212 at Malostranské náměstí 2/25 in Prague 1's Lesser Town district. His research centers on Distributed Systems and Reliable Systems , emphasizing Fault Tolerance and Dependable Computing to address critical challenges in system resilience and architectural robustness. These domains directly inform his teaching and supervision activities within the department's technical framework. Professor Hnětynka maintains active supervision of student works while contributing to institutional governance. His operational base in the historic Lesser Town campus facilitates collaboration within Charles University's computational research ecosystem, leveraging the department's focus on real-world system reliability.

• Distributed Systems
• Reliable Systems
• Software Engineering
• +۳ مورد دیگر

Jan Vitek is a Professor in the Department of Distributed and Reliable Systems at Charles University, where he conducts research on robust distributed computing frameworks. He holds a Master of Science (M.Sc.) and Doctor of Philosophy (Ph.D.) degree. His primary research domains include Distributed Systems and Reliable Systems , with significant contributions to Computer Science and Software Engineering through fault-tolerant system design. His work emphasizes scalability and reliability in distributed environments, addressing critical challenges in system resilience and performance optimization.

• Distributed Systems
• Reliable Systems
• Computer Science
• +۱ مورد دیگر

František Plášil is a Professor at the Department of Distributed and Reliable Systems, Faculty of Mathematics and Physics, Charles University in Prague. His research focuses on distributed systems, fault-tolerant computing, and software architecture for reliable applications. He is affiliated with the D3S research group (Distributed and Dependable Systems), where he contributes to advancing robust system design and academic teaching. Research Interests: Distributed systems, reliable computing, software engineering, system architecture, fault tolerance, and dependable applications. Contact: Email frantisek.plasil@d3s.mff.cuni.cz or visit his homepage for detailed information.

• Distributed Systems
• Reliable Computing
• Software Engineering
• +۳ مورد دیگر

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
• +۲ مورد دیگر

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
• +۴ مورد دیگر

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.

• Machine Learning
• Component-based Systems
• Self-adaptive Systems
• +۴ مورد دیگر

Ondřej Lengál is an Associate Professor at the Department of Intelligent Systems, Faculty of Information Technology, Brno University of Technology. His academic career spans over a decade with continuous research funding and publication output, progressing from doctoral work to leading multiple significant research projects. His research interests include: Formal Methods and Verification Automata Theory and Applications Program Analysis and Static Verification Theoretical Foundations of Computer Science Model Checking Techniques Software Engineering with Formal Guarantees Dr. Lengál's publication record demonstrates a consistent research trajectory in automata-based verification techniques. His recent work (2021-2023) has focused on Büchi automata complementation, with significant contributions to rank-based algorithms and tighter complexity bounds. He has also made substantial contributions to forest automata for shape analysis and heap verification, as well as symbolic techniques for program analysis. His research bridges theoretical computer science with practical applications in software verification. Dr. Lengál leads and participates in multiple research projects funded by GACR (Czech Science Foundation), EU Horizon programs, and internal university grants. His current projects include QUAK: Quantum Program Analysis using Automata Toolkit (2025-2027), Verification and Analysis for Safety and Security of Applications in Life (2024-2027), and Reliable, Secure, and Intelligent Computer Systems (2023-2026). As an educator, Dr. Lengál teaches several advanced courses including Formal Program Analysis, Advanced Mathematics, Operating Systems, and Theoretical Computer Science, demonstrating his ability to connect theoretical foundations with practical applications.

• Formal Methods
• Program Analysis
• Automata Theory
• +۵ مورد دیگر

David Šaur is an Assistant Professor at the Department of Mathematics within Tomas Bata University's Faculty of Applied Informatics. His work bridges meteorology, applied informatics, and crisis management, focusing on severe convective storms and flash flood risk forecasting for regional governance. Developed FLAPRIS , a system for flash flood risk forecasting in the Zlín Region. Collaborated on X-band radar applications for real-time precipitation monitoring. Teaches mathematics-related courses for Software Engineering and Industrial Automation programs. Research Interests include: Predictive modeling of convective precipitation using radar and station data Integration of NWP (Numerical Weather Prediction) models with regional crisis management systems Development of algorithms for 24-hour quantitative precipitation forecasting Quantitative risk assessment for flash floods and storm phenomena His 15 most recent publications (2022-2016) focus on improving convective precipitation forecasting accuracy through algorithm validation, data mining techniques, and hybrid radar/station measurement thresholds. These works underpin practical crisis management tools for municipalities. Project Leadership : Principal Investigator for FLAPRIS (2022-2023) - Ministry of Interior, Czech Republic Principal Investigator for Improved Convective Precipitation Forecast (2019-2022) Researcher for CEBIA-Tech (2018-2020) - National Sustainability Program Advising Experience : Supervised 6 theses (2016-2022) at Tomas Bata University Mentored Master's works on flood risk software tools and hazardous material incident analysis Labs & Teams : CEBIA-Tech Research Center - Advanced ICT for crisis management Working Group for Digitization - Tomas Bata University Sustainability Working Group - Tomas Bata University

• Severe Convective Storms Prediction
• Flash Flood Risk Forecasting
• Meteorological Data Analysis
• +۶ مورد دیگر