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

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.

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

• Language Testing
• EFL Teaching
• Didactics of English
• +۵ مورد دیگر

Linda Nepivodová serves as Assistant Professor at Masaryk University's Department of English and American Studies (Faculty of Arts) and Department of English Language and Literature (Faculty of Education). Her academic career spans both teaching and research in language assessment and EFL pedagogy. Ph.D. in Philology – Foreign language teaching (Charles University, Prague, 2018) Masters in English Language and Literature with testing focus (MU Brno, 2007) DELTA certification (IH Prague, 2009) CELTA certification (MU Brno, 2006) Bc in English and Latin (MU Brno, 2004) Her research centers on language testing methodologies, particularly comparing computer-based and traditional test administration modes. She investigates peer interaction patterns in EFL classrooms using conversation analysis, with special attention to Czech upper-secondary educational contexts. Her work bridges theoretical linguistics with practical classroom applications, examining how assessment formats impact both student performance and teacher readiness for digital examination systems. Current projects explore the psychometric validity of alternative testing paradigms across transatlantic educational frameworks. Nepivodová's publication record demonstrates consistent focus on assessment validity, classroom discourse analysis, and EFL teacher development. Her research trajectory shows progression from practical classroom observations to sophisticated mixed-methods investigations of testing paradigms, with increasing methodological rigor evident in her longitudinal studies. As a Certified British Council Examiner since 2010, she maintains active engagement with international language assessment standards while contributing to Czech educational practices through teacher training and curriculum development. Visiting scholar at University of Cincinnati (Fulbright grant, 2013) Presenter at multiple EALTA conferences on language testing validity Teacher training sessions at University of Bristol, Cambridge, and Gothenburg Her teaching portfolio encompasses language testing methodology, reflective practice seminars, and teaching practicum supervision across both bachelor's and master's programs in English language education. She directs students' research in assessment methodologies and classroom interaction analysis while maintaining active connections with international language testing communities.

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

• Forest Economics
• Sustainable Tourism
• Bioeconomy
• +۳ مورد دیگر

Markéta Kalábová is a faculty member at the Czech University of Life Sciences Prague, affiliated with the Faculty of Forestry and Wood Technology and the Department of Forestry and Wood Economics. She also serves as Vice-Dean for Academic Affairs in the Faculty of Law's Dean's Office and participates in internal evaluation boards. Her research spans forest economics, sustainable tourism, bioeconomy, and biodiversity conservation, with recent work focusing on thermally modified wood durability, hunting tourism economics, and bioeconomy-based tourism models. She has published extensively on interdisciplinary topics, including collaborations analyzing hunting tourism impacts in Serbia and promoting biodiversity in urban oak woodlands. Her work bridges ecological and economic perspectives to advance sustainable practices. Current projects involve evaluating hunting tourism's economic contributions, developing multilingual tourism dictionaries, and studying forest bioeconomy frameworks across EU countries.

• Virtual Reality
• Cognitive Psychology
• Eye-Tracking
• +۵ مورد دیگر

Mgr. Vojtěch Juřík, Ph.D. serves as an Assistant Professor at the Institute of Psychology within the Faculty of Arts at Masaryk University in Brno, Czech Republic. His academic work spans cognitive psychology, virtual reality applications, and educational technology, with significant contributions to understanding human cognition in digital environments. His research interests focus on Virtual Reality applications in psychological research, Eye-Tracking methodologies, Spatial Cognition, Human-Computer Interaction, Metacognition, and Self-Regulated Learning . Juřík has pioneered methods for integrating VR technologies into psychological experimentation, particularly examining how immersive environments affect cognitive processes, learning behaviors, and spatial navigation. Analysis of his publication trends reveals a strong emphasis on experimental methodology development (particularly Toggle Toolkit for Unity environments), replication studies using VR to address psychology's replication crisis, and applied educational research examining how technology-supported learning environments influence student outcomes. His work demonstrates consistent interdisciplinary collaboration across psychology, computer science, and geospatial disciplines. As an active researcher, Juřík has organized academic conferences including the Cognition and Artificial Life series and has contributed to numerous collaborative research projects. His methodological innovations in eye-tracking within VR environments have established new standards for ecological validity in psychological research.

• Spanish Linguistics
• Second Language Acquisition
• Error Analysis in Spanish as Foreign Language
• +۵ مورد دیگر

M.Sc. Cristina Rodríguez García, Ph.D. serves as Assistant Professor in the Department of Romance Languages and Literatures at Masaryk University's Faculty of Arts. Her institutional affiliation spans multiple departments within the Faculty of Arts, with primary responsibilities in Spanish language instruction and linguistics. Correspondence address: Arna Nováka 1/1, 602 00 Brno; Office location: Building G/G.109a, Gorkého 57/7, Veveří, Brno. Her research focuses on Spanish linguistics with specialization in error analysis for Spanish as a foreign language learners, evidenced by recurring courses like Errores en español como lengua extranjera and Topics in Spanish Linguistics II . She actively contributes to applied linguistics through ELE (Enseñanza del Español como Lengua Extranjera) didactics courses and language assessment methodologies. Her work extends to Catalan language pedagogy with dedicated practical courses. Dr. Rodríguez García maintains regular consultation hours by appointment via email, primarily serving students through thesis supervision across bachelor's and master's programs. She coordinates comprehensive language instruction including written/oral expression courses, language seminars (I-VI), and specialized examinations. Current teaching commitments extend through Spring 2026, demonstrating active academic engagement.

• Czech Linguistics
• Internet Communication
• Stylistics
• +۴ مورد دیگر

Simona Khatebová, Ph.D. serves as a Lecturer II at the Institute of Czech Language within the Faculty of Arts at Masaryk University in Brno, Czech Republic. Her office is located at Arna Nováka 1/1, building D/D.412 in Brno. She maintains two official email addresses: simona.khatebova@phil.muni.cz and 322709@mail.muni.cz. Dr. Khatebová's research focuses on the intersection of Czech linguistics and digital communication, with particular emphasis on how internet discourse creates a hybrid linguistic space between traditional spoken and written forms. Her work examines generational differences in online communication styles, emotional expression in digital spaces during crisis periods (particularly the coronavirus pandemic), and the evolution of Czech language norms in internet environments. Analysis of her 21 publications reveals a consistent research trajectory examining stylistic features of Czech internet discussions, with increasing attention to pandemic-related communication patterns in recent years. Her work bridges theoretical linguistics with practical applications in language education and standardization. Dr. Khatebová has participated in numerous scholarly activities including conference presentations, requested lectures, and contributions to proceedings from the Summer School of Slavic Studies. Her collaborative work with Professor Marie Krčmová indicates meaningful academic relationships within the Czech linguistics community. Her teaching responsibilities at Masaryk University include courses related to Czech language and stylistics, though specific course titles are not detailed in the available information. She has also contributed to educational materials for Czech language testing for elementary school students.

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.

• Data Protection Law
• Information Technology Law
• Open Data and PSI
• +۷ مورد دیگر

Jakub Míšek is an Assistant Professor at the Institute of Law and Technology, Faculty of Law, Masaryk University in Brno, Czech Republic. His work bridges legal scholarship with information technology, focusing on data protection, open data, and digital regulation. He holds a Ph.D. and multiple academic qualifications, including JUDr. and MgA. His research interests include Data Protection Law , GDPR compliance , Open Data and PSI reuse , proportionality in personal data processing , text and data mining exceptions , and legal aspects of cybersecurity . He explores how legal frameworks adapt to technological innovation, especially in public administration and research contexts. His recent scholarly output shows a strong trend toward interdisciplinary work combining law, computer science, and policy. He frequently publishes on CJEU case law, interoperability of European datasets, and regulatory methods such as accountability and risk-based approaches under GDPR. He is also deeply involved in practical legal guidance and policy recommendations. Co-author of the book Citation Analysis of Case Law (2021) Author of Modern Regulatory Methods of Personal Data Protection (2020) Contributor to Information Technology Law (2018) Co-editor of conference proceedings for JURIX 2024 He has advised on research projects related to law and technology, contributed to national reports on data protection, and organized major academic events such as the Cyberspace and JURIX conferences. His collaborations span across institutions and disciplines, reflecting a robust academic network in legal informatics and digital governance.

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

Juraj Jonášمشاهده پروفایل

پژوهشگر

• Cognitive Psychology
• Psycholinguistics
• Cross-Cultural Psychology
• +۴ مورد دیگر

Juraj Jonáš is an academic researcher at the Department of Psychology and Life Sciences, Faculty of Humanities, Charles University in Prague. His work bridges cognitive psychology, neuroscience, and computational methods. Education: Studied ethnology and psychology at the Faculty of Arts, Charles University Research Interests: Cognitive functions and language/communication mechanisms Cross-cultural psychological studies Neuropsychological testing with clinical populations AI applications in psychology Event-related potentials (ERP) and EEG techniques

• Semantic Annotation
• User Interface Design
• Natural Language Processing
• +۴ مورد دیگر

Dr. Jaroslav Dytrych serves as Assistant Professor and Vice-dean for Information Support at the Department of Computer Graphics and Multimedia (DCGM) within the Faculty of Information Technology, Brno University of Technology. His dual role combines academic leadership in semantic technologies with institutional responsibilities for information systems management. Research focuses on advancing semantic annotation methodologies and user interface design: Semantic Annotation of Complex Textual Relations Empirical Evaluation of Annotation Interaction Patterns Collaborative Semantic Annotator Frameworks (4A System) Integration of Semantic Tools in Scholarly Workflows Java-Based Graphical User Interface Development Practical Software Design Principles His publication record demonstrates consistent innovation in annotation tool design, particularly through the 4A framework which addresses challenges in collaborative semantic processing. Research trends show progressive refinement from foundational scholarly communication models (2011) to advanced user interface solutions for complex relation annotation (2018). As an educator, he directs courses including Practical Aspects of Software Design (IVS) and Graphical User Interfaces in Java (GJA/GJAe), delivered in both Czech and English to undergraduate and graduate students. Office consultations follow structured availability with designated in-person hours on Tuesdays and Wednesdays, supplemented by evening online sessions via Microsoft Teams. Operational within the DCGM research ecosystem, his work intersects with natural language processing laboratories and software engineering teams developing annotation infrastructure. Current projects continue evolving the 4A framework for next-generation scholarly communication platforms.

Lubomír Bulejمشاهده پروفایل

دانشیار

• Dynamic Program Analysis
• Software Performance Evaluation
• Software Performance Modeling
• +۵ مورد دیگر

Lubomír Bulej serves as an Associate Professor at the Department of Distributed and Dependable Systems within the Faculty of Mathematics and Physics at Charles University, Prague. His office is located in room S 205 in the historic Lesser Town district, with contact details including email bulej@d3s.mff.cuni.cz and phone +420 951 554 189. He maintains an active research profile through platforms like Google Scholar, DBLP, and GitHub. His research centers on dynamic program analysis and software performance evaluation , with specific focus on analysis composition, program instrumentation, profiling accuracy, and observability in managed platforms. He develops methods for automatic performance evaluation during development, performance change detection, and testable documentation of performance assumptions. Additional interests span object-oriented programming, programming languages, operating systems, and computer architectures, reflected in his teaching of courses like Computer Architecture and Operating Systems. Analysis of his 2021-2025 publications reveals a consistent trajectory in performance-aware software development , with increasing emphasis on compiler technologies (particularly GraalVM), self-adaptive systems for cloud/edge environments, and cost-optimized performance testing methodologies. His work bridges theoretical program analysis with practical industrial applications, especially in avionics and distributed systems. Dr. Bulej actively contributes to major research projects including GraalVM compiler evaluation, FitOptiVis (avionics systems), ASHLEY (aircraft demonstrators), Ferdinand (model-driven design evaluation), Q-ImPrESS (service-oriented systems), and CoCoME (component modeling). He maintains critical software infrastructure such as the Renaissance Benchmark Suite, DiSL instrumentation framework, and Java Performance Measurement Framework.

Milan Strakaمشاهده پروفایل

استاد

• Machine Learning
• Artificial Neural Networks
• Deep Learning
• +۱۲ مورد دیگر

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