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

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.

Iva Holmerováمشاهده پروفایل

دانشیار

• Health and social care interface
• Dementia
• Depression
• +۴ مورد دیگر

Iva Holmerová is an Associate Professor at the Department of Psychology and Life Sciences within the Faculty of Humanities at Charles University, Prague. She also serves as Vice-Dean for International Affairs at the same faculty and as Visiting Professor at the Dementia Practice and Policy Centre, University of the West of Scotland. Her academic and medical career spans roles as founding Director of the Centre of Gerontology Praha 8 and head of the Centre of Expertise in Longevity and Long-term Care (CELLO). Associate Professor, Social Anthropology (2009–present) PhD in Social Gerontology (2002) MD in General Medicine (1981) Her research focuses at the intersection of geriatric medicine and social sciences, emphasizing dementia care, long-term care systems, and ethical frameworks. She has pioneered practical models for comprehensive elder care and explored sociocultural dimensions of aging. Recent publications highlight trends in dementia care , long-term care quality , and technology integration for aging populations. Her work bridges clinical practice with policy analysis, particularly in Central and Eastern Europe. President, Czech Society of Gerontology and Geriatrics (2015–present) Vice-chair, Alzheimer Europe (2010–present) Board Member, INTERDEM network (2012–present) Holmerová has led major initiatives in gerontological education, including the Prague Days of Gerontology and geriatric training programs. Her career combines clinical practice, academic leadership, and policy advocacy.

Petr Navrátilمشاهده پروفایل

استادیار

• Control Systems
• Adaptive Control
• Recursive Estimation
• +۳ مورد دیگر

Institute of Process Management, Faculty of Applied Informatics at Tomas Bata University in Zlín. Petr Navrátil, Ph.D., is an Assistant Professor whose work bridges theoretical and applied control systems research. He holds a Ph.D. from Tomas Bata University in Zlín (2007) and an M.Sc. from Brno University of Technology (2001). A three-month internship at the University of Applied Science Cologne (2003) enriched his expertise in process engineering and control systems. Petr's research spans adaptive control , recursive identification , Delta model , and MIMO systems . His publications (2003-2016) focus on real-time control of laboratory models, optosensor applications, and environmental factors in measurement accuracy. Collaborations with colleagues like Vladimir Bobál and Ján Ivanka highlight his team-based approach to solving complex control problems, including TITO and three-tank systems. His work with MATLAB/Simulink libraries for recursive algorithms and applications in commercial security (light/laser protection systems) underscores his commitment to practical, industry-relevant solutions. The Institute of Process Control at Tomas Bata University serves as his primary research environment, where he develops tools and frameworks for both educational and industrial applications.

• Augmented Reality
• Robotics
• Computer Vision
• +۳ مورد دیگر

Vítězslav Beran is an Associate Professor at the Department of Computer Graphics and Multimedia (DCGM) within Brno University of Technology . His research focuses on Augmented Reality , Robotics , and Computer Vision . Role: Vice-dean for Marketing and External Relations Contact: beranv@fit.vut.cz, vicedean-foreign@fit.vut.cz Research interests include: Augmented Reality Applications Human-robot Interaction Image and Video Processing 3D User Interfaces His recent publications (2019-2024) explore: End-User Robot Programming Reachability Solutions in Industrial AR Drone Control Systems 3D Interaction Techniques Projects span both academic research and practical applications in: Embedded Systems Computer Vision Algorithms Collaborative Workspace Design Patents include: 2015: Multifunctional Camera System 2012: Data Distribution Method Teaching activities: Image Processing Computer Graphics User Interface Programming Advanced Computer Vision

Erik Dernerمشاهده پروفایل

پژوهشگر

• Human-Centric Artificial Intelligence
• Large Language Models
• Robotics
• +۶ مورد دیگر

Erik Derner is an ELLIS Postdoctoral Researcher at the ELLIS Unit Alicante, focusing on human-centric AI and ethical LLMs. He collaborates with Prof. Robert Babuška's Machine Learning team at the Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) and contributes to the VIVES project under the PERTE of New Language Economy. His work addresses biases in LLMs, AI safety, and security, while also exploring symbolic regression for robotics and reinforcement learning. Education: Ph.D. in Robotics and Machine Learning (2022) from Czech Technical University in Prague, with B.Sc. and M.Sc. in Open Informatics. Erik's research spans human-centric AI , large language models , robotics , computer vision , and reinforcement learning . He emphasizes ethical and secure AI development, particularly for underrepresented languages. His work integrates symbolic regression with neural networks to create interpretable and efficient models for robotics. Recent publications highlight his focus on LLM security , gender bias analysis , and symbolic regression for dynamic systems. Notable trends include ethical AI, multimodal red-teaming, and physics-informed modeling. Scientific Awards: Werner von Siemens Award (2023) for his Ph.D. thesis. CTU FEE Dean's Award (2023) for a prestigious dissertation. Erik supervises student projects in robotics, AI ethics, and LLM security, including internships and theses on topics like mental health risks, toxicity evaluation, and real-time assistance for the visually impaired.

• Image Restoration
• Blind Deconvolution
• Superresolution
• +۵ مورد دیگر

Assoc. Prof. Filip Šroubek, Ph.D., DSc. is a Professor of Applied Mathematics at the Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University , and an Associate Professor at the Faculty of Mathematics and Physics, Charles University . He serves as Deputy Head of the Department of Image Processing at the Czech Academy of Sciences. His career spans postdoctoral research at Instituto de Optica (CSIC, Madrid) and a Fulbright scholarship at University of California, Santa Cruz . Education: M.Sc. in Computer Science, Czech Technical University (1998) Ph.D. in Computer Science, Charles University (2003) D.Sc. (Habilitation), Czech Academy of Sciences (2014) Research Interests: Šroubek specializes in image restoration , blind deconvolution , and superresolution , with applications in biomedical imaging, forensic analysis, and mobile device optimization. His work on multi-object tracking and blur-invariant algorithms bridges theoretical and applied computer vision. Publication Trends: His recent articles focus on neural networks for image processing (2025), biomedical imaging (2024), and dynamic object tracking (2021-2023). Collaborations span neuroscience , materials science , and forensic engineering . Scientific Awards: Fulbright Visiting Scholarship (2010/2011) Honorable Mention at GCPR (2019) Outstanding Contribution Award (2013) Advising & Grants: Supervised projects include PIZZARO (forensic image analysis), 4D-STEM/PNBD (electron diffraction), and SONO (ultrasound technology). Grants emphasize interdisciplinary applications of image processing in medicine and engineering. Labs & Teams: Affiliated with the Department of Image Processing (UTIA, Czech Academy of Sciences) , he collaborates with teams in biomedical imaging, quantum dot characterization, and mobile technology optimization.

Aleš Mizeraمشاهده پروفایل

دانشیار

• Robotic systems
• Industry 4.0
• Polymer recycling
• +۳ مورد دیگر

Assoc. Prof. Aleš Mizera, Ph.D. is a Senior Researcher at Tomas Bata University in Zlin, affiliated with the Faculty of Applied Informatics and the Regional Research Center CEBIA-Tech. His academic and professional career spans education, research, and industry collaboration. Education: Ph.D. in Tools and Processes (2015), Master's in Technological Equipment Construction (2011), both from Tomas Bata University. Internships: Technical University of Tallinn (2015, Polymer Materials Department), Robert Bosch Ltd. (2013, Czech Budejovice). Research Interests: Aleš focuses on robotic systems , Industry 4.0 , and polymer processing . His work includes studying thermoplastic polymer temperature stability, mechanical testing, and thermoplastic injection molding techniques. He applies computer planning methods to analyze technical parameters and polymer physics. Employment: Since 2013, he has served as a Junior Researcher at Tomas Bata University, advancing research and development projects in collaboration with industry partners. Professional Affiliation: Member of the Czech Association of Industrial Chemistry, Rubber Division Zlin (since 2014).

• Artificial Intelligence
• Multi-Agent Path Finding
• Robotics
• +۴ مورد دیگر

Jiří Švancara is a Lecturer at the Department of Theoretical Computer Science and Mathematical Logic (KTIML) within the Faculty of Mathematics and Physics at Charles University in Prague. His academic career focuses on Artificial Intelligence, particularly Multi-Agent Path Finding (MAPF), where he has established himself as a prominent researcher with numerous publications in top-tier conferences. His research interests span across Multi-Agent Path Finding , Robotics , Algorithm Design , and Constraint Satisfaction Problems . Švancara has made significant contributions to the field of MAPF, developing novel approaches for large-scale maps, temporal uncertainty handling, and efficient solving methods. His work bridges theoretical foundations with practical applications in robotics and transportation systems. Analysis of his recent publications reveals a strong focus on improving the scalability and robustness of MAPF algorithms. His research explores graph pruning techniques for large maps, handling temporal uncertainty in path execution, and comparing different objective functions for optimization. He has also investigated applications of MAPF in autonomous intersections and train routing systems, demonstrating the practical relevance of his theoretical work. Best Paper Award for 'Multi-agent Path Finding on Real Robots: First Experience with Ozobots' at IBERAMIA 2018 Švancara actively teaches multiple courses including Introduction to Artificial Intelligence, Propositional and Predicate Logic, and Algorithms and Data Structures. His teaching spans both theoretical foundations and practical implementation, with students engaging in programming assignments that reflect current AI challenges. His research collaborations are extensive, with frequent co-authorship with Roman Barták and other researchers in the field, indicating strong integration within the international AI research community. His laboratory work involves practical implementations of MAPF algorithms, including testing on real robots as evidenced by several publications describing experiments with Ozobots and other robotic platforms. This hands-on approach connects theoretical research with tangible robotic applications, providing valuable validation for his algorithmic contributions.

Zdenek Hanzalekمشاهده پروفایل

استاد

• Scheduling Algorithms
• Real-Time Systems
• Robotics
• +۳ مورد دیگر

Zdenek Hanzalek is a professor at the Czech Technical University in Prague, affiliated with the Industrial Informatics Department within the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC). His research focuses on scheduling algorithms, real-time systems, robotics, optimization, embedded systems, and automation. He leads projects such as ROBOPROX and CERTICAR, addressing advanced industrial production and autonomous vehicle certification. Notable contributions include work on periodic scheduling for time-sensitive networks, energy-efficient robotic systems, and trajectory planning for autonomous vehicles. Research Interests : - Development of efficient scheduling algorithms for real-time and embedded systems. - Optimization techniques for manufacturing systems and robotic applications. - Autonomous driving technologies, including trajectory planning and control systems. - Energy consumption reduction in production and robotic processes. - Time-triggered communication protocols and network scheduling. Recent Trends in Articles : Recent publications emphasize integration of machine learning with scheduling, optimization of charging infrastructure for electrified transportation, and robust scheduling under uncertainty. Key areas include reconfigurable manufacturing systems, mixed-criticality scheduling, and pandemic-resilient workforce planning. Awards & Grants : - Best Student Paper Award (ICORES 2023) for work on analog circuit placement. - Best Paper Award (ICORES 2022) for incremental scheduling algorithms. - Multiple Grade 1 Application Results in national evaluations. - Supported by EU, TAČR, and industry grants (e.g., Horizon 2020, ECSEL). Advising & Teams : Supervised over 20 PhD and master’s students in scheduling, robotics, and embedded systems. Collaborates with industry partners like Porsche Engineering, Skoda Auto, and Honeywell. Leads the CERTICAR project for autonomous vehicle certification and the HERCULES project on many-core systems for autonomous driving. Labs & Infrastructure : - Develops tools like TORSCHE scheduling toolbox and autonomous driving demonstrators (e.g., Porsche Panamera Turbo). - Engages in hardware-software co-design for real-time embedded systems.

Vladimír Vašekمشاهده پروفایل

استاد

• Automation
• Control Engineering
• Robotics
• +۲ مورد دیگر

Professor Vladimír Vašek serves as faculty at Tomas Bata University in Zlín within the Institute of Automation and Control Engineering, Faculty of Technology. He maintains active teaching responsibilities with designated consultation hours. His research focuses on core engineering disciplines: Automation Control Engineering Robotics Systems Engineering Industrial Automation Contact details include email (vasek@utb.cz), mobile (+420 606 777 211), office phone (+420 576 035 254), and office location U51/A713. Consultation hours are held Tuesdays 4:00 PM - 5:00 PM.

Peter Jankůمشاهده پروفایل

استادیار

• Artificial Intelligence
• Swarm Intelligence
• Robotics
• +۳ مورد دیگر

Peter Janků serves as an Assistant Professor at the Department of Informatics and Artificial Intelligence within the Faculty of Applied Informatics at Tomas Bata University in Zlín, Czech Republic, a position he has held since 2019 following his appointment as assistant (2015-2019). Educational background: Ph.D. in Information Technology, Tomas Bata University in Zlín (2011-2019) Ing. (Master's) in Information Technology, Tomas Bata University in Zlín (2009-2011) Bc. (Bachelor's) in Information Technology, Tomas Bata University in Zlín (2006-2009) Research Interests: Dr. Janků specializes in Artificial Intelligence with emphasis on Swarm Intelligence and Robotics, evidenced by international collaborations at premier institutions including IRIDIA (Brussels), SwarmLab (NJIT), and Bristol Robotics Laboratory. His work integrates bio-inspired computing methodologies with multi-agent systems development. Scientific Awards: No awards or fellowships were documented in the provided materials. Advising and Grants: The source text contains no references to graduate students supervised or research funding secured. His academic activities focus on teaching and international research exchanges through Erasmus program engagements. Laboratory Affiliations: Active collaborations include IRIDIA (Université Libre de Bruxelles), SwarmLab at NJIT (USA), Bristol Robotics Laboratory (UK), and Japanese institutions including The University of Tokyo during 2019 research internships.

• Sustainable Architecture
• Earthen Construction
• Timber Structural Systems
• +۳ مورد دیگر

Zdeněk Vejpustek serves as Assistant Professor in the Department of Engineering at Brno University of Technology's Faculty of Architecture (FA VUT). His academic profile combines teaching responsibilities in structural engineering with specialized research in sustainable construction methodologies. Active in both Czech and international academic circles, he maintains consistent scholarly output through 2025. His research interests focus on sustainable architectural systems , particularly earthen construction techniques and timber structural rehabilitation. He investigates historical building methods while developing contemporary applications for modern urban challenges, with recent work examining funeral architecture and future city models. His publications reveal strong collaboration patterns, especially with researcher R. Bolcek across multiple projects. Analysis of his 15 most recent publications (2023-2025) shows thematic concentration in three areas: (1) earthen construction science and conservation, (2) sustainable urban development models, and (3) structural analysis of historical timber systems. His work bridges practical engineering concerns with broader architectural theory, particularly in BIOM project research exploring bio-inspired urban futures. Vejpustek actively contributes to academic governance as Member of the Faculty of Architecture Academic Senate. His teaching portfolio includes core engineering courses such as Statics of Building Constructions and specialized topics in building reconstructions, delivered in both Czech and English to support international students. Current research projects include Hlína pro lidi (focusing on community earthen buildings) and studies of endangered historical earth construction techniques, demonstrating commitment to preserving traditional knowledge while advancing sustainable building practices. His laboratory work examines acoustic properties of historical timber systems and thermal behavior of structural joints.

• Digital Art and Culture
• Video Art and New Media
• Robotics in Cultural Context
• +۷ مورد دیگر

Assoc. Prof. Jana Horáková, Ph.D. serves as Deputy Head of the Department of Musicology at the Faculty of Arts, Masaryk University in Brno, Czech Republic. With a distinguished career spanning over two decades, she has established herself as a leading scholar at the intersection of digital culture, video art, and human-machine interaction. Her academic leadership extends to multiple institutional roles including membership on the Academic Senate of Masaryk University, the Editorial Board of the Faculty of Arts, and the Industry Council for Digital Culture and Creative Industries. Prof. Horáková's research explores the cultural implications of robotics and artificial intelligence in artistic contexts, with particular expertise in video art preservation and digital media. Her work examines robots not merely as technological artifacts but as cultural phenomena with rich historical lineages, tracing concepts from Karel Čapek's RUR through contemporary AI systems. She has made significant contributions to understanding how machines and humans co-create cultural meaning in performance and artistic contexts. Her recent scholarly output reveals a growing emphasis on AI's role in analyzing and preserving video art heritage, particularly through her work with the Vasulka Live Archive. Horáková investigates how machine learning can serve as an epistemological tool for understanding artistic creation while addressing the ethical and practical challenges of preserving digital cultural heritage. Her interdisciplinary approach bridges musicology, media studies, and computer science to develop innovative frameworks for understanding digital artistic practices. Prof. Horáková has been actively involved in organizing exhibitions, conferences, and public lectures that explore the intersection of technology and art. Her curatorial work demonstrates a commitment to making complex technological concepts accessible while maintaining scholarly rigor. She frequently collaborates with international institutions and scholars, contributing to the global discourse on digital culture and its implications for artistic practice and cultural preservation.

Zbyněk ŠÍRمشاهده پروفایل

دانشیار

• Computer-Aided Geometric Design (CAGD)
• Differential Geometry
• History of Geometry
• +۳ مورد دیگر

Zbyněk ŠÍR is an Associate Professor at the Mathematical Institute within the Faculty of Mathematics and Physics at Charles University in Prague . He specializes in Computer-Aided Geometric Design (CAGD) , Differential Geometry , and the History of Geometry , with a focus on Pythagorean Hodograph curves and their applications in geometric modeling. Education: 1989: Graduated from Gymnázium J. K. Tyla, Hradec Králové 1993: DEA (Diplôme d'Études Approfondies) in Algebra and Geometry, University Pierre et Marie Curie (Paris VI) 1995: Master's in Mathematics (Riemannian Geometry, Representation Theory), Charles University 2002: PhD in Mathematics (History of French Geometry), Charles University & Université Pierre et Marie Curie 2012: Habilitation in Mathematics (Geometry and Topology), Charles University His research spans theoretical and applied geometry, including Pythagorean Hodograph curves , rational curves , and historical mathematical texts . Recent work focuses on rotation-minimizing motions , framing motions , and complex quaternions for minimal surfaces. Collaborations with researchers like Carlotta Giannelli, Lucia Sacco, and Bert Jüttler highlight interdisciplinary applications in robotics, aerospace, and computational geometry. ŠÍR teaches courses in Geometric Modeling and Mathematical Education , emphasizing the use of tools like Mathematica for visualizing curves, surfaces, and geometric transformations. His teaching integrates theoretical concepts (e.g., Frenet frames, projective geometry) with practical applications (e.g., CNC manufacturing, 3D reconstruction).

Jitka Čejkováمشاهده پروفایل

دانشیار

• Artificial life
• Droplet dynamics
• Unconventional robotics
• +۶ مورد دیگر

Jitka Čejková is an Associate Professor at the University of Chemistry and Technology Prague, Faculty of Chemical Engineering, Department of Chemical Engineering. She holds an MSc (2006) and PhD (2010) in Chemical Engineering from the same institution, with her doctoral research focusing on structured particles for chemical robots under Prof. František Štěpánek. Her research explores artificial life systems through droplet dynamics, chemobrionics, and unconventional robotics. Key interests include: Protocell development and liquid robots exhibiting life-like behaviors Non-linear pattern formation in surfactant systems Chemotactic mechanisms in biological and artificial systems Applications in drug delivery and biomedical engineering Her publications consistently demonstrate interdisciplinary approaches combining chemical engineering, materials science, and biological principles. Major scientific recognitions include the ISAL Distinguished Early-Career Investigator Award (2021), multiple L'Oréal-UNESCO For Women in Science finalist positions, and best paper/poster awards at international conferences. She has secured significant funding including a Junior Research Grant from the Czech Science Foundation and participates in EU projects like EVOBLISS and COST Actions. She leads the Chemical Robotics Laboratory, mentors bachelor/master students, and organizes major scientific events including ALIFE 2027. Her extensive science communication activities include documentary films, popular articles, and YouTube content with over 340k views.