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

• Artificial Intelligence
• Formal Verification
• Probabilistic Systems
• +۳ مورد دیگر

Jan Křetínský is a Professor at the Department of Computer Science, Faculty of Informatics, Masaryk University. His research focuses on formal verification, probabilistic systems, and artificial intelligence. He leads projects funded by the European Union and Masaryk University, including initiatives on robust AI and controller synthesis. Key roles include membership in academic boards for theoretical computer science and doctoral supervision. Awards include the 2023–2028 MUNI Award in Science and Humanities. His work bridges theoretical foundations with practical applications in autonomous systems and safety-critical technologies. Education: Habilitation in Informatics (Masaryk University, 2019), PhD (Dr. rer. nat.) Projects: EU Horizon Europe grants (2025–2030), MUNI-funded research on verification and generative AI Labs/Teams: Live-Lab at FI MU Research emphasizes scalable verification techniques for probabilistic models, integration of neural and symbolic AI, and ethical AI frameworks. Current grants address explainability and robustness in generative AI systems.

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

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

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 Computing
• Software Engineering
• +۳ مورد دیگر

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
• Fault-Tolerant Computing
• Reliable Systems Design

Prof. Petr Tůma is a faculty member at the Faculty of Mathematics and Physics of Charles University in Prague, Czech Republic. He works in the Department of Distributed and Reliable Systems , focusing on distributed computing and system reliability. Email: petr.tuma@d3s.mff.cuni.cz Office Location: Room 205, 2nd floor, Lesser Town, Malostranské nám. 2/25, Prague 1 His research interests center on distributed systems and fault-tolerant computing , with a focus on architectures for reliable and scalable computing environments. Work can be explored further via his homepage or through listed publications.

• Language Testing
• EFL Teaching
• Didactics of English
• +۵ مورد دیگر

Linda Nepivodová serves as Assistant Professor at Masaryk University's Department of English and American Studies (Faculty of Arts) and Department of English Language and Literature (Faculty of Education). Her academic career spans both teaching and research in language assessment and EFL pedagogy. Ph.D. in Philology – Foreign language teaching (Charles University, Prague, 2018) Masters in English Language and Literature with testing focus (MU Brno, 2007) DELTA certification (IH Prague, 2009) CELTA certification (MU Brno, 2006) Bc in English and Latin (MU Brno, 2004) Her research centers on language testing methodologies, particularly comparing computer-based and traditional test administration modes. She investigates peer interaction patterns in EFL classrooms using conversation analysis, with special attention to Czech upper-secondary educational contexts. Her work bridges theoretical linguistics with practical classroom applications, examining how assessment formats impact both student performance and teacher readiness for digital examination systems. Current projects explore the psychometric validity of alternative testing paradigms across transatlantic educational frameworks. Nepivodová's publication record demonstrates consistent focus on assessment validity, classroom discourse analysis, and EFL teacher development. Her research trajectory shows progression from practical classroom observations to sophisticated mixed-methods investigations of testing paradigms, with increasing methodological rigor evident in her longitudinal studies. As a Certified British Council Examiner since 2010, she maintains active engagement with international language assessment standards while contributing to Czech educational practices through teacher training and curriculum development. Visiting scholar at University of Cincinnati (Fulbright grant, 2013) Presenter at multiple EALTA conferences on language testing validity Teacher training sessions at University of Bristol, Cambridge, and Gothenburg Her teaching portfolio encompasses language testing methodology, reflective practice seminars, and teaching practicum supervision across both bachelor's and master's programs in English language education. She directs students' research in assessment methodologies and classroom interaction analysis while maintaining active connections with international language testing communities.

• Computational Linguistics
• Morphology
• Grammar
• +۷ مورد دیگر

Jiří Hana is a researcher at the Institute of Formal and Applied Linguistics (UFAL), Faculty of Mathematics and Physics, Charles University in Prague. His work focuses on computational linguistics, particularly resource-light morphological analysis, learner corpora, and grammar modeling for morphologically complex languages like Czech and Russian. Key Research Areas : Computational morphology, learner corpus annotation, grammar models for fusional languages, tagset design, and natural language processing. Grants & Support : Funded by the U.S. NSF (award #0916280) and the Czech Republic Grant Agency (P406/10/P328). Publication Trends : His recent work (2017–2020) emphasizes syntactic annotation of non-native Czech within Universal Dependencies frameworks, leveraging learner corpora for language acquisition research, and developing tools like feat and law for morphological disambiguation. Advising Roles : Supervised 9 students (2011–2024) on projects spanning text classification, error detection, quote attribution, and multilingual learning through audiovisual input. Tools & Contributions : Developed the Russian positional tagset (2010), feat (layered error annotation), and law (manual morphological disambiguation).

• Distributed Systems
• Reliable Computing
• Systems 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

Petr Kolmanمشاهده پروفایل

دانشیار

• Theoretical Computer Science
• Combinatorial Optimization
• Graph Theory
• +۷ مورد دیگر

Assoc. Prof. Petr Kolman is an academic at the Department of Applied Mathematics , Charles University , where he serves in advisory bodies of the faculty management. His research focuses on theoretical computer science , combinatorial optimization , and graph algorithms , particularly in approximation techniques and network flow problems . He has taught courses such as Linear Algebra 1/2 and Mathematical Programming and Polyhedral Combinatorics . Recent publications highlight his work on spanning tree congestion (2025), length-bounded cuts (2020), and treewidth-based extended formulations (2020). His research spans algorithms , flow theory , and graph modification problems . He maintains contact through kolman@kam.mff.cuni.cz and office hours in Prague Malostranské nám. 2/25, 2nd floor, room S225 .

• Interconnection Networks
• Extremal Combinatorics
• Graph Theory
• +۳ مورد دیگر

Assoc. Prof. Petr Gregor is a faculty member at the Department of Theoretical Computer Science and Mathematical Logic , Faculty of Mathematics and Physics , Charles University in Prague . His research focuses on algorithmic and structural problems in interconnection networks, leveraging tools from extremal combinatorics, graph theory, and coding theory. Research Interests : Interconnection networks, Gray codes, hypercube structures, symmetric graph decomposition, fault-tolerant combinatorial algorithms. Teaching : Offers courses in propositional/predicate logic, computational complexity, hypercube structures, automata theory, and data structures. Awards : Best paper award at MFCS 2022 . Contact : Petr.Gregor@mff.cuni.cz | gregor@ktiml.mff.cuni.cz | Personal Website

Jan Kofroňمشاهده پروفایل

دانشیار

• Program Verification
• Static Analysis
• Software Reliability
• +۴ مورد دیگر

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.

Michal Töpferمشاهده پروفایل

مربی

• Machine Learning
• Component-based Systems
• Self-adaptive 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.

Libor Forstمشاهده پروفایل

مدرس ارشد

• Computer Networks
• Operating Systems
• UNIX Systems
• +۳ مورد دیگر

Libor Forst, RNDr. , is a faculty member at the School of Informatics , Faculty of Mathematics and Physics , Charles University in Prague, where he leads the Network Management Center . He teaches core undergraduate courses on computer networks, UNIX systems and mainframe architectures. Education: Holds the Czech academic degree RNDr. (Rerum Naturalium Doctor) in computer science or related field. Research & Teaching Interests: His professional activities revolve around computer networks , UNIX operating systems and mainframe architectures . Course materials he has authored include extensive slide decks, practical shell-programming assignments and on-line tutorials, reflecting a hands-on, systems-oriented pedagogical style. Awards & Recognition: IOF Pin of Honour awarded by the International Orienteering Federation. Bronze medal at the 2017 World Trail-Orienteering Championships. Services & Labs: As head of the Network Management Center he oversees the faculty’s computer network infrastructure and laboratory facilities, ensuring reliable services for research and teaching. Contact: Room S403, Malostranské nám. 25, 118 00 Prague 1.

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

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.