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

Sotiris Christodoulouمشاهده پروفایل

دانشیار

• Web Engineering
• Web Application Performance Optimization
• Web Code Quality
• +۷ مورد دیگر

Sotiris Christodoulou is an Associate Professor at the Department of Electrical and Computer Engineering within the College of Engineering at the University of Peloponnese. He also serves as a research associate at the 'Diofantos' Institute of Computer Technology and Publishing. His academic career spans multiple institutions where he has taught graduate and undergraduate courses across seven different universities since 2004. Dr. Christodoulou earned his B.A. in Computer Engineering and Informatics from the University of Patras in 1994 and completed his PhD in Web Engineering from the same institution in 2004. His educational background established the foundation for his extensive research career focused on web technologies and applications. His primary research interests include Web Engineering, Web Application Performance Optimization, Web Code Quality, Semantic Web technologies, Hypermedia Systems, and emerging Web 2.0 and Web 3.0 technologies. His work extends to Virtual Interactive Environments, 3D and Augmented Reality applications, and Spatial Hypertext systems. Christodoulou's research bridges theoretical web engineering principles with practical applications in cultural heritage, education, and urban infrastructure systems. His research output comprises over 45 publications in international journals, book chapters, and conferences, accumulating more than 450 citations. He has participated in over 23 European and National Research and Development Projects focused on web software technology, hypermedia applications, and 3D educational and cultural applications. Professional member of ACM Professional member of IEEE Member of organizing committees for over 15 international scientific conferences Reviewer for recognized international journals (ACM, IEEE, etc.) Christodoulou has extensive teaching experience across seven universities, specializing in programming languages, web software engineering, software quality, and data management. His research projects typically combine applied research with cutting-edge technology implementation for real-world problems in large organizational information systems. He maintains regular office hours at Building K, Office K2.02 at the University of Peloponnese, with appointments available on Mondays and Thursdays.

Nikolaos Papaspyrouمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Formal Verification
• +۴ مورد دیگر

Nikolaos Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) and a member of the Software Engineering Laboratory . His research focuses on the theory and implementation of programming languages, including semantics, type systems, compilers, static analysis, and formal verification. Since October 2021, he has been on leave from NTUA, working as a Software Engineer for Google in the memory management team for the V8 JavaScript and WebAssembly engine. He previously served as Director of the Division of Computer Science (2017-2019) and was on sabbatical with Google's compiler group in Munich (2015-2016). His work includes the RELEASE project (EU FP7 STREP) for reliable large-scale server software and uncertainty handling in distributed databases (European Social Fund). Ph.D. and Diploma in Electrical and Computer Engineering from NTUA M.Sc. in Computer Science from Cornell University His research interests span programming languages , software engineering , and formal verification , with recent publications on coinductive proofs in Liquid Haskell, concurrency semantics, and quantum compilation. He has supervised over 50 diploma projects and mentored numerous students now at institutions like MIT, Princeton, and UC Berkeley. Awards include conference organizing and program committee roles, though no formal scientific prizes are listed.

Diomidis Spinellisمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Computer Science
• +۵ مورد دیگر

Professor Diomidis Spinellis is a renowned academic in Software Technology at Athens University of Economics and Business (AUEB). He specializes in software engineering practices, code quality, AI ethics, and system architecture. His work bridges theoretical advancements with practical applications in industry, emphasizing reproducibility and empirical methods. Recipient of the IEEE Computer Society's prestigious 'Distinguished Contributor Recognition,' Spinellis is the sole Greek scientist to achieve this honor. His research spans software evolution, security, and open-source ecosystems, with a focus on methodologies like refactoring, static analysis, and debugging strategies. Key research interests include AI-generated content detection, modular data analytics, and incident management systems. His studies often leverage large-scale datasets (e.g., Unix evolution, Linux supercomputing analysis) to uncover patterns in software behavior and development practices. Publications frequently address emerging technologies' societal impacts, such as energy-efficient computing and ethical AI deployment. He advocates for reproducible research through tools like the Alexandria3k framework and contributes to open-source initiatives.

Markos Anastasopoulosمشاهده پروفایل

دانشیار

• Optical Communications
• Wireless Networks
• Mobile Computing
• +۳ مورد دیگر

Markos Anastasopoulos is Associate Professor at the National and Kapodistrian University of Athens, specializing in optical/wireless networks and mobile computing. His research focuses on 5G/6G network convergence, intent-based management, and AI-driven optimization for telecommunications. Recent publications address THz-optical integration, federated learning in transport networks, and semantic-aware radio systems. Applied work includes intelligent asset management for railways and techno-economic analyses of network deployments. Recognized with best dissertation and best paper awards, his research bridges theoretical networking with industrial applications in transportation and cloud infrastructure.

• Service-Oriented Architectures
• Cloud Computing
• Data Management
• +۷ مورد دیگر

Professor Kyriazis Dimosthenis holds a faculty position at the Department of Digital Systems, University of Piraeus. He earned his diploma in Electrical & Computer Engineering from the National Technical University of Athens (2001) and a cross-disciplinary MSc in Techno-Economic Systems (2004). His academic rank is Professor specializing in service-oriented architectures with a focus on quality of service and workflow management. He has led European projects like BigDataStack, CrowdHEALTH, and CYBELE, addressing challenges in cloud computing, edge computing, and AI-driven solutions for healthcare, finance, and industrial sectors. His research emphasizes resilient service-oriented systems, AI explainability, and human-centric digital transformation. Notable contributions include frameworks for dynamic resource allocation in hybrid cloud/edge environments, AI applications for maritime safety, and data governance solutions for cross-sector integration. He coordinates initiatives such as the Future Internet Architecture Board and Cloud QoS&SLAs, driving advancements in federated data marketplaces and sustainable computing practices. His recent work explores Large Language Model (LLM) applications in financial decision-making, conversational AI for MLOps, and neurosymbolic systems for defect detection. He also investigates XAI methodologies, including VirtualXAI, which leverages GPT-generated personas for explainability assessment. His projects often bridge technical innovation with societal impact, such as the iHELP platform for holistic health records and SmartCHANGE for behavioral change strategies in youth health. Key themes in his publications include bias mitigation in machine learning, dynamic deployment prediction in hybrid cloud settings, and energy-efficient data spaces for mobility. He has contributed to standards like the H2020-funded IRMOS and 5GTANGO, emphasizing interoperability and fault-tolerant architectures. His work frequently intersects with EU policy frameworks, particularly in data governance and ethical AI implementation.

• Audio Signal Processing
• Music Information Retrieval
• Natural Language Processing (NLP)
• +۳ مورد دیگر

Panagiotis G. Zervas is an Associate Professor at the Department of Electrical and Computer Engineering, University of Peloponnese (since 2020). His expertise spans audio signal processing, music information retrieval, and natural language processing for knowledge extraction. He teaches courses including Signals & Systems, Digital Signal Processing, and Machine Learning. His research focuses on AI-driven applications in sound analysis, music feature extraction, and multimodal information processing. Education: PhD (2007) in Electrical Engineering from the University of Patras, specializing in Greek prosody modeling for text-to-speech systems. Previous roles include Assistant Professorships at Hellenic Mediterranean University (2015–2020) and Technical Educational Institute of Crete (2008–2015). Research Interests: Natural Language Processing (NLP) for text analysis and large language models (LLMs) Audio signal processing, voice analysis, and embedded systems AI applications in job market analytics and skills frameworks Machine learning for music information retrieval Notable Projects: Principal Investigator in EU projects EU-ALMPO (2025–), Train4Blue (2025–), GROWTH4BLUE (2024–), and MICROIDEA (2024–) World Bank consultant (2023–) for AI-driven employment systems in Greece and Pacific Islands Publications in journals like 'Acoustics' and conferences like WAC 2022 and Forum Acusticum 2023 Office: Building K, Office K2.07 | Contact: pzervas@uop.gr

• Service-Oriented Architectures
• Data Management
• Cloud Computing
• +۵ مورد دیگر

Dimosthenis Kyriazis is a Professor at the University of Piraeus, affiliated with the Research Center. He currently teaches courses such as C Programming, e-Business, and Information Systems. His research focuses on service-oriented architectures, cloud/edge computing, data management, and healthcare informatics. Kyriazis holds a PhD from the National Technical University of Athens (NTUA) and has contributed to EU-funded projects like BigDataStack and CrowdHEALTH, addressing quality of service, workflow management, and IoT applications. He leads research on data management in cloud/edge environments, socially-enhanced IoT management, and big data applications in sectors like finance and e-health. His expertise spans distributed systems, software engineering, and interdisciplinary collaborations with industries and academia. He has participated in EU working groups on Future Internet Architecture and Cloud QoS&SLAs. Kyriazis actively seeks interns and collaborates on initiatives like AI-driven healthcare platforms (iHELP) and sustainable computing practices. His work emphasizes human-centric AI, data interoperability, and ethical AI frameworks such as AI4Gov for transparent governance. Education: Diploma in Electrical and Computer Engineering (NTUA, 2001), MSc in Techno-economics (NTUA/University of Athens/University of Piraeus, 2004), PhD in Service-Oriented Architectures (NTUA, 2007). Key research areas include federated data marketplaces (FAME), healthcare data integration (holistic health records), and AI applications in finance (DeepVaR). His publications address topics like explainable AI (XAI), defect detection in manufacturing, and environmental risk correlation with health. Grants and collaborations involve coordinating EU projects targeting data governance frameworks, energy-efficient mobility data spaces (Mobispaces), and AI for policy-making (e.g., OECD AI policy analysis). His contributions bridge technical innovation with societal impact through sustainable computing and ethical AI practices.

Ruzica Piskacمشاهده پروفایل

استاد

• Software Verification
• Security and Applied Cryptography
• Automated Reasoning
• +۴ مورد دیگر

Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files

Zhenjiang Huمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Functional Programming
• +۷ مورد دیگر

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.

Christos Tryfonopoulosمشاهده پروفایل

دانشیار

• Information Retrieval
• Information Filtering
• Personal Information Management
• +۲۰ مورد دیگر

Christos Tryfonopoulos is an Associate Professor and Head of the Department of Informatics & Telecommunications at the University of the Peloponnese, where he leads the Software and Database Systems (SoDa) Lab. His academic career spans prestigious institutions including the Max-Planck Institute for Informatics in Germany, where he led the P2P and Information Management research area from 2006-2009, and the Technical University of Crete, where he completed his PhD and MSc degrees. His research interests focus on information management, distributed systems, digital libraries, and data/user anonymity. His work bridges theoretical foundations with practical applications across diverse domains including environmental monitoring, cybersecurity, cultural heritage, and medical informatics. He has developed innovative frameworks for pollution prediction, cyber-threat intelligence, and academic expertise mapping that demonstrate the interdisciplinary nature of his research. Professor Tryfonopoulos has published over 80 papers in top-tier journals and conferences including TOIS, TKDE, SIGIR, and SIGMOD. His recent work shows a strong trend toward applying machine learning techniques to information management problems, with publications spanning environmental science, cybersecurity, and bibliometrics. His research group has developed several significant tools including VeTo+ for expert set expansion, inTIME for cyber-threat intelligence, and Hydria for cultural heritage analytics. Candidate for best research paper in ESWC 2016 conference Honorable mention for best poster (3rd place) in ESWC 2012 conference Award as Distinguished Scientist Excelling in Research Abroad (2008) Best student paper award in ECDL 2005 conference Heraclitus PhD fellowship from Greek Ministry of Education (2002-2005) National Scholarship Foundation of Greece (IKY) scholarship (1998) Professor Tryfonopoulos has supervised 5 PhD students (3 in progress), 19 MSc students, and 31 BSc students. He has led or participated in 13 competitive EU and national research projects including ENIRISST+ for shipping and transport infrastructure, WeCare for student support structures, and FORESIGHT for cybersecurity simulation. His current research focuses on intelligent infrastructure for transportation logistics, cyber-threat intelligence systems, and educational technologies for data science.

Michael Eichbergمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Software Development Tools
• +۳ مورد دیگر

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

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

Chatziantoniou Damianosمشاهده پروفایل

استاد

• Big Data Systems
• Business Intelligence
• Large-Scale Analytics
• +۵ مورد دیگر

Professor Chatziantoniou Damianos holds a position at the Athens University of Economics and Business (AUEB) within the Department of Management Science and Technology (DMST), School of Business. He earned a B.Sc. in Applied Mathematics from the National & Kapodistrian University of Athens (1991), M.Sc. from New York University's Courant Institute of Mathematical Sciences, and a Ph.D. from Columbia University. His research focuses on big data systems, business intelligence, query processing, and real-time data analysis, with contributions influencing commercial database systems like Microsoft SQL Server and Oracle. As Director of AUEB's Master’s program in Business Analytics and Big Data, he previously served as an Assistant Professor at Stevens Institute of Technology (1997–1999). His industry collaborations include co-founding Panakea Software and VoiceWeb SA, and consulting roles at Aster Data Systems (now Teradata). He leads big data projects for companies like Cosmote, Piraeus Bank, and HEDNO. His research has been published in top venues including VLDB, ICDE, and SIGMOD, emphasizing practical applications in large-scale analytics and OLAP systems. He advises on strategic partnerships for the MSc program and maintains an active role in academic administration, including steering committees and quality assurance initiatives.

Wei Yangمشاهده پروفایل

دانشیار

• Software Testing
• Mobile Security
• Machine Learning for Software Engineering
• +۳ مورد دیگر

Wei Yang is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas, actively contributing to software engineering research through program committee roles at ICSE, FSE, ASE, and ISSTA conferences since 2015. His research focuses on software testing innovation , particularly in mobile security, GUI testing, and AI-driven test automation. Key contributions include frameworks for malware analysis (MalScan), UI exploration (Guardian, Vet), and neural network testing (DeepPerform, EREBA), addressing critical challenges in test oracle generation, flaky tests, and resource-constrained environments. Recent work demonstrates a strategic shift toward LLM and foundation model applications for testing, with 2023-2026 publications exploring vision-language models for GUI testing, parameter ownership in collaborative AI development, and instruction alignment in large language models. This evolution reflects the field's broader trajectory toward AI-integrated quality assurance.

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.