جست‌وجوی استاد و پژوهشگر

• enumerative combinatorics
• extremal combinatorics
• number theory
• +۳ مورد دیگر

Martin Klazar is an Associate Professor at the Department of Applied Mathematics, Faculty of Mathematics and Physics, Charles University. He has been affiliated with the university since 1995, initially as an assistant professor before becoming an associate professor in 2004. Since 2000, he has also worked at the Institute for Theoretical Computer Science (ITI). His education includes a Ph.D. (1995) under Jiří Nesetril at Charles University, following undergraduate studies at the same institution (1984–1989). Klazar's research spans multiple areas of discrete mathematics, with primary interests in enumerative and extremal combinatorics, number theory, power series, generating functions, and elementary mathematical analysis. His work frequently bridges combinatorial methods with analytic techniques, particularly in asymptotic enumeration and extremal problems. His publications demonstrate a strong focus on combinatorial structures (permutations, set partitions, matchings), graph theory algorithms, and combinatorial number theory. Recent trends include applications of combinatorial duality, growth rate classification of discrete structures, and interdisciplinary topics linking physics-inspired models (e.g., Potts model) with graph invariants. Honors include the Alexander von Humboldt Stiftung fellowship (1997/98) and a prize from the Rector of Charles University for co-editing the book Topics in Discrete Mathematics . He has supervised Ph.D. students including Vít Jelínek and Jaroslav Hančl. Klazar contributes to the ITI research group, focusing on theoretical computer science and combinatorial mathematics. His current teaching includes courses in mathematical analysis, combinatorial counting, and number theory.

• Theoretical Computer Science
• Mathematical Logic

Roman Barták is a Professor at the Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University. His research focuses on theoretical computer science and mathematical logic, reflecting the disciplinary scope of his department. Contact: Email: bartak@ktiml.mff.cuni.cz

• Online Algorithms
• Approximation Algorithms
• Scheduling
• +۹ مورد دیگر

Jiří Sgall is currently a Professor and Vice-Dean for Computer Science at the Computer Science Institute of Charles University, Faculty of Mathematics and Physics. He previously held affiliations with the Department of Applied Mathematics (until 2011) and the Institute of Mathematics of the Czech Academy of Sciences (until 2016). Research Interests: Online and approximation algorithms, scheduling, computational complexity, combinatorics, communication complexity, propositional proof systems, circuit complexity, combinatorial games, cryptography, DNA computations, and alternative set theory. Scientific Contributions: His work spans competitive analysis of online scheduling, approximation algorithms, and complexity theory. Notable contributions include analyses of bin packing, packet scheduling, and multi-level aggregation algorithms. Editorial and Conference Roles: Associate Editor for multiple journals (Information and Computation, Operations Research Letters, Discrete Optimization) and chair/program committee member for conferences like ICALP, MFCS, and MAPSP. Grants and Leadership: Served as panel chair for the Czech Science Foundation (2009-2011) and council member of the EATCS (2001-2009, 2017 onwards). Contact Information: Email - sgall@iuuk.mff.cuni.cz; Office - Malostranské nám. 25, Prague 1, Czech Republic.

Mirko Rokytaمشاهده پروفایل

دانشیار

• Mathematical Analysis
• Partial Differential Equations
• Numerical Methods
• +۳ مورد دیگر

Doc. RNDr. Mirko Rokyta, CSc. is the Dean of the Faculty of Mathematics and Physics (MFF UK) at Charles University, serving since 2020. He holds the academic rank of Associate Professor in the Department of Mathematical Analysis (KMA). His academic career includes roles as Vice-Dean for Mathematics, Head of KMA, and various leadership positions within MFF UK. Rokyta earned his RNDr. (M.Sc.), CSc. (Ph.D.), and docent (Associate Professor) degrees from MFF UK. His research focuses on mathematical analysis, numerical methods for partial differential equations, and finite volume schemes. As Dean, he prioritizes faculty development, internationalization, and efficient administration while maintaining academic excellence. His work includes contributions to computational fluid dynamics and error analysis in numerical methods. Education: RNDr. (M.Sc.) in Mathematics, 1985 CSc. (Ph.D.) in Mathematics, 1992 Docent (Associate Professor), 2000 Administrative Roles: Dean of MFF UK (2020–2028) Vice-Dean for Mathematics (2012–2020) Head of KMA (2002–2010) Research interests span theoretical and numerical analysis, with emphasis on fluid dynamics and conservation laws. Recent publications address finite volume schemes, convergence proofs, and error estimates. Rokyta actively promotes international collaboration and modernizes faculty operations through digitization and infrastructure improvements.

Antonin Kuceraمشاهده پروفایل

استاد

• Stochastic Processes
• Probabilistic Systems
• Markov Decision Processes
• +۸ مورد دیگر

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.

• Mathematical Logic
• Proof Complexity
• Algebra
• +۲ مورد دیگر

Prof. Jan Krajíček is a Professor at the Department of Algebra, Faculty of Mathematics and Physics, Charles University. His contact information includes a phone number (+420 95155 3239) and email (jan.krajicek@matfyz.cuni.cz). His homepage is accessible at http://www.karlin.mff.cuni.cz/~krajicek . He is based in room K 329 at the 3rd floor of the Karlín building (Sokolovská 49/83, Prague 8). His research interests likely focus on areas such as mathematical logic, proof complexity, algebraic structures, and theoretical computer science, as inferred from his departmental affiliation. He has supervised theses but no specific student names are listed. No scientific awards or grants are explicitly mentioned in the provided information.

• Algebra
• Mathematics
• Theoretical Computer Science

Faruk Göloglu is a researcher at the Department of Algebra, Faculty of Mathematics and Physics, Charles University. He holds a Dr. rer. nat. (Doctor of Natural Sciences) and is affiliated with the Karlín campus (Sokolovská 49/83, Praha 8). His office is located in room K 331 (4015) on the 3rd floor. He maintains an active role in teaching and academic supervision, as evidenced by his teaching schedule and records of supervised theses. His work focuses on algebraic structures and their applications, though specific research interests are not explicitly detailed in the provided text.

• Theoretical Computer Science
• Formal Methods
• Program Verification
• +۴ مورد دیگر

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

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.

Petr Hliněnýمشاهده پروفایل

استاد

• Graph Theory
• Discrete Mathematics
• Theoretical Computer Science
• +۱۳ مورد دیگر

Petr Hliněný is a Professor at the Faculty of Informatics, Masaryk University in Brno, Czech Republic, where he also serves as the Vice-dean for research, development, and doctoral studies. He is affiliated with the Department of Computer Science and leads the Discrete Methods and Algorithms (DIMEA) research group. His research interests span Graph Theory , Discrete Mathematics , Theoretical Computer Science , with a focus on structural and topological graph theory, parameterized complexity, logic in computer science, twin-width, crossing numbers, and discrete geometry. His recent work includes structural results on planar graphs, visibility graphs, and logical aspects of graph classes. His recent publications exhibit a strong trend in analyzing structural width parameters such as twin-width and clique-width, their logical transductions, and algorithmic implications. He has published extensively on planar graphs, crossing numbers, and geometric graphs, often in top venues like European Journal of Combinatorics , Journal of Combinatorial Theory , and LIPIcs conference proceedings. Professor, Faculty of Informatics, Masaryk University Vice-dean for Research, Development and Doctoral Studies Head of DIMEA Research Group Guarantor of Doctoral Study Programme in Computer Science He actively supervises PhD and master’s students, including current doctoral candidates Filip Pokrývka, Shubhang Mittal, Jakub Balabán, and Jan Jedelský. He has led multiple research grants funded by the Czech Science Foundation (GAČR), including project 20-04567S on tractable instances of hard graph algorithmic problems. He also organizes seminars such as IV119 and IV131, and offers thesis topics in discrete mathematical methods.

Roman Jašekمشاهده پروفایل

استاد

• Cybersecurity
• Artificial Intelligence
• Systems Engineering
• +۵ مورد دیگر

Prof. Roman Jašek is a Professor and Director of the Institute of Informatics and Artificial Intelligence at the Faculty of Applied Informatics, Tomas Bata University in Zlín. He holds dual professorial titles - Professor in Systems Engineering and Informatics (Czech Republic) and Professor of Technical Sciences (Polish Republic). His educational background includes: 2017: Professor of Technical Sciences, Ministry of Science and Higher Education, Warsaw, Poland 2016: Professor in Systems Engineering and Informatics, University of Hradec Králové, Faculty of Informatics and Management 2006: Associate Professor in Business Management and Economics, Tomas Bata University in Zlín, Faculty of Management and Economics 2000: Ph.D. in Educational Technologies, Charles University in Prague, Faculty of Education 1993: Mgr. in Computer Science, Palacký University Olomouc, Faculty of Science 1988: Mgr. in Mathematics - Technical Foundations, Palacký University Olomouc, Faculty of Education Prof. Jašek's research focuses on cybersecurity, artificial intelligence, and systems engineering. His work spans theoretical and applied research with strong industry connections. He leads four specialized laboratories: Penetration Testing and Applied Cryptography Laboratory (PTLAB) Artificial Intelligence Laboratory (AILAB) Advanced Embedded Systems Laboratory (EMLAB) Brain-Machine Interface Laboratory (BMLAB) His research has resulted in international patent applications including 'System for Verification of Identity and Licenses for Working with Highly Sensitive Data' and 'System for Control of Industrial Processes.' His work bridges theoretical research with practical applications in cybersecurity and artificial intelligence, with particular emphasis on industrial blockchain implementation and brain-computer interface applications in medicine. Among his notable recognitions are: FINALISTA – Manažer roku 2022 (Manager of the Year 2022 Finalist) Gold Winner in the 17th Horizon Interactive Awards (2018) Medal of the Polish Navy for contribution to integrated security management systems Microsoft General Director Recognition for contributions to information technologies Prof. Jašek has supervised 15 doctoral students to completion of their Ph.D. degrees, guided over 175 students to the Ing. title, and mentored 12 top managers to the DBA (Doctor of Business Administration) degree. He regularly participates in international collaborations through Erasmus programs at universities worldwide including institutions in Japan, USA, Israel, Greece, Portugal, Spain, Poland, and Cyprus.

• Database Systems
• Business Intelligence
• Software Engineering
• +۴ مورد دیگر

Assoc. Prof. Zdenka Prokopová serves as Associate Professor at the Institute of Computer and Communication Systems within the Faculty of Applied Informatics at Tomas Bata University in Zlín, where she has held continuous academic appointments since 2001 following prior positions at Brno University of Technology and Slovak Technical University. Her academic credentials include: 2008-present: Habilitation in Machine and Process Control, Tomas Bata University 1990-1994: Doctoral studies in Technical Cybernetics, Slovak Technical University 1983-1988: Ing. in Automated Control Systems, Slovak Technical University 1979-1983: Secondary education at Gymnasium Šafárikovo Her research spans contemporary database architecture and business intelligence systems alongside software project complexity estimation, building upon earlier foundational work in industrial control systems involving dynamic modeling and algorithm development for chemical production environments. This dual expertise bridges theoretical computer science with practical engineering applications. She maintains active institutional engagement through membership on the Faculty Disciplinary Committee, Study Programs Council, and Doctoral Program Council for Engineering Informatics while conducting regular student consultations on Wednesdays. Her international research profile includes significant collaborations with French institutions (CNRS Toulouse, Nancy) and the University of Birmingham through EU programs like INCO Copernicus and TEMPUS.

Radek Valaمشاهده پروفایل

استادیار

• Web Information Systems
• Mobile Technology
• Cybersecurity
• +۳ مورد دیگر

Radek Vala serves as an Assistant Professor at the Institute of Informatics and Artificial Intelligence within the Faculty of Applied Informatics at Tomas Bata University in Zlín. His academic career spans over a decade at the institution, progressing from assistant to his current position since 2015. His educational background includes a Doctoral degree (2009-2015), Master's degree (2007-2009), and Bachelor's degree (2004-2007) in Engineering Informatics from Tomas Bata University, preceded by secondary education at Gymnasium in Bruntál. Vala's research focuses on web information systems development , mobile technology , and cybersecurity , with significant contributions to Industry 4.0 applications and modern development frameworks. His work bridges theoretical research with practical implementation through numerous industry collaborations. His publication portfolio demonstrates expertise across evolutionary algorithms , wavelet transforms , and security systems , showing consistent focus on optimization techniques and cybersecurity applications from 2011-2014. Gold Winner in Horizon Interactive Awards (School and University Websites category) 2nd place in Czech Golden Semicolon competition (Best Websites and Online Applications) As principal investigator for Ministry of Industry and Trade Innovation Voucher projects, Vala has led development of information systems for Industry 4.0 monitoring, order management, and CRM applications. He previously served as Head of Web Development for utb.cz (2017-2018), where he mentored over 50 students to completion of their Ing. degrees. Vala remains actively involved in the Penetration Testing Laboratory and Mobile Technology Testing Laboratory (PTLab) since 2015, contributing to practical security testing and mobile technology research.

• Condensed Matter Theory
• Machine Learning in Physics
• Nanophysics
• +۳ مورد دیگر

Martin Žonda is a Researcher at the Department of Condensed Matter Physics, Faculty of Mathematics and Physics, Charles University in Prague, holding this position since January 2021. His academic career includes postdoctoral fellowships at the University of Freiburg (2018-2020) and Charles University (2011-2017), alongside research at the Institute of Experimental Physics, Slovak Academy of Sciences (2010-2011). His educational background comprises: Ph.D. in General and Mathematical Physics (2006-2010) from Pavel Jozef Šafárik University and the Institute of Experimental Physics, Slovak Academy of Sciences, dissertation: Theoretical study of spin and charge ordering in strongly correlated systems Master's (Mgr.) and Bachelor's (Bc.) in Physics (2001-2006) from Pavol Jozef Šafárik University, diploma thesis: Phase transitions in strongly correlated systems Secondary education in Geodesy, Cartography and Real Estate Cadastre (1997-2001) from Secondary Technical School, Spišská Nová Ves Žonda's research specializes in condensed matter theory across scales from nanoscopic devices to crystalline materials, examining both equilibrium and non-equilibrium properties. He pioneers applications of machine learning in physics, reflected in his teaching of Machine Learning and Optimization in Physics (2022-present) and Machine Learning in Physics Seminars (2023-present) at Charles University, alongside Thermodynamics and Statistical Physics courses since 2021. His work bridges theoretical physics with computational innovation. He actively supervises bachelor's and diploma theses at Charles University's Faculty of Mathematics and Physics and extends mentorship to the Faculty of Social Sciences, fostering interdisciplinary research at the physics-data science interface.

• Translation Studies
• Literary Translation
• Translator Style
• +۶ مورد دیگر

Renata Kamenická, Ph.D. , born January 5, 1970 in Brno, is an active Assistant Professor at the Department of English and American Studies, Faculty of Arts, Masaryk University. She has held this position continuously since November 2005, following an earlier appointment from 1996-1999 (with maternity leave from 1999-2005). Her academic home is firmly established at Masaryk University where she contributes to both teaching and research missions. Dr. Kamenická earned her Ph.D. in translation studies from Charles University in Prague (2007), an M.A. in English Language and Literature from Masaryk University (1996), and an Mgr. in teaching mathematics and physics from Masaryk University's Faculty of Science (1993). Her academic journey reflects a strong foundation in both linguistic studies and pedagogical training. Her research centers on translation theory with particular focus on explicitation and implicitation phenomena in literary translation, translator style, and cultural conceptualizations across languages. She has developed significant expertise in contrastive English-Czech analysis, investigating how linguistic structures and cultural concepts transfer between these languages. Her work bridges theoretical translation studies with practical applications in translation pedagogy, examining how translation universals manifest in both professional and student work. Recent research extends into digital translation environments, exploring the implications of machine translation and post-editing in contemporary translation practice. Analysis of her 15 most recent publications (2014-2024) reveals a consistent trajectory from traditional literary translation studies toward more technologically engaged research. While maintaining her core interest in translator behavior and stylistic choices, she has increasingly addressed machine translation outputs, post-editing practices, and the cognitive dimensions of translation in digital environments. Her work demonstrates sophisticated methodology combining corpus analysis, contrastive linguistics, and cognitive approaches to examine both intralingual and interlingual translation phenomena. Dr. Kamenická has served on editorial boards for Brno Studies in English (since 2008) and Philologica Pragensia (since 2008), and has provided peer reviews for the Ostrava Journal of English Philology . Her university activities include leading student subtitling workshops in collaboration with Cinema Mundi festival and supervising student translations for anthologies. Her teaching portfolio is extensive, including a two-semester Translation Theory course, Text and Discourse Analysis for Master's students in Translation Studies, literary translation courses focusing on style, and specialized workshops on poetry translation, subtitling, and translation universals. She has also presented internationally, including at the University of Eastern Finland (2010) and provided training for translators at the European Commission's Translation Directorate-General in Luxembourg (2010, 2011).