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

Spyros Vosinakisمشاهده پروفایل

دانشیار

• Virtual Reality
• Augmented Reality
• Mixed Reality
• +۶ مورد دیگر

Spyros Vosinakis is an Associate Professor in the Department of Product and Systems Design Engineering at the University of the Aegean , Greece. He leads the Interactive Systems Design Laboratory and specializes in Virtual Reality (VR), Augmented Reality (AR), and their applications in education, cultural heritage, and serious games. Education: BSc in Informatics, University of Piraeus, Greece MSc in Computer Graphics & Virtual Environments, University of Hull, UK PhD in Informatics, University of Piraeus, Greece (2003) Research Interests: Focuses on immersive technologies for cultural heritage dissemination, natural user interfaces, and adaptive virtual environments. His work bridges digital humanities with interaction design, emphasizing embodied interaction and accessibility. Recent projects include VR applications for archaeological sites like Delphi, and AR installations for intangible heritage preservation. Publications: Over 70 peer-reviewed papers in journals like Virtual Reality , British Journal of Educational Technology , and International Journal of Computational Methods in Heritage Science . Themes include interaction design in VR, serious games for STEM education, and ethical representation of cultural heritage. Grants & Projects: Principal investigator in 11 R&D projects (3 as coordinator). Collaborates with UNESCO, EU initiatives, and museums on digital heritage preservation. Current work includes XR applications for industrial heritage and accessibility in virtual museums. Labs & Teams: Directs the Interactive Systems Design Laboratory , fostering interdisciplinary projects in HCI, game design, and heritage technology. Advises on industrial partnerships for AR/VR solutions in education and tourism.

Arthur Azevedo de Amorimمشاهده پروفایل

استادیار

• Programming Languages
• Formal Verification
• Security
• +۳ مورد دیگر

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology's College of Computing. His research focuses on making software more secure and reliable using techniques based on formal verification, programming languages, and type systems. Previously, he held postdoctoral positions at Boston University and Carnegie Mellon University after completing his Ph.D. at the University of Pennsylvania under Benjamin Pierce and co-advised by Cătălin Hrițcu. His educational background includes undergraduate studies in computer science and engineering at Unicamp and Polytechnique. He is also one of the authors of Software Foundations, an introductory textbook to the Coq proof assistant, and maintains an active blog about Coq. Dr. de Amorim's research spans several critical areas in programming languages and security. His work on cryptographic protocols leverages recent advances in program verification (particularly separation logic) to verify cryptographic protocols. His research on compartmentalization analyzes formal guarantees of techniques for limiting the scope of vulnerabilities in low-level languages like C and C++. These research areas reflect his commitment to bridging theoretical foundations with practical security applications. His recent publications demonstrate strong activity across multiple top-tier conferences including POPL, PLDI, CCS, and ICALP, with research spanning formal verification, secure compilation, differential privacy, and programming language theory. His work consistently combines theoretical rigor with practical applications in security and reliability. Dr. de Amorim has served on numerous program committees for major programming languages conferences including POPL, PLDI, ICFP, and CoqPL, demonstrating his active engagement with the research community. He has also contributed to important educational resources through his work on Software Foundations. He currently advises several graduate students at RIT working on various aspects of programming languages and security. His lab develops multiple open-source software projects including Cryptis (for verifying cryptographic protocols), Deriving (a Coq library for automating class instances), and Extructures (a Coq library of finite data structures).

James Cheneyمشاهده پروفایل

استاد

• Databases and data provenance
• Programming languages and compilers
• Generic programming
• +۷ مورد دیگر

James Cheney is a Personal Chair of Programming Languages and Systems at the University of Edinburgh, working in the Laboratory for Foundations of Computer Science within the School of Informatics. He leads the Principles of Provenance research group and has been a Turing Fellow from 2018 to 2023. His educational background includes a PhD in Computer Science from Cornell University (2004), an MS in Mathematics from Carnegie Mellon University (1998), and a BS in Computer Science and Mathematics from Carnegie Mellon University (1998). Cheney's research focuses on the intersection of databases and programming languages, with particular emphasis on data provenance. His work spans several key areas: Databases and data provenance Programming languages and compilers Generic programming Logic and automated theorem proving Compression and information theory XML and related technologies His recent publications demonstrate a strong focus on language-integrated query systems, type systems for programming languages, and formal approaches to data provenance. These works often bridge theoretical foundations with practical applications in database systems and programming language design. Cheney has received several notable awards and recognitions: Royal Society University Research Fellowship (2008-2016) Turing Fellow (2018-2023) ERC Consolidator Grant for the Skye project (2016-2021) Google Research Award for Language-integrated provenance As an advisor, Cheney has supervised numerous PhD students and postdoctoral researchers who have gone on to positions at institutions including New York University, LSE, University of Southampton, Meta, and others. His research has been supported by various grants from DARPA, EPSRC, AFOSR, EU FP7, and industry partners including Google, Microsoft Research, and Huawei. Cheney leads the Principles of Provenance group, which conducts fundamental research on data provenance and its applications in security, data curation, and scientific computing. The group has worked on projects including Skye (a programming language for scientific data curation), ADAPT (a DARPA-funded project on advanced persistent threat prevention), and language-integrated provenance systems.

Voudouri Iriniمشاهده پروفایل

استاد

• Innovation and Entrepreneurship
• Strategic Management
• Corporate Governance
• +۴ مورد دیگر

Irini Voudouri is a Professor of Strategy and Entrepreneurship at the Department of Management Science and Technology, Athens University of Economics and Business (AUEB). She holds a B.Sc. in Electrical Engineering from the National Technical University of Athens, a master’s in Strategic Management from HEC/ESSEC/Université Paris X, and a PhD from Université Paris X. Her research focuses on innovation, entrepreneurship, strategic management, corporate governance, and sustainability. Education: B.Sc. Electrical Engineering, National Technical University of Athens (specialization in Electronics) Master’s in Design of Transmission Systems, Ecole Nationale Supérieure des Télécommunications (TELECOM-Paris) PhD in Strategy and Management, Université Paris X-Nanterre Diplôme d'Études Approfondies (D.E.A.) in Strategy & Management from Université Paris X/HEC/ESSEC Research Interests: Her work examines innovation ecosystems, entrepreneurial leadership in public and private sectors, corporate governance ethics, SME resilience, and sustainable development. She emphasizes the interplay between strategic management and organizational behavior. Professional Roles: She served as Head of the Innovation and Entrepreneurship Unit (2017–2020), Director of the Management, Strategy and Entrepreneurship Lab (2017–2022), and Director of the MA in Heritage Management (2018–2021). She has advised on national and EU research projects and contributed to private and public sector consulting. Research Output: Her recent work explores crisis adaptation in SMEs, governance in big data contexts, and ambidextrous leadership in public sectors. Her studies often bridge theory and practice, offering insights into organizational resilience and ethical innovation.

Panagiotis Stamatopoulosمشاهده پروفایل

استادیار

• Artificial Intelligence
• Constraint Programming
• Logic Programming
• +۹ مورد دیگر

Panagiotis Stamatopoulos is an Assistant Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, where he has been employed since 1993. He holds a PhD in Computer Science (1988) and a Diploma in Physics (1982) from the University of Athens. His research spans artificial intelligence, constraint programming, natural language processing, machine learning, and optimization. Specific interests include: Hybrid approaches combining constraint programming with operations research Natural language understanding for database access Parallel processing and distributed constraint solving Multi-agent systems and web intelligence applications His publications show consistent focus on constraint satisfaction algorithms, text summarization techniques, educational timetabling systems, and AI applications in diverse domains like sports analytics and robotics. Recent works demonstrate increased attention to NLP evaluation metrics and multimodal learning. He has supervised numerous diploma theses and led projects funded by the European Union (EDS, APPLAUSE, PARACHUTE, PARROT), University of Athens, and Olympic Airways. Stamatopoulos teaches undergraduate courses in Introduction to Programming and Logic Programming, plus postgraduate courses in Advanced Artificial Intelligence. He previously taught Artificial Intelligence, System Programming, and Expert Systems.

• VLSI Design
• Digital Circuit Testing
• Test Data Compression
• +۴ مورد دیگر

Χρ. Καβουσιανός is a Professor at the Department of Computer Engineering & Informatics, University of Patras (Polytechnic School). His research focuses on VLSI design, digital circuit testing, and test data compression. He holds a Diploma (1996) and PhD (2000) from the same department, with notable scholarships including the Maritsas Doctoral Scholarship (1999). Key roles include leading the Heraclitus II and Pythagoras II research programs as principal investigator. Collaborations include Duke University (USA) with Prof. Krishnendu Chakrabarty. Research highlights: Pioneered techniques in scan-based testing, test set embedding, and low-power testing. Over 45 publications in top journals/conferences (e.g., IEEE TCAD, DAC). Notable work includes defect-oriented testing methods and Huffman-based compression schemes. Has supervised 9 advisees across doctoral/postgraduate levels. Holds a 2010 US patent application on power switch design.

Peter W. O'Hearnمشاهده پروفایل

استاد

• Programming Languages
• Formal Verification
• Separation Logic
• +۵ مورد دیگر

Peter W. O'Hearn is a Professor of Computer Science at University College London and a Research Scientist at Meta AI (FAIR). He has held academic positions at Syracuse University, Queen Mary University of London, and University College London, before joining Facebook (now Meta) in 2013 as part of the acquisition of the verification startup Monoidics. His career spans over 25 years of research in programming languages and logic, with significant contributions to both theoretical foundations and practical industrial applications. O'Hearn's research primarily focuses on formal reasoning about programs, with his most notable contributions being the co-invention (with John Reynolds) of Separation Logic and the development of Incorrectness Logic. His work bridges the gap between theoretical computer science and practical software engineering, emphasizing how fundamental theory, tool development, and real-world application can mutually reinforce each other. He has consistently advocated for the integration of formal methods into industrial software development practices. His research has led to the development of the Infer program analyzer, which runs internally on Meta's code bases and has detected over 100,000 bugs that have been fixed by developers. Infer is also used in production at other major companies including Amazon, Mozilla, Spotify, and Marks and Spencer. His recent work on Incorrectness Logic represents a paradigm shift from traditional program verification approaches, focusing on bug finding rather than correctness proving. O'Hearn has received numerous prestigious awards recognizing both his theoretical contributions and practical impact: Fellow of the Royal Society (elected 2018) Fellow of the Royal Academy of Engineering (2016) 2016 Gödel Prize 2016 CAV Award Two POPL MIP awards Honorary doctorate from Dalhousie University (2018) 2021 IEEE Cybersecurity Award for Practice Throughout his career, O'Hearn has successfully translated theoretical advances into practical tools used at scale in industry. His work on Separation Logic led directly to Infer, while his more recent work on Incorrectness Logic aims to provide foundations for next-generation bug catching tools. He has maintained a strong academic presence while working in industry, continuing his professorship at UCL alongside his role at Meta. O'Hearn leads research efforts at the intersection of formal methods and practical software engineering at Meta, focusing on scaling static analysis techniques to handle the massive codebases typical of modern technology companies. His work has significantly influenced how large tech companies approach software verification and bug detection.

Ioannis Vlahavasمشاهده پروفایل

استاد

• Logic Programming
• Knowledge representation and Reasoning
• Automated Planning
• +۳ مورد دیگر

Ioannis Vlahavas is a Professor in the School of Informatics at Aristotle University of Thessaloniki since 2003, where he directs the Intelligent Systems Lab. He has held significant leadership roles including Chair of the School of Informatics (2003-2005, 2013-2017) and Dean of the School of Science and Technology at the International Hellenic University (2007-2016). His career spans over three decades with continuous contributions to artificial intelligence research and education. Education: Ph.D. in Computer Science, Aristotle University of Thessaloniki (1988) B.Sc. in Physics, Aristotle University of Thessaloniki (1982) Professor Vlahavas's research focuses on foundational AI areas including Logic Programming, Knowledge Representation and Reasoning, Automated Planning, and Machine Learning. His work bridges theoretical frameworks with practical applications in autonomous systems, healthcare diagnostics, and financial modeling. He has pioneered methodologies in reinforcement learning and multi-agent systems, with particular emphasis on personality emulation in gamified environments and transformer-based architectures for complex real-world problems. His recent publications reveal a strong trajectory toward deep reinforcement learning, transformer optimization, and low-resource language processing. Key application domains include autonomous driving (5 of 15 recent papers), biomedical text mining (particularly drug-drug interaction extraction), and personality modeling in gaming environments. There is notable cross-pollination between finance (portfolio theory applications, cryptocurrency trading) and AI methodology development. Scientific Awards: EurAI Fellow (2017) Professor Vlahavas has mentored numerous graduate students through PhD candidate programs and research projects. His leadership extends to organizing major international conferences including the 24th IEEE International Conference on Tools with AI (2012) and the 9th Hellenic Conference on Artificial Intelligence (2016). He serves on editorial boards and has guest-edited special journal issues on AI applications. He directs the Intelligent Systems Lab at Aristotle University, which operates as a multidisciplinary research hub focusing on machine learning, natural language processing, and intelligent system applications across healthcare, transportation, and finance sectors. The lab maintains strong industry connections including RealMINT, the university spin-off where he serves as CEO.

• Computer Architecture
• Reconfigurable Computing
• Hardware Acceleration
• +۶ مورد دیگر

Dionysios Pneumatikatos is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) since September 2019. Previously, he served as a Professor and Chair of the Department of Electronic and Computing Engineering at the Technical University of Crete (2000–2019) and is an Associate Researcher at the Foundation for Research and Technology (FORTH) since 1997. His primary affiliations include the Computing Systems Laboratory (CSLab) at NTUA and the Computer Architecture and VLSI Systems (CARV) Laboratory at FORTH. Education: B.Sc. in Computer Science, University of Crete (1989) M.Sc. and Ph.D. in Computer Science, University of Wisconsin–Madison (1991, 1995) Research Interests: Computer Architecture Reconfigurable Computing Hardware Acceleration (e.g., FPGA, RISC-V) Energy-Efficient Systems Reliable System Design Application-Specific Architectures His work focuses on heterogeneous parallel systems , bioinformatics accelerators , and virtualization frameworks for reconfigurable platforms . Recent Projects & Contributions: Coordinator of the FASTER (FP7) project Principal Investigator in EDRA (H2020), EXTRA , and dReDBox Key roles in AXIOM , DeSyRe , and VPLANET These projects explore FPGA-based HPC systems , RISC-V ecosystems , and disaggregated data center architectures . Teaching & Mentorship: Teaches courses on Computer Architecture , Parallel Processing , and Logic Design at NTUA and TU Crete Supervised multiple national/EU projects, fostering interdisciplinary research in embedded and high-performance systems Labs & Networks: Active member of the HiPEAC European Network Program Committee roles at ISCA , FPL , and DATE Led the 21st International Conference on Field-Programmable Logic and Applications (FPL)

• Theoretical and Applied Operations Research
• Finance
• Shipping
• +۴ مورد دیگر

Mageirou Evangelos is a Professor at the Department of Informatics within the School of Information Sciences and Technology at Athens University of Economics and Business (AUEB) . He holds a BS in Electrical Engineering from Princeton University (1971), an M.Sc. in Decision and Control Sciences from Harvard University (1972), and a Ph.D. in Decision and Control Sciences from Harvard University (1976). His research spans both theoretical and applied domains in Operations Research , with a focus on Finance , Shipping , and Energy Systems , alongside foundational work in Combinatorial Optimization , Algorithms , and Probabilistic Models . Education : BS in Electrical Engineering, Princeton University, 1971 M.Sc. in Decision and Control Sciences, Harvard University, 1972 Ph.D. in Decision and Control Sciences, Harvard University, 1976 His research interests integrate mathematical techniques with real-world applications, particularly addressing Greek business environments through Energy Systems , Financial Modeling , and Shipping Logistics . Publications emphasize Game Theory , Dynamic Optimization , and Graph-Theoretic Algorithms , reflecting his interdisciplinary approach. Notable contributions include algorithmic frameworks for Stochastic Vessel Positioning , Policy Iteration in Control Problems , and foundational studies in Kernel Enumeration and Default Logic . His work bridges Operations Research with Computer Science , particularly in Maritime and Energy Policy contexts. Administrative Roles : Chairman of the Governing Board, Public Power Corporation S.A. (since April 2004) Chairman of the Faculty Union, AUEB (1994–present) Deputy Chairman, Department of Informatics, AUEB (Sept. 2003–present) Director of Studies, MSc Program in Business Mathematics (Jointly organized with University of Athens and AUEB) Board Member, Hellenic Operations Research Society (1979–1983)

Dimitrios D. Piromalisمشاهده پروفایل

دانشیار

• Electronic Embedded Systems
• Autonomous Vehicles
• Internet of Things (IoT)
• +۷ مورد دیگر

Dimitrios D. Piromalis is an Associate Professor at the University of West Attica , specifically within the Department of Industrial Design and Production Engineering . He leads the Research Lab of Electronic Automation, Telematics and Cyber-Physical Systems (EATCPS) , focusing on electronic embedded systems for applications in autonomous vehicles, IoT, and cyber-physical systems. With over 120 publications and extensive industry collaboration spanning 25 years, his work bridges academic research and practical engineering solutions. Education : BSc, MSc, and PhD in Electrical and Electronics Engineering. Research Focus : Electronic embedded systems, autonomous vehicles, IoT, cyber-physical systems, digital twins, 3D/4D printing, energy management, and smart agriculture. Recent publications highlight trends in TinyML for smart cities, predictive maintenance integration, hybrid energy storage for EVs, and digital twin applications across agriculture and automotive sectors. His work also extends to emergency communication systems, biomedical sensors, and blockchain-enabled energy gateways. Industry Collaboration : Field Application Engineer and Technical Consultant for multinational semiconductor companies. Teaching : Platforms for AI and Python programming, autonomous vehicles and drones.

Anastasios A. Economidesمشاهده پروفایل

استاد

• Educational Technology
• Collaborative Learning
• User Experience
• +۴ مورد دیگر

Anastasios A. Economides is a Professor at the University of Macedonia in Thessaloniki, Greece, and Director of the SMILE (Smart Mobile Interactive Learning Environments) laboratory. He holds a Fulbright Fellowship and earned his Ph.D. in Computer Engineering from the University of Southern California. His expertise spans educational technology, smart systems, and digital competence, with over 300 publications and 7,000 citations. He has directed the Postgraduate Program in Information Systems and served as a Visiting Professor at institutions like Pompeu Fabra University and the Technical University of Denmark. Educationally, he holds a Dipl.Eng. in Electrical Engineering from Aristotle University (1984), followed by an M.Sc. (1987) and Ph.D. (1990) from USC. His research focuses on personalized learning, user experience in smart systems, and open educational resources (OER). He has led numerous funded projects and received multiple awards, including Best Conference Paper accolades and Greek Fellowships. Dr. Economides teaches courses in Educational Technology, E-Business, and Information Systems. He emphasizes cross-cultural studies in fake news, telepresence robots in education, and gender-sensitive pedagogy. His SMILE lab explores AR applications in cultural heritage and interactive learning environments. He actively contributes to international conferences, editorial boards, and initiatives like the OPENLang Network for language education. Awards: Fulbright Fellowship, Greek Fellowships Foundation Awards, Best Conference Papers Grants: Principal investigator in multiple funded projects Labs/Teams: SMILE Lab, OPENLang Network

Katerina Ierodiakonouمشاهده پروفایل

استاد

• Ancient Philosophy
• Byzantine Philosophy
• Epistemology
• +۳ مورد دیگر

Katerina Ierodiakonou serves as Professor of Ancient Philosophy at the National and Kapodistrian University of Athens and Associate Professor of Ancient Philosophy at the University of Geneva, where she leads groundbreaking research in ancient and Byzantine philosophical traditions with particular emphasis on epistemology and logic. Her research program spans ancient theories of color, sensory perception, and logical systems, focusing extensively on Theophrastus' De sensibus, Byzantine commentaries on Aristotle, and post-Aristotelian theories of vision. She investigates how ancient thinkers conceptualized color psychology, optical phenomena, and cognitive processes through meticulous textual analysis of primary sources. Recent publications reveal a concentrated scholarly trajectory examining vision theories across Greek and Roman contexts, Byzantine adaptations of Aristotelian logic, and the epistemological frameworks of ancient scientific inquiry. Her editorial work on specialized volumes has significantly advanced understanding of Graeco-Roman color theory and dialectical methods in post-classical philosophy. Professor Ierodiakonou directs three major international research initiatives: Theophrastus’ De sensibus critical edition project (2021-2024, FNS Switzerland), A Sourcebook of Byzantine Philosophy (2020-2023, ELIDEK Greece), and Theories of Cognition in the Aristotelian Commentators (2018-2022, FNS Switzerland), securing substantial funding for collaborative scholarly work across European institutions. Her academic activities are centered within the Division of Philosophy and Theory of Science and Philosophy at the National and Kapodistrian University of Athens, where she coordinates international research teams and contributes to the development of critical editions that bridge ancient philosophical texts with contemporary analytical frameworks.

• Personalized Software Technology
• Mobile Device Programming
• Web Programming
• +۴ مورد دیگر

Evangelos Sakkopoulos is an Associate Professor at the Department of Computer Science, University of Piraeus, specializing in Custom Software Technology. He holds a PhD from the Department of Computer Engineering and Informatics at the University of Patras. His research focuses on personalized software systems, mobile programming, web development, and data privacy solutions. He has contributed over 60 publications in international journals and conferences, with expertise in frequent itemset hiding algorithms, AI-driven e-learning systems, and smart home security technologies. Education: PhD in Computer Engineering and Informatics (University of Patras) Research interests include: Personalized Software Technology Mobile Device Programming Web Programming Data Privacy and Security Machine Learning Applications His work spans e-government systems, maritime surveillance technologies, and cultural heritage preservation through AI. Recent projects address challenges in digital identity management, EU policy compliance, and adaptive learning environments. Over 150 academic publications reflect his contributions to privacy-preserving data mining, smart home safety, and mobile healthcare systems.

Eleftherios Siskosمشاهده پروفایل

استادیار

• Optimization and decision support
• Risk modeling and uncertainty control
• Multi-criteria decision analysis
• +۴ مورد دیگر

Eleftherios Siskos is an Assistant Professor at the School of Production Engineering and Management of the Technical University of Crete. He holds a PhD in Decision Support Systems from the National Technical University of Athens (NTUA, 2018) and a Chemical Engineering diploma (NTUA, 2011). Prior to his academic role, he was a postdoctoral researcher at the Paul Scherrer Institute in Switzerland (2019–2023). His research focuses on decision analysis, risk modeling, multi-criteria decision support, energy policy, environmental management, and e-government. He has authored over 20 peer-reviewed publications and delivered presentations at over 30 conferences, earning the prestigious Bernard Roy Award (2023) for his contributions to multi-criteria decision analysis. His work spans European, Greek, and Swiss projects addressing operational research, energy resilience, sustainability, and governance. Notable projects include energy policy analysis for Switzerland, risk assessments of energy infrastructure, and e-government benchmarking in Europe. His research integrates advanced methodologies like Choquet integrals, PROMETHEE, and UTASTAR for decision-making under uncertainty. Academic contributions include innovations in multicriteria decision frameworks, such as robustness analysis and bipolar aggregation-disaggregation approaches. He collaborates with international institutions and has advised on policy portfolios for energy efficiency in Greece. His Decision Science Laboratory at TU Crete develops tools for sustainable development and risk-informed decision support.