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

Josef Urbanمشاهده پروفایل

پژوهشگر

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +۵ مورد دیگر

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.

Ondřej Bojarمشاهده پروفایل

دانشیار

• Machine Translation
• Computational Linguistics
• Computer Science
• +۹ مورد دیگر

Ondřej Bojar is an Associate Professor at the Institute of Formal and Applied Linguistics (UFAL), part of the Faculty of Mathematics and Physics at Charles University in Prague . He actively engages in research and teaching, with a focus on machine translation and computational linguistics. His work spans both theoretical and applied domains, involving collaborations with industry and academia.

• 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.

• Philosophy
• Hermeneutics
• Mathematical Modeling
• +۳ مورد دیگر

Alice Kliková is a researcher at the Center for Phenomenological Research (a joint institution of the Faculty of Arts, Charles University and the Academy of Sciences of the Czech Republic) and teaches Introduction to Hermeneutics at the Faculty of Humanities, Charles University. With a dual background in Mathematics and Philosophy, she bridges computational science and hermeneutic theory. Education: Ph.D. in Mathematics, Faculty of Mathematics and Physics, Charles University (2000) RNDr. (Doctor of Natural Sciences), Faculty of Music and Dramatic Arts, Charles University (2000) Master's in Integral Human Studies (Philosophical Anthropology focus), Faculty of Humanities, Charles University Mgr. in Mathematics, Faculty of Mathematics and Physics, Charles University (1997) Doctoral studies in Philosophy under dual supervision at University of Paris X, Nanterre Her research integrates mathematical modeling of fluid dynamics with philosophical hermeneutics and phenomenology. Early work focused on adaptive methods for Euler/Navier-Stokes equations, while recent scholarship examines Czech science policy and civil society. This interdisciplinary approach reveals deep connections between computational precision and interpretive frameworks in understanding complex systems. Publications show a clear trajectory from technical computational mathematics (adaptive mesh refinement, error estimation) to philosophical-social critique (science policy, hermeneutics). The mathematical works emphasize numerical robustness in fluid dynamics, while later articles analyze societal structures through phenomenological lenses—demonstrating how methodological rigor transcends disciplinary boundaries. Scientific Awards: Josef Hlávka Prize (2000) 'Talent 97' recognition by Czech Education Minister (1998) European Commission scholarship for Young European Forum (1998) French government research scholarships (1998, 2000-2001) Multiple Dean's extraordinary scholarships (1997-1999) Kliková secured significant international funding including French government doctoral scholarships and CEFRES research grants. She co-organizes student debate forums on EU integration and Czech politics since 1999 and served as Impuls 99 spokesperson (2000). While no formal advisees are documented, her industry collaboration with BENZ HMB Czech since 1995 demonstrates applied research impact in paper industry control systems. As a core member of the Center for Phenomenological Research and the Student Club at the Center for Theoretical Studies, she bridges academic theory with civic engagement through regular seminars on hermeneutics, mathematical modeling, and methodology of human/natural sciences.

• Adaptive Software Architectures
• Smart Cyber-Physical Systems (CPS)
• Internet of Things (IoT)
• +۵ مورد دیگر

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 .

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

استاد

• Theoretical Computer Science
• Language and Automata Theory
• Computability and Complexity Theory
• +۴ مورد دیگر

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.

• Dependency Syntax
• Treebanking
• Tectogrammatical Representation
• +۱۰ مورد دیگر

Markéta Lopatková , Associate Professor at the Institute of Formal and Applied Linguistics (Faculty of Mathematics and Physics, Charles University), is a leading Czech computational linguist specializing in dependency syntax, valency theory, and formal language modeling. Her work focuses on the Prague Dependency Treebank and VALLEX valency lexicon, incorporating tectogrammatical representations and dependency analysis by reduction. She has coordinated major EU projects like LCT and CLARA, and served on editorial/review boards for journals and conferences. Ph.D. in Computational Linguistics (2001), Charles University M.Sc. in Mathematics (1992), Charles University Research spans Czech sentence ambiguity, non-projectivity, light verb constructions, and reflexive/reciprocal modeling using restarting automata. Her 15 most recent articles address topics like Uniform Meaning Representation conversion, cross-lingual dependency analysis, and reflexive construction detection in Czech. As principal investigator for projects such as VALLEX (2018-2020) and Delving Deeper (2012-2015), she advanced valency lexicon methodologies and linguistic theory feedback loops for NLP systems. Awards include Charles University's Silver Medal (2021), Monographs of Distinction (2016), and Slovník roku 3rd Place (2009). She has supervised 5 PhD students and 6 Master’s students, contributing to European Masters programs (LCT) and international conference committees (ACL, COLING, EURALEX). Scientific Leadership : Deputy Head of Institute (2021), Former Head (2012-2020) Teaching : Courses in Dependency Grammars, Mathematical Methods in Linguistics, and Mathematical Analysis (Czech)

• 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).

• Parallel Computing
• Distributed Systems
• Formal Methods
• +۴ مورد دیگر

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.

• Creative Writing
• Czech Literature
• Translation Studies
• +۵ مورد دیگر

Assoc. Prof. Zbyněk Fišer, Ph.D., serves as an Associate Professor at the Institute of Czech Literature within Masaryk University's Faculty of Arts in Brno. His administrative roles include membership in the Sectoral Committee for Theory of Art and Gallery Pedagogy, Industry Council for Czech Literature, and Program Boards for Czech Language and Literature degree programs (Bachelor's, Master's, and Secondary School Teaching tracks). His research centers on Creative Writing methodology , post-1945 Czech Literature (particularly samizdat and underground movements), functionalist Translation Studies , and Art Mediation . Key contributions include workshop frameworks for creative writing instruction, analysis of Communist-era dissident literature, and gallery pedagogy integration. His work consistently bridges literary theory with practical educational applications. Recent publications (2024-2025) emphasize Ukrainian Czech-language teacher training, Brno literary inspiration, and contemporary cultural unrest themes. His scholarship demonstrates interdisciplinary connections between literary history, translation practice, and artistic expression. No scientific awards are documented in available sources. As a supervisor, Professor Fišer mentors students in Czech literature and creative writing, though specific grant funding or project details remain unspecified in source materials. No dedicated research laboratories or formal teams are associated with his work in the provided documentation.

• Art History
• Visual Cultures
• Central European Art
• +۳ مورد دیگر

Marcela Rusinko, Ph.D. , serves as an Assistant Professor at the Art History Seminar within the Faculty of Arts at Masaryk University in Brno, Czech Republic. Her institutional affiliation includes office K/314 at Veveří 470/28, Brno, with correspondence address at Arna Nováka 1/1, 602 00 Brno. She actively participates in academic governance as a member of the Arts Commission and serves on Program Boards for multiple degree programs including Art History (bachelor's and master's degrees) and Visual Cultures and Art History. Rusinko's research spans diverse areas within art history with particular emphasis on Central European visual culture, Moravian art history, and the movement of artistic artifacts across cultural and temporal boundaries. Her work demonstrates strong interest in how art historical knowledge is transmitted, the social and environmental contexts of visual production from 1500-2000, and the international dimensions of Czech art, particularly during the interwar period in Paris. She employs interdisciplinary approaches that connect art history with cultural studies, environmental history, and knowledge transfer theory. Analysis of Rusinko's recent publications reveals a consistent focus on cultural transfer and regional art histories, with increasing attention to methodological questions about art historical knowledge production. Her work bridges traditional art historical approaches with contemporary theoretical frameworks, particularly examining how artworks move across borders and how meaning transforms through these journeys. The geographic focus centers on Central Europe, especially Moravia and Bohemia, while maintaining strong connections to broader European contexts. Rusinko actively supervises research projects and contributes to academic administration through her service on program boards. Her current research portfolio includes projects funded by Masaryk University's internal grant schemes, the Czech Science Foundation, and university programs supporting excellent study programs and student research initiatives. While specific laboratory facilities aren't mentioned, her work appears to involve collaborative research teams focused on art historical documentation, analysis of visual culture, and historical studies of artistic production in Central Europe.

• Natural Language Processing
• Computational Linguistics
• Syntax Analysis
• +۴ مورد دیگر

Vojtěch Kovář is a researcher at Masaryk University with dual appointments at the Institute of the Czech Language (Faculty of Arts) and the Center for Natural Language Processing (Faculty of Informatics). He has been affiliated with the university since 2006, holding positions as researcher and lecturer while also working as a software analyst at Lexical Computing CZ since 2012. His research focuses on automatic syntactic analysis of natural languages , particularly Czech and related languages, evaluation of syntactic analysis quality , integration of syntactic tools into downstream applications , and corpus linguistics . His work bridges theoretical linguistics with practical language technology applications. Recent publications reveal a strong trend toward dictionary creation methodologies , lexicographic infrastructure development , and corpus-based language resource compilation . His research increasingly addresses rapid dictionary development for both European and Asian languages, as well as bilingual resource creation in response to emerging language needs. PACLIC 2010 best student paper award Member of eLex conference program committee (2017-present) Kovář supervises bachelor's and master's theses at both the Faculty of Arts and Faculty of Informatics, with recent topics including semi-automatic dictionary creation, web-based proofreading systems, and automatic punctuation correction. He teaches multiple courses including Fundamentals of Mathematics and Statistics for Humanities, Algorithmic Description of Syntax, and Programming Basics for Humanities. His research is supported by projects including LINDAT/CLARIAH-CZ (Digital Research Infrastructure for Language Technologies) and the Web-based spelling, grammar and typographical corrector for Czech language initiative.

• Non-standard numeration systems
• Combinatorics on words
• Aperiodic tilings
• +۳ مورد دیگر

Prof. Zuzana Masáková is a full professor at the Department of Mathematics and Doppler Institute for Mathematical Physics and Applied Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University. Her work bridges non-standard numeration systems, combinatorics on words, aperiodic tilings, and mathematical models of quasicrystals. PhD in Mathematical Engineering (2000), Habilitation in Applied Mathematics (2006), Full Professor (2016) Her research focuses on: Non-standard numeration systems (negative/irrational bases, beta-expansions) Combinatorics on infinite words (palindromes, substitutions, Sturmian sequences) Quasicrystals and aperiodic structures via cut-and-project methods Arithmetic in quasicrystal models and algebraic properties Her recent publications explore self-similarities of quasicrystals, redundancy in Fibonacci-like systems, and antipalindromic morphisms. Notable awards include the Rector's Prize (2004) and NATO Postdoctoral Fellowship (2001). She coordinates grants on numeration systems and aperiodic dynamics, while serving on editorial boards and doctoral school committees. Grants : GA ČR 13-03538S (2013-2017), GA ČR 201/09/0584 (2009-2012) Teaching : Number theory, discrete mathematics, aperiodic structures Membership : Theoretical Informatics Group (TIGR), Editorial boards of Acta Polytechnica and Journal of Discrete Mathematics

Pavel Parízekمشاهده پروفایل

دانشیار

• Program Analysis
• Software Verification
• Concurrency Bugs
• +۳ مورد دیگر

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.

• Static Analysis of Programs
• Formal Verification
• Concurrency
• +۱۲ مورد دیگر

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.