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

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

Vlachos Kostasمشاهده پروفایل

استادیار

• Robotics
• Control of Robotic Mechanisms
• Microrobotics
• +۷ مورد دیگر

Kostas Vlachos is an Assistant Professor in the Department of Computer Science and Engineering at the University of Ioannina, Greece. He has been in this position since 2014, following prior teaching roles at the University of Thessaly (2007–2013). He is a member of the Information Processing and Analysis (I.P.AN.) research group and actively supervises PhD, MSc, and diploma students in robotics and control systems. PhD, School of Mechanical Engineering, National Technical University of Athens, 2004 MSc, Interdepartmental Postgraduate Program in Automation Systems, National Technical University of Athens, 2000 Diploma in Electrical Engineering, Technical University of Dresden, Germany, 1993 His research focuses on robotics and control, with emphasis on microrobotics , haptic mechanisms , medical simulators , and autonomous navigation . He has made significant contributions to over-actuated marine platforms, reinforcement learning for navigation, and tactile robotic systems. His work bridges mechanical engineering and computer science, particularly in intelligent robotic control. The 15 most recent publications highlight a strong trend in autonomous marine robotics , multi-agent reinforcement learning , and intelligent control systems . Key themes include energy-efficient control, obstacle avoidance, sensor fusion, and learning-based navigation. The research spans from theoretical control design to real-world implementation in unmanned surface vehicles and microrobots. Best Student Paper Award, 9th Hellenic Conference on AI (SETN 2016) Vlachos has supervised over 30 students at various levels and has participated in multiple national and European research projects in robotics and automatic control. His teaching includes courses such as Computational Mathematics, Robotics, and Robotic Systems. He collaborates extensively with researchers like E. Papadopoulos and K. Blekas. He leads research within the Information Processing and Analysis (I.P.AN.) group, focusing on intelligent perception and control of robotic systems. His lab works on mobile manipulators, haptic devices, mini-robots, and marine platforms, integrating simulation (ROS/Gazebo) with real-world experimentation.

• Ecology
• Environmental Science
• Plant Physiology
• +۵ مورد دیگر

Costas Saitanis is a Professor and Director of the Laboratory of Ecology and Environmental Sciences at the Agricultural University of Athens. His academic career is deeply rooted in environmental science, with particular focus on plant responses to environmental stressors, especially ozone pollution. He has established himself as a leading researcher in the field of plant-environment interactions through extensive publication record and laboratory leadership. Professor at Agricultural University of Athens Director of Laboratory of Ecology and Environmental Sciences Specializes in plant responses to environmental stress Expert in ozone effects on vegetation Professor Saitanis's research interests span multiple dimensions of environmental plant science, with particular emphasis on ozone effects on plants, plant stress physiology, and ecological stoichiometry. His work bridges fundamental plant physiology with practical environmental concerns, examining how air pollutants impact plant growth, nutrient cycling, and ecosystem functioning. He has made significant contributions to understanding how plants respond to ozone at molecular, physiological, and ecosystem levels, while also exploring protective strategies like melatonin application and biostimulants to enhance plant resilience. His research has practical implications for agriculture, urban forestry, and environmental protection policies. His recent publications reveal a strong focus on ozone-plant interactions, with numerous studies examining nutrient stoichiometry in urban trees exposed to ozone, protective effects of melatonin against ozone damage, and innovative approaches to ozone biomonitoring. His work spans from fundamental plant physiology to applied environmental science, with studies conducted across various ecosystems from urban environments to archaeological sites. Professor Saitanis has maintained consistent productivity across decades, with publications dating back to the early 2000s showing his long-standing commitment to environmental science research. Professor Saitanis has contributed significantly to the scientific understanding of ozone effects on vegetation through numerous publications and research projects. His work has helped establish methodologies for ozone biomonitoring and has provided critical insights into plant stress responses that inform environmental protection policies. His research has practical applications for sustainable agriculture and urban forestry in the face of increasing air pollution challenges. His academic leadership as Director of the Laboratory of Ecology and Environmental Sciences demonstrates his commitment to advancing environmental science research and education. Professor Saitanis appears to maintain an active research program with numerous recent publications, indicating ongoing scholarly activity and contribution to his field.

• Inorganic Chemistry
• Analytical Chemistry
• Biomimetic Catalysis
• +۵ مورد دیگر

María Louloudi is a Professor of Inorganic Chemistry at the University of Ioannina, Department of Chemistry since 2012. She holds a BSc (1986) and PhD (1992) in Chemistry from the University of Ioannina, followed by postdoctoral research at the University of Rene Descartes in Paris and a EU Return Grant at her alma mater. Her research focuses on biomimetic catalysis, hybrid materials, and environmental catalysis, with over 90 publications and 1700 citations. She has coordinated numerous grants including L’OREAL, THALIS, and EU-funded projects. Education: BSc in Chemistry, University of Ioannina (1986) PhD in Chemistry, University of Ioannina (1992) Postdoctoral Research, University of Rene Descartes, Paris (1993–1995, EU Human Capital Fellowship) Research Interests: Her work emphasizes biomimetic catalyst design, hybrid materials for environmental applications, and catalytic oxidation mechanisms. Key areas include: Biomimetic models of enzymes (e.g., cytochromes, Mn/Fe enzymes) Development of heterogeneous catalysts for H 2 production and pollutant degradation Functionalized carbon materials for catalytic and environmental uses Grants & Awards: L’OREAL Paris Grants (2016–2021) THALIS Grant (2012–2015) for biomimetic materials EU Return Grant (1996) Advising & Labs: Supervised over 20 PhD/MSc students and leads the Biomimetic Catalysis & Hybrid Materials Lab . Major projects include: Development of recycled carbon-based catalysts Hybrid materials for arsenic removal Catalytic H 2 production from formic acid Administrative Roles: Dean of the Chemistry Department (2018–present) Coordinator of multiple graduate programs

• Neural Networks
• Automatic Control Systems
• Analog VLSI Integrated Circuits
• +۳ مورد دیگر

Chrysostomos Kasimis is a Lecturer in the Electronics and Computers Department at the University of Patras, affiliated with the School of Sciences. He holds a Master's Degree (2007) and a PhD (2013) in Electronics from the University of Patras. His primary roles include teaching laboratory courses such as Physics Laboratory IV/V, Computer Programming I/II, and Analog Electronics Laboratory. He is a member of the Laboratory Teaching Staff (EDIP) in the Electronics Laboratory. His research focuses on neural networks for control systems and analog VLSI integrated circuits , with contributions to adaptive filter design, low-power circuits, and bio-inspired neural network applications. His work spans hyperbolic function-based filters, zeroing neural networks for optimization, and companding techniques in biomedical signal processing. Publications highlight innovation in analog circuit design (e.g., sinh-domain filters, OTA-based systems) and interdisciplinary applications in finance through neural networks. His career demonstrates expertise in both theoretical and applied electronics, with a strong emphasis on practical laboratory instruction.

Kappos Efthimiosمشاهده پروفایل

دانشیار

• Dynamical Systems
• Control Theory
• Differential Geometry
• +۳ مورد دیگر

Assoc. Prof. Kappos Efthimios is affiliated with the School of Mathematics at Aristotle University of Thessaloniki, within the Faculty of Sciences. His academic journey includes roles at Northeastern University, City University London, and the University of Sheffield before joining AUTh in 2005. He holds a PhD in Mathematics from UC Berkeley (1986) and advanced degrees from MIT and Oxford. Education : MA (First Class Honours), University of Oxford, 1980 MS, Massachusetts Institute of Technology, 1983 MA, University of California, Berkeley, 1985 PhD, University of California, Berkeley, 1986 Research Interests focus on Geometric Control Theory , Bifurcation Analysis , and Differential Topology , with applications to power systems and mathematical biology. His work employs algebraic-topological methods to study global dynamics and stability. Advising & Grants : Supervised doctoral and postgraduate research projects (e.g., geometric control theory, Lyapunov-based control design). Coordinated a 2017 grant for the Postgraduate Mathematics Program at AUTh. Serves as ERASMUS Coordinator for incoming students. Teaching includes courses like Dynamical Systems , Algebraic Topology , and Classical Differential Geometry . Recent teaching roles span 2023–2025.

Paraskevi Malliouمشاهده پروفایل

دانشیار

• Rehabilitation in Sport Injuries and Diseases
• Athletic Training
• Neuromuscular and Motor Control
• +۳ مورد دیگر

Paraskevi (Vivian) Malliou is an Associate Professor at the Department of Physical Education & Sport Sciences, Democritus University of Thrace (DUTH). Her expertise lies in sport injury rehabilitation, neuromuscular control, and musculoskeletal disorders. She holds a PhD from DUTH (1996), an MSc from the University of Illinois (1991), and two bachelor’s degrees from the University of Athens (1988) and the Technological Institute of Thessaloniki (2010). Teaching includes graduate courses on functional anatomy, neuromuscular control, and musculoskeletal injury management, along with undergraduate courses on therapeutic exercises and athletic training. Professional experience includes serving as Rehabilitation Supervisor for Skoda Xanthi FC (1996–2012). Research focuses on injury prevention, proprioception, and rehabilitation techniques. Over 60 peer-reviewed articles address topics like aquatic therapy for ankle instability, balance training in soccer, and exercise-induced fatigue effects. Her work spans sports medicine, geriatric rehabilitation, and chronic pain management. Notable contributions include studies on FIFA 11+ injury prevention programs, the efficacy of exergames for balance improvement, and the application of Kinesio-Taping® in quadriceps strengthening. She operates the Therapeutic Exercise and Rehabilitation Lab and has advised numerous studies on athlete recovery and workplace musculoskeletal health.

Stefanos Papadakisمشاهده پروفایل

مدرس

• Software Defined Radio
• Cognitive Radios
• Radio Resource Management
• +۵ مورد دیگر

Stefanos Papadakis serves as a Research Staff Scientist at the Telecommunications and Networks Laboratory (TNL) of the Institute of Computer Science at Foundation for Research and Technology-Hellas (FORTH) and holds an Adjunct Lecturer position in the Department of Computer Science at the University of Crete. Since 2001, he has pioneered hardware and software prototyping at TNL-FORTH, currently leading the Software Defined Radio (SDR) group he established to drive vertical integration from physical layer design to application development. His educational foundation includes a Physics degree (2001) and M.Sc. (2004) and Ph.D. (2009) in Computer Science, all earned at the University of Crete. Teaching responsibilities encompass core courses CS-330: Introduction to Telecommunication Systems Theory and CS-435: Network Technology & Programming. Papadakis' research spans wireless innovation frontiers including software-defined/cognitive radios, spectrum sharing, heterogeneous networking, position location, radio propagation modeling, and emergency communications. His work emphasizes practical implementation, yielding functional prototypes across the entire communications stack. Notable contributions include GPU-accelerated SDR frameworks, robust spectrum virtualization techniques, and emergency response communication systems validated through international competitions. Analysis of his 15 most recent publications (2010-2016) reveals dominant themes in SDR optimization for IoT and critical communications, with significant focus on GPU parallelization, interference management in dense networks, and real-time spectrum sharing mechanisms. His experimental approach consistently bridges theoretical models with hardware validation, particularly in emergency response and heterogeneous network scenarios. Key recognitions include: Ericsson Award of Excellence in Telecommunications for position location research First place in PENED doctoral proposal competition Fourth place in IEEE DySPAN 2015 5G Spectrum Challenge Second place in Virginia Tech ShaRC 2016 with the 'Skynet' cognitive radio system Mentorship spans 16 undergraduate projects (11 completed), 8 M.Sc. students (3 completed theses), and 1 Ph.D. candidate. His research is sustained through major EU and national projects including REDComm (emergency communications), EU-MESH (metropolitan networks), RERUM (IoT security), and Heraklion smart city initiatives. The SDR group maintains critical infrastructure like the Heraklion metropolitan wireless network, FORTH campus network, and specialized mobile emergency nodes equipped with multi-radio SDR platforms, satellite transceivers, and high-performance computing resources.

• Actuarial Mathematics
• Applied Probability
• Mathematical Statistics
• +۴ مورد دیگر

Professor Efstathios Hadjikonstantinides is affiliated with the University of Piraeus , where he has served in the Department of Statistics and Actuarial Science since 1990. His academic journey began at Aristotle University of Thessaloniki, earning a PhD in Mathematics (1990) and a BSc in Mathematics (1985) , both with Excellent grades. Research Interests His work spans Risk Theory , Bankruptcy Theory , Collective Risk Models , and Reliability Theory , with a focus on stochastic processes and actuarial risk modeling . Recent publications emphasize compound Poisson models , dividend strategies , and Markov-dependent trials , contributing to Risk Management and Insurance Mathematics . Academic Contributions Supervised two PhD students Published 15+ papers in Insurance: Mathematics and Economics , Scandinavian Actuarial Journal , and Journal of Computational and Applied Mathematics Active in national and international conferences (17th European Meeting of Statisticians, Panhellenic Congresses, etc.) Administrative Roles Chairman of Department (2007-2009) Director of Postgraduate Program Actuarial Science & Risk Management (2007-2011) Member of University Senate and Research Committees

Lindsey Kuperمشاهده پروفایل

استادیار

• programming languages
• distributed computing
• concurrency
• +۶ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).

Michael F. P. O'Boyleمشاهده پروفایل

استاد

• Optimizing compilation
• Machine learning
• Heterogeneous systems
• +۳ مورد دیگر

Michael F. P. O'Boyle is a Professor of Computer Science at the University of Edinburgh's School of Informatics. He is a leading researcher in compiler technology, specializing in optimizing compilation, machine learning for compilation, and heterogeneous systems. His work addresses the critical challenges of compiling software for increasingly diverse hardware architectures in the post-Moore's Law era. Professor O'Boyle's research interests focus on: Optimizing compilation techniques Machine learning applications in compilation Heterogeneous computing systems Program synthesis Neural machine translation for code Hardware/software co-design His recent publications demonstrate a strong focus on tensor optimization, compiler infrastructure for heterogeneous systems, and machine learning applications in program analysis and transformation. O'Boyle's work bridges traditional compiler techniques with modern AI-driven approaches to code optimization, addressing the growing complexity of hardware-software interfaces. Professor O'Boyle has received several notable honors and awards: ACM CGO Test of Time award (2017) Senior EPSRC Research Fellow Fellow of the British Computer Society (BCS) He holds significant leadership roles including Director of the ARM Research Centre of Excellence at Edinburgh and Director of the EPSRC Centre for Doctoral Training in Pervasive Parallelism. O'Boyle is also a founding member of HiPEAC, a European network for high-performance and embedded architecture and compilation, and has delivered keynote addresses at major conferences including PPoPP 2019 where he presented his vision for "Rethinking Compilation in a Heterogeneous World."

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-Based Security
• +۵ مورد دیگر

Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.

Hemmo Meyerمشاهده پروفایل

استاد

• Cell Biology
• Molecular Biology
• Proteostasis
• +۳ مورد دیگر

Prof. Hemmo Meyer is a Professor at the University of Duisburg-Essen, leading the Molecular Biology I group within the Center of Medical Biotechnology (ZMB) in the Faculty of Biology. His research focuses on cellular stress responses, proteostasis, and the roles of the ubiquitin-proteasome system (UPS) and autophagy in maintaining cellular homeostasis. He explores how the AAA+-type ATPase VCP/p97 governs processes like ER-associated degradation, DNA damage repair, and lysophagy, particularly in contexts of degenerative diseases and cancer therapy. He is also the speaker of the Collaborative Research Center (CRC) 1430 and contributes to EU and NRW funding programs. His lab distributes plasmids via Addgene.org. Research interests include deciphering molecular mechanisms of stress-induced cell death and aging-related degeneration. Key areas involve the UPS’s coordination with cell cycle pathways, lysosomal damage sensing, and the structural biology of VCP/p97 complexes. His work bridges basic science and translational research, targeting VCP/p97’s role in diseases like ALS and FTD. Recent studies highlight discoveries of signaling pathways involved in lysosomal repair and autophagy, such as SPG20-ITCH-mediated lysophagy and UBE2QL1’s coordination of cellular responses to endolysosomal damage. Prof. Meyer collaborates extensively, working with researchers on projects ranging from structural biology to drug development. His contributions include identifying VCP/p97’s role in nuclear assembly and spindle disassembly, as well as its interactions with kinases like Aurora B. His lab’s methods span biochemistry, cell biology, and nanotechnology, including the use of calcium phosphate nanoparticles and DNA origami systems for studying cellular processes.

• Biomedical Engineering
• Biomedical Signal Processing
• Entropy Analysis
• +۷ مورد دیگر

Georgios Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He holds a PhD from the National Technical University of Athens and has been a faculty member at the University of Ioannina since 2002, progressing from Lecturer to Associate Professor in 2018. He has also served as temporary teaching staff at the University of Patras, University of Crete, and University of Ioannina in the late 1990s and early 2000s. Education: B.Sc. in Computer Engineering (Diploma), National Technical University of Athens (NTUA), 1987–1992 MSc in Advanced Methods in Computer Science (Distributed and Parallel Systems), Queen Mary, University of London, 1992–1993 PhD in Computer Engineering, NTUA, School of Electrical and Computer Engineering, 1993–1997 His research interests lie at the intersection of Biomedical Engineering and Computing Systems , with a strong emphasis on Biomedical Signal Processing , Entropy Analysis , and Machine Learning . He has pioneered work in Bubble Entropy —a parameter-free entropy measure—and developed fast algorithms for entropy computation. His work also extends to compiler design and parallel computing, particularly in the automatic parallelization of recursive functions and loops. The trends in his recent publications reflect a dual focus: (1) biomedical applications involving entropy, heart rate analysis, and disease diagnosis using machine learning (especially Random Forests and SVMs), and (2) high-performance computing, including parallelization techniques and compiler optimizations for multi-core and SVP architectures. His research is highly interdisciplinary, combining signal processing, algorithm design, and clinical applications. Scientific Leadership and Recognition: Guest Editor, Special Issue on “Entropy in Biomedical Engineering”, Entropy (MDPI) Member of the IPAN Laboratory, University of Ioannina Active contributor to IEEE, Elsevier, and MDPI journals He has supervised several graduate students and is involved in funded research projects such as Palimpsest and Homore , focusing on smart systems for cultural interaction and elderly monitoring. His advising contributions are evident in co-authored papers with students like Evanthia Tripoliti and Aristeidis Mastoras. He teaches both undergraduate and postgraduate courses, including Compilers I/II and Biomedical Data Analysis . Laboratories and Teams: He is a member of the IPAN lab at the University of Ioannina, which supports interdisciplinary research in informatics and biomedical applications. His collaborative network includes researchers from Greece and abroad, particularly in the fields of biomedical signal analysis and entropy-based methods.

Isambo Karaliمشاهده پروفایل

استادیار

• Knowledge Representation and Reasoning with Uncertainty
• Artificial intelligence
• Logic Programming
• +۱۰ مورد دیگر

Isambo Karali is an Assistant Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, a position she has held since November 2007. Prior to this, she served as a Lecturer at the same department from September 1999 to November 2007. Her academic career spans over three decades with significant contributions to knowledge representation, uncertainty reasoning, and semantic web technologies. Dr. Karali's educational background includes: PhD in Informatics (1995) from the University of Athens MSc in Computer Science (1988) from University College, University of London Bachelor of Mathematics (1986) from the Department of Mathematics, University of Athens Dr. Karali's research focuses on Knowledge Representation and Reasoning with Uncertainty, Artificial Intelligence, Logic Programming, and Object-Oriented Programming. She has made significant contributions to applying Dempster-Shafer theory for handling uncertainty in Semantic Web applications. Her work bridges theoretical foundations of logic programming with practical applications in knowledge representation, particularly in distributed and heterogeneous environments. She has supervised numerous PhD and master's theses in these areas. Her recent publications demonstrate a strong trend toward integrating uncertainty reasoning with Semantic Web technologies, particularly using Dempster-Shafer theory and fuzzy logic. Her work addresses challenges in managing imprecise and uncertain information in large-scale knowledge systems, with applications in recommendation systems, news analysis, and semantic search. The interdisciplinary nature of her research connects artificial intelligence, knowledge representation, and web technologies to solve complex information management problems. Dr. Karali has been actively involved in research funding and collaboration: Principal Investigator for "Handling uncertainty in data intensive applications on a distributed computing environment (cloud computing)" under the "Thalis" Program Scientific Responsible for "Artificial Intelligence and Logic Programming Techniques for Knowledge on the World Wide Web" at the National and Kapodistrian University of Athens Scientific Responsible for "Semantic Web and Logic Programming - Application to Guided Search" at the National and Kapodistrian University of Athens Participant in multiple EU research projects including MISSION, COSMOS, ADDSIA, PARACHUTE, APPLAUSE, and EDS As an educator, Dr. Karali has taught core undergraduate courses including Object-Oriented Programming and Logic Programming, as well as graduate courses on Knowledge Technologies and Artificial Intelligence. She has supervised numerous PhD and master's students, with a focus on uncertainty reasoning, semantic web technologies, and logic programming applications. Her mentorship extends to student competitions, including guiding the Department's team in the Microsoft ImagineCup 2009. Dr. Karali has also contributed to the academic community through service activities, including membership on program committees for conferences like IEEE ICTAI, reviewer for prestigious journals, and organizational roles in academic events. From 2000 to 2012, she was responsible for the Department's website, contributing to its architecture design and system development.