Find Academic Supervisors

Petr JancarView profile

Professor

• Theoretical Computer Science
• Language and Automata Theory
• Computability and Complexity Theory
• +4 more

Petr Jancar is a Professor at the Department of Informatics, Faculty of Science, Palacký University in Olomouc. He has previously held academic positions at VŠB-Technical University of Ostrava and the University of Ostrava. His research is centered in theoretical computer science, with deep contributions to automata theory, Petri nets, system verification, and computational complexity. Education RNDr, Theoretical Cybernetics and Mathematical Informatics, Faculty of Mathematics and Physics, Charles University, Prague (1982) CSc. (PhD equivalent), Dissertation: "Questions of Decidability of Dynamic Properties of Petri Nets", Charles University (1989) Appointed Associate Professor in Informatics, Faculty of Informatics, Masaryk University (1996) Appointed Professor in Informatics, VŠB-TU Ostrava (2008) His primary research interests include theoretical computer science , focusing on language and automata theory, computability and complexity, algorithm theory, and mathematical logic. A significant portion of his work addresses system verification , particularly using Petri nets and infinite-state systems. He investigates fundamental questions of bisimilarity, equivalence checking, decidability, and complexity in models like pushdown and one-counter automata. Jancar's recent publications (2020–2025) show a strong trend in advancing the theory of Petri nets, especially structural liveness, reachability, and home-space problems, often establishing high complexity bounds (e.g., Ackermann-complete). His work combines deep theoretical insight with formal rigor, frequently published in top venues like LICS, CONCUR, and LogMethCS. He has long-standing collaborations with researchers such as Jérôme Leroux, Zdeněk Sawa, and Antonín Kučera. Scientific Service and Recognition Member, Editorial Board, Information and Computation (since 2015) Member, Scientific Councils at Masaryk University, VŠB-TU Ostrava, Palacký University, and Brno University of Technology Chairman, GAČR Panel P202 Informatics (2015–2017) Member, Program Committees of major international conferences He has been a co-investigator and researcher on multiple GAČR projects, including those on algorithms for infinite-state systems, computational complexity of verification, and modeling of parallel systems. He has also participated in the Center for Applied Cybernetics. He has held research stays supported by grants in Germany, France, Sweden, and the UK. Laboratories and Research Groups His work is closely associated with formal methods and verification research groups at Palacký University and former affiliations. He has contributed to collaborative projects involving MPI verification and infinite-state system analysis.

• Seismic modeling
• Data processing
• 2D and 3D computer graphics
• +3 more

Václav Bucha is a research geophysicist at the Department of Geophysics, Faculty of Mathematics and Physics, Charles University in Prague. Since 1998, he has been contributing to seismic modeling, data processing, and computational geophysics. Education: 1985: Graduated from Faculty of Science, Charles University, Prague (Geophysics, equivalent to MSc) – diploma thesis on seismodynamic characteristics of the Kladno-Rakovnik basin. 1987: RNDr degree, Charles University, Prague (Geophysics). 1993: PhD, Czech Academy of Sciences – thesis on discrimination between earthquakes and explosion sources in North Western Bohemia. Research Interests: His work spans seismic modeling , including ray tracing and migration techniques, data processing for seismic exploration, and computer graphics for 3D visualization. He focuses on anisotropic wave propagation, particularly in triclinic and orthorhombic media, and develops computational tools for seismic imaging. Publications & Trends: His recent work (2012-2023) emphasizes Kirchhoff prestack depth migration in anisotropic models, advancing imaging techniques for complex subsurface structures. Earlier contributions include finite-difference modeling and source discrimination studies. Contact: bucha@seis.karlov.mff.cuni.cz | Office: (+420) 22191 1423 | Location: T 035, Troja Lecture Hall Building, Prague 8.

Jakub NovákView profile

Researcher

• Modeling of nonlinear systems
• Embedded systems
• Predictive control
• +4 more

Jakub Novák is a Researcher at the Faculty of Applied Informatics , Tomas Bata University in Zlín , with a focus on modeling and control of nonlinear systems, embedded systems, and predictive control. He works at the Regional Research Center CEBIA-Tech and previously at the Research Center for Applied Cybernetics. Education : Ph.D. in Applied Informatics (2007) and Master's degree in Technology (2002) from Tomas Bata University/Brno University of Technology International experience at Politecnico di Milano (2003) and Strathclyde University (2004) Research interests center on nonlinear system modeling , predictive control algorithms , and embedded control system implementation . His work includes applications in magnetic levitation, coupled drives, and chemical thermal processes. He has developed Simulink models for educational purposes and contributed to tools like LM Toolbox for local model networks. Publication trends show a strong emphasis on predictive control (14+ papers) and nonlinear system modeling across various platforms including magnetic levitation plants and twin rotor MIMO systems. He has contributed to real-time control solutions and mixed-integer programming implementations. Advising includes supervising 5 master's theses and 7 bachelor's theses since 2006. Collaborations with Petr Chalupa (55+ co-authored works) and Vladimír Bobál (33 co-authored works) indicate long-term research partnerships.

• Parallel Computing
• Distributed Systems
• Formal Methods
• +4 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.

• Philosophical Logic
• Formal Semantics
• Type Theory
• +3 more

Jiří Raclavský serves as a Professor in the Department of Philosophy at Masaryk University's Faculty of Arts, specializing in philosophical logic and formal semantics. His academic career at Masaryk University spans from Lecturer (1999-2002) through Assistant Professor (2003-2010), Associate Professor (2010-2016), to Full Professor (2016-present), with ongoing teaching assignments through Spring 2026 including courses like Formal Logic, Logic for Everyone, and Doctoral Seminars. His educational background includes a Ph.D. (2003) and M.Sc. (1999) in Logic from Masaryk University, alongside a B.Sc. in Music from Janáček Academy. Research interests focus on philosophical logic, formal semantics, type theory, and logical paradoxes , particularly examining propositional attitudes, modal knowledge, and description theory through Transparent Intensional Logic frameworks. Recent publications demonstrate consistent focus on partial type theory and hyperintensionality, with 2024 works addressing completeness proofs and non-referring descriptions. His research bridges theoretical logic with computational applications, as evidenced by projects like Logic and Computation and Practical application of logic software in teaching . FF MU Dean Prize for Important Scientific Contribution 2016 (for Transparent intensional logic as characteristica universalis) Raclavský supervises graduate theses on topics including Transparent Intensional Logic and logical atomism, while leading multiple institutional projects such as Rational Reasoning (2024-2025) and Philosophy for a Resilient Society II (2025). His grant activities include national and international funding through Masaryk University's Specific Research program and Faculty Innovation initiatives. Professional engagements encompass conference organization, journal refereeing, and membership on national grant evaluation committees.

Pavel ParízekView profile

Associate Professor

• Program Analysis
• Software Verification
• Concurrency Bugs
• +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.

• Cybersecurity
• Data Protection
• Internet of Things (IoT)
• +7 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.

• Static Analysis of Programs
• Formal Verification
• Concurrency
• +12 more

Tomáš Vojnar is a Professor at the Department of Intelligent Systems, Faculty of Information Technology, Brno University of Technology (FIT BUT), Czech Republic. He has been a faculty member since 1999, promoted to Associate Professor in 2007 and full Professor in 2012. He leads the VeriFIT research group and has extensive experience in academic leadership, including candidacy for Dean of FIT BUT in 2023 and chairing major conferences such as TACAS'19 and SV-COMP 2018. Research Interests: Static and dynamic analysis of programs, especially those with pointers and dynamic data structures Formal verification of concurrent and infinite-state systems Automata-theoretic and logical methods in verification Binary code analysis and performance analysis His recent publications show a strong trend in developing and applying static analysis tools for verifying memory safety, concurrency, and semantic equivalence in C programs. He has made significant contributions to tools like Predator, 2LS, and DiffKemp, which are widely used in the verification community and have achieved top rankings in international competitions such as SV-COMP. His work bridges theoretical foundations in automata and logic with practical software verification applications. Scientific Awards: Best theory paper award of ETAPS'10 (EATCS) Best paper awards at CADE'19 and CIAA'08 Best tool paper awards at ISSTA'18 and RV'12 Multiple gold, silver, and bronze medals in SV-COMP (Predator, 2LS, Symbiotic) Bronze Humies award for automated design of approximate circuits Gödel prize from FLoC 2014 Olympic Games 1 gold and 3 silver medals at SL-COMP'14 Siemens prize for outstanding PhD thesis (2001) Advising and Grants: He has supervised numerous PhD and Master's students who have contributed to major verification tools and publications. He has been actively involved in national and international research projects, including the Czech Science Foundation panel P103 (2019–2023), and has secured funding for research in formal methods and software verification. His collaborations span institutions in France (LIAFA, CNRS), Austria (TU Vienna), and beyond. Labs and Teams: He leads the VeriFIT research group at FIT BUT, which focuses on formal methods and software verification. The group develops state-of-the-art tools such as Predator (shape analysis), 2LS (heap verification), DiffKemp (semantic diffing), and others used in both academia and industry. The team actively participates in international verification competitions and collaborates with researchers worldwide.

Věra KoudelkováView profile

Lecturer

• Physics Education
• Didactics of Physics
• Electricity and Magnetism
• +3 more

Věra Koudelková is a physics educator and doctoral candidate at the Department of Physics Didactics, Faculty of Mathematics and Physics, Charles University in Prague. She teaches physics courses at both university level and at Gymnázium Českolipská high school, while actively organizing educational programs for young physicists and mathematics students. Her educational background includes: Graduated from Gymnázium Jana Keplera in Prague 6 (2002) Completed Master's degree at Faculty of Mathematics and Physics, Charles University, in Physics Teacher Education program (2007) Doctoral studies in '4F12 Didactics of Physics and General Physics Questions' at Faculty of Mathematics and Physics, Charles University (2007-present) Věra specializes in physics education with a focus on hands-on experimental approaches to teaching electricity and magnetism. Her educational philosophy emphasizes student-centered learning where students actively engage with physical phenomena rather than passively receiving information. She has developed numerous practical activities that transform abstract electromagnetic concepts into tangible learning experiences, making physics accessible through direct experimentation. Her publications consistently focus on practical physics education, particularly in electricity and magnetism. She has developed innovative demonstrations including transformer applications, diamagnetism/paramagnetism experiments, and step-by-step approaches to challenging physics topics. Her work bridges theoretical physics with practical classroom applications, creating resources that teachers can directly implement in diverse educational settings. Věra actively contributes to the physics education community through: Leading the 'Soustředění mladých fyziků a matematiků' (Concentration of Young Physicists and Mathematicians) since 2003 Organizing physics workshops for teachers Developing educational materials for 'Fyzika pro nefyziky' (Physics for Non-Physicists) at University of the Third Age Running physics clubs for elementary school children She has demonstrated commitment to physics education across all age groups, from elementary school children to university students, through summer camps, specialized educational programs, and community outreach initiatives that make physics engaging and accessible.

Jan KofroňView profile

Associate Professor

• Program Verification
• Static Analysis
• Software Reliability
• +4 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.

Milan StrakaView profile

Professor

• Machine Learning
• Artificial Neural Networks
• Deep Learning
• +12 more

Milan Straka is a professor at the Institute of Formal and Applied Linguistics (ÚFAL) within the Faculty of Mathematics and Physics at Charles University, Prague. His research focuses on machine learning, artificial neural networks, deep learning, and structured prediction with applications to natural language processing (NLP) tasks including POS tagging, dependency parsing, named entity recognition, and optical music recognition. University: Charles University School: Faculty of Mathematics and Physics Department: Institute of Formal and Applied Linguistics Straka has developed several NLP tools like UDPipe and NameTag, contributing to multilingual coreference resolution, Czech grammar error correction, and historical language processing pipelines. His recent work involves contextualized embeddings, semantic parsing, and large-scale dataset creation for Czech NLP tasks. He collaborates on European Language Grid initiatives and has participated in multiple shared tasks (CRAC, MRP, W-NUT). His publications span topics from algorithm design (functional data structures) to modern transformer-based language models (RoBERTa) with emphasis on Czech language resources.

Michal TöpferView profile

Tutor

• Machine Learning
• Component-based Systems
• Self-adaptive Systems
• +4 more

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.

Antonin KuceraView profile

Professor

• Stochastic Processes
• Probabilistic Systems
• Markov Decision Processes
• +8 more

Antonin Kucera is a Professor at the Faculty of Informatics , Masaryk University, Czech Republic. His work focuses on stochastic processes, probabilistic systems, Markov decision processes, stochastic games, infinite-state systems, and applications of game theory in security and operational research. He has led multiple research projects funded by institutions like the US Army Research Office and the Czech Science Foundation. Research Interests : Stochastic processes, probabilistic verification, infinite-state systems, multi-objective optimization, game theory, and security applications. Projects : Leading studies on adversarial security patrolling, probabilistic systems analysis, and game-theoretic verification. Past projects include European Network for Game Theory (COST) and Institute for Theoretical Computer Science. Advising : Mentored 13 PhD/Master's students, including Tomáš Brázdil, Petr Novotný, and Jan Křetínský. Teaching : Courses on Petri Nets, Semantics of Programming Languages, and Mathematical Logic.

• Theoretical Computer Science
• Formal Methods
• Program Verification
• +4 more

Lukáš Holík serves as an Associate Professor at the Department of Intelligent Systems (DITS) within the Faculty of Information Technology (FIT) at Brno University of Technology. His office is located in room A220, with contact details including email holik@fit.vut.cz and phone +420 54114 1331. His research expertise centers on theoretical computer science, formal methods, and program verification, with significant contributions to automata theory, logic in computer science, and static program analysis. He has developed multiple software tools including Mata (finite automata library), Z3-Noodler (string solver), Broom (static analyzer for C), and GadgetCA (ReDoS attack generator), demonstrating deep specialization in string constraint solving and verification of systems with unbounded threads. Dr. Holík leads the Automata@FIT research group as Principal Researcher and participates in the Automated Analysis and Verification Research Group (VeriFIT). He actively serves on academic committees including State Doctoral Examinations, State Final Examinations, and Doctoral Study Programme supervision at FIT.

• Formal Methods
• Program Analysis
• Automata Theory
• +5 more

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.