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.
Jiří Žára is a Professor at the Czech Technical University in Prague, currently serving as Head of the Department of Computer Graphics and Interaction within the Faculty of Electrical Engineering. With a career spanning over four decades at the institution, he has held roles from PhD student (1982-1986) through Assistant Professor (1986-1997), Associate Professor (1997-2007), to Full Professor status since 2007. Department Head: 2008-present Computer Graphics Group Leader: 2002-2008 Supervisor: Computer Graphics Laboratory His research focuses on Virtual Reality , 3D Modeling , and Computational Geometry , with particular emphasis on VR educational applications, historical city visualization, and geometric algorithms. He has contributed significantly to VRML standards and interactive visualization techniques. Key research trends evident in his 96+ publications include real-time deformation techniques for 3D models, adaptive caching systems in rendering, and automated colorization algorithms for historical cartoons. His work demonstrates strong interdisciplinary connections between computer graphics , cultural heritage preservation , and educational technology . As academic supervisor, he has guided numerous students including: Ondřej Pluhař (Interactive Tokamak Golem Model, 2011) Daniel Šrám (Virtual Gallery in St. Peter & Paul Church, 2010) Jan Zimandl (Castle Park VRML Tour, 2009) He leads multiple EU-funded projects including: ARiSE (Augmented Reality in School Environments) VHCE (Virtual Heart of Central Europe for cultural heritage) V3C (Visual Computing Competence Center) RCI (Research Center for Informatics)
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.
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ý 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.
Marcel Jiřina is currently serving as Dean of the Faculty of Information Technology at Czech Technical University in Prague (CTU). He holds the academic rank of Associate Professor and is affiliated with the Department of Applied Mathematics. His administrative roles include heading the Vice-Deans's Office, membership in the Faculty Management, and multiple positions in the Scientific Councils of CTU and its faculties. He is also a Board Member at CTU and the Faculty of Transportation Sciences. Jiřina's professional activities span academic leadership, scientific governance, and contributions to applied mathematics and information technology fields. His academic credentials include titles of RNDr. (Rerum Naturalium Doctor), Ing. (Engineer), and Ph.D. His work focuses on computational methods and data-driven technologies, reflecting the interdisciplinary nature of his department. Despite no explicitly listed research awards or publications in the provided data, his leadership roles suggest significant contributions to academic administration and technological research.
Assoc. Prof. Jiří Vojtěšek, Ph.D. is an Associate Professor at the Institute of Process Management , Faculty of Applied Informatics, Tomas Bata University in Zlín. He serves as Dean of the Faculty since 2022 and held roles including Vice-Dean for Bachelor's and Master's Studies (2014-2022) and Assistant Professor (2007-2015). His work bridges automation, control systems, and applied informatics. Education : Habilitation in Machine and Process Control (2015), Ph.D. in Applied Informatics (2002-2007), Bc. in Automation and Control Technology (1997-2002). International Experience : 1-week teaching stays at Université D'Angers (France), University of Minho (Portugal), Universita di Cagliari (Italy), and others across Europe via Socrates/Erasmus. Research collaboration with Politecnico di Milano (Italy) and University of Applied Science Cologne (Germany). Academic Leadership : Chair of the Scholarship Committee, member of the Dean's College, and organizer of study programs like Engineering Informatics.
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.
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.
Assoc. Prof. Radek Šilhavý, Ph.D., 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 he has held academic positions since 2001, progressing from Assistant to Assistant Professor before attaining his current rank in 2019. His academic credentials include: 2019: Habilitation in Systems Engineering and Informatics, Mendel University in Brno, Faculty of Business Administration 2006-2009: Doctoral degree in Engineering Informatics, Tomas Bata University in Zlín, Faculty of Applied Informatics 2001-2006: Engineering Informatics studies, Tomas Bata University in Zlín, Faculty of Applied Informatics (Faculty of Technology) Šilhavý's research centers on empirical software engineering methodologies , with specialized focus on complexity estimation and development effort prediction for software project planning. His work integrates machine learning techniques to optimize resource allocation in software engineering contexts, while his teaching encompasses software engineering principles and software systems analysis frameworks. He actively contributes to academic discourse through editorial leadership as Volume Editor for Springer's Advances in Intelligent Systems and Computing and Editor for De Gruyter's Open Computer Science , complemented by rigorous peer review for journals including Nature Scientific Reports and Neurocomputing . As Secretary of his Institute and doctoral supervisor in Engineering Informatics, he directs academic operations while mentoring next-generation researchers through the Computational Methods in Systems and Software Conference series he co-chairs.
Tomáš Dulík 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, Czech Republic. He has maintained this academic position since 2012, following a progressive career path within the same institution. His educational qualifications include a Ph.D. in Technical Cybernetics (2005-2012) and a Master's degree (Ing.) in Informatics and Computer Science (1993-1998) from Brno University of Technology. Dr. Dulík's research expertise encompasses: Technical Cybernetics Artificial Intelligence systems Computer Science fundamentals Software and Hardware development His career at Tomas Bata University began in 2001 with civil service, progressing through assistant positions before attaining his current professorship. He maintains regular consultation hours on Wednesdays from 10:00-12:00 in office U5/A508 and can be contacted via email dulik@utb.cz or phone +420 576 035 187.
Petr Chalupa is a researcher at Tomas Bata University in Zlín, affiliated with the Center for Security, Information and Advanced Technologies (CEBIA-Tech) since 2012. He previously worked at the Center for Applied Cybernetics (2005–2011) and has held diverse roles including wireless communication system developer, civil service, and lecturer. Education: Ph.D. in Technical Cybernetics (2003), Master's in Technology (1999), C programming instructor (1997–2002). Research focuses on automation, control engineering, polymer systems, and IT security. International experience: Lecturer at Ruhr-Universität Bochum (2005) and University of Strathclyde (2005). Contact: Email chalupa@utb.cz | Phone +420 576 035 316 | Office U51/316
Hana Charvátová is a Researcher at Tomas Bata University in Zlín, Faculty of Applied Informatics, Institute of Automation and Control Engineering, and member of the Regional Research Center CEBIA-Tech since 2007. Education: Master's degree in Chemistry and Technology of Materials (Environmental Technology) from Tomas Bata University in Zlín, Faculty of Technology (1999-2004) PhD in Chemistry and Technology of Materials (Technology of Macromolecular Substances) from Tomas Bata University in Zlín, Faculty of Technology (2004-2007) Research Interests: Her work focuses on polymer processing modeling, recycling technologies, thermal stability simulation for buildings, and computational thermography. She integrates materials science with environmental engineering and computational visualization, emphasizing sustainable polymer applications and energy-efficient building diagnostics through advanced simulation techniques. Scientific Awards: No scientific awards were mentioned in the source material. Advising and Grants: Dr. Charvátová participated in Research Program 3 and the Regional Research Center CEBIA-Tech. Her prior work included the MSM 7088352102 project on polymer processing control (2005-2007). No student advising or specific grant awards were documented. Labs and Teams: She operates within the Institute of Automation and Control Engineering and contributes to the Regional Research Center CEBIA-Tech, focusing on interdisciplinary engineering research.
Ing. Lukáš Králík, Ph.D. is an Assistant Professor at the Faculty of Applied Informatics of Tomas Bata University in Zlín . He works within the Institute of Computer and Communication Systems , focusing on cybersecurity and safety engineering. Education: Bc. in Engineering Informatics (2006-2010) Ing. in Engineering Informatics (2010-2012) Ph.D. in Engineering Informatics (2012-2021) His research interests include security technology systems, network security, and data privacy, informed by his academic background and professional affiliations. He actively participates in the cybersecurity community, serving on committees for international conferences like SECURWARE and the Cybersecurity conference . Professional Affiliations: Member of the European Security Association (EAS) Technical committee member, SECURWARE conference Organizing committee member, Cybersecurity conference Contact: kralik@utb.cz | Office: U51/708 | Phone: +420 576 035 272
Assoc. Prof. Michal Pluháček, Ph.D. is a Senior Researcher and Associate Professor at Tomas Bata University in Zlín , affiliated with the Faculty of Applied Informatics. His academic career focuses on interdisciplinary research bridging engineering and informatics. Education: Ph.D. in Engineering Informatics (2011–2016), Tomas Bata University in Zlín Ing. in Information Technology (2009–2011), Tomas Bata University in Zlín Bc. in Information Technology (2005–2009), Tomas Bata University in Zlín His research interests span Computer Science , Information Technology , and Engineering Informatics , with a focus on practical applications in technology and computation. He is reachable via email at pluhacek@utb.cz and office U51/318, with consultation hours on Mondays (11:00–14:00).
