Dana Drachsler Cohen is an Assistant Professor at the Faculty of Electrical and Computer Engineering, Technion, leading the SAFE lab (Secure Artificial Intelligence via Formal Methods and Engineering). Her research bridges formal methods and deep learning to establish security guarantees for AI systems. Her research focuses on leveraging formal analysis and synthesis techniques to mathematically prove the safety of deep learning models against adversarial attacks. Key interests include neural network robustness verification, program synthesis for repair, and privacy-preserving AI. The SAFE lab emphasizes practical system development that scales beyond theoretical methods while enhancing model transparency through customized verification programs. Her publication trends show consistent advancement in robustness verification techniques, evolving from pixel-level attacks to global robustness guarantees and privacy certification. Recent work integrates program synthesis with formal verification to create repair mechanisms and quantification methods with mathematical safety guarantees. Dr. Drachsler Cohen actively recruits students (PhD/MSc/BSc) for research in AI security and formal methods. She maintains significant service contributions as committee member for major conferences including PLDI, SPLASH, and POPL.
Marco Guarnieri is an Associate Professor at the IMDEA Software Institute in Spain, where he leads research at the intersection of security, programming languages, and computer architecture. Prior to his current position, he completed his Ph.D. in Computer Science at the Institute of Information Security at ETH Zurich in 2017. His educational background includes: PhD in Computer Science, 2017, ETH Zurich MSc in Computer Engineering, 2012, Università degli Studi di Bergamo BSc in Computer Engineering, 2010, Università degli Studi di Bergamo Dr. Guarnieri's research spans multiple security domains with particular focus on: Security at the hardware-software boundary Microarchitectural side-channel attacks and countermeasures Database security and access control Formal methods for security verification Secure compilation and information flow control His publication record shows consistent contributions to microarchitectural security, especially regarding speculative execution vulnerabilities and hardware-software leakage contracts, combining theoretical foundations with practical implementations that have advanced secure systems design. Dr. Guarnieri has received significant recognition for his research: Distinguished paper award at CCS 2024 Distinguished paper award at CCS 2023 Distinguished paper award at CCS 2022 Best paper award at S&P 2021 He actively contributes to the research community through conference organization and program committees for PLDI, POPL, and other top venues. Dr. Guarnieri maintains an active research group at IMDEA Software Institute and is currently seeking talented researchers to work on security at the hardware-software interface.
Ioannis Thanos is an Associate Professor of Management at the Athens University of Economics and Business (AUEB), Greece. He previously held roles as Senior Lecturer in Strategic Management and PhD Director at Lancaster University Management School (UK) and Lecturer in Management at the University of Glasgow (UK). His academic career spans teaching and research across institutions including École des Ponts Business School (France) and National and Kapodistrian University (Greece). Education: BSc in Business Administration, AUEB MSc in Marketing and Strategy, University of Warwick Postgraduate Certificate in Academic Practice, University of Glasgow PhD in Business Administration, AUEB Research Interests: Thanos focuses on strategic decision-making processes, Mergers and Acquisitions (M&A), internationalization strategies of SMEs, and organizational politics. His work bridges theoretical frameworks with practical implications for global business environments. Recognition: Journal of Strategy and Management Best Paper Award (2019) Strategic Management Society Conference Best Paper Award Two-time nominee for Best Paper at SMS and EIBA conferences Teaching & Outreach: Thanos has taught in Executive MBA, MBA, MSc, and PhD programs across Europe. He delivers workshops on leadership, strategic management, and change management in countries including England, France, Greece, Hungary, and Tunisia. Publications: Over 30+ articles in journals such as British Journal of Management and Journal of World Business , plus book chapters in volumes like Handbook of Mergers and Acquisitions (Oxford UP). His work emphasizes contextual factors, M&A performance, and SME resilience.
Iosif Galanakis is a Professor in the Department of Materials Science at the Faculty of Sciences, University of Patras, Greece, where he has been a faculty member since 2006. He currently serves as Deputy President of the Department (since 2020) and coordinator of the Department's Research and Management Committee (since 2018), demonstrating active administrative leadership within the institution. His educational background includes: B.Sc. in Physics, University of Athens, 1996 M.Sc., University of Rennes I, France, 1997 Ph.D. in Physics, Louis Pasteur University of Strasbourg, France, 2000 Professor Galanakis's research centers on computational materials science with emphasis on magnetic materials and spintronics . His work employs first-principles calculations to investigate electronic structures of Heusler alloys, particularly focusing on spin-gapless semiconductors and half-metallic systems for next-generation magnetoelectronic devices. He explores nanophase and microphase materials to engineer tailored magnetic properties through atomic-level design. Analysis of his 15 most recent publications (2022-2025) reveals a dominant focus on Heusler compounds (80% of articles), with recurring themes including spin-gapless semiconductivity (47%), magnetic interactions (33%), and first-principles methodology development (27%). His work consistently bridges theoretical computation with practical device applications, particularly in spintronic materials design where electronic correlations and structural properties determine functionality. Professor Galanakis has served as scientific director for three research programs and is currently a member of the management committee for the COST action "EU-MACE" (2023-2027). He actively reviews for over 30 scientific journals and has evaluated numerous national and international research proposals, contributing significantly to the scholarly infrastructure of materials science. As a member of the "Advisory Board of Editors" for Elsevier's Computational Condensed Matter journal and through his extensive invited talks, he maintains strong engagement with the global research community while advancing computational methodologies for magnetic materials discovery.
Professor Manios Thrassyvoulos is a faculty member at the Hellenic Mediterranean University, specializing in Waste Management and Reuse in Agriculture. He holds a BSc in Agricultural Biology and Biotechnology from the Agricultural University of Athens, a BEng in Chemical Engineering from the University of Patras, and a PhD in Civil Engineering and Molecular Biology from the University of Leeds (UK). As Vice Rector of Finance, Planning, and Development since 2017, he oversees strategic initiatives at the university. His research focuses on circular economy technologies, solid waste management, and wastewater treatment. Notable projects include optimizing anaerobic digestion processes for biogas production, developing bioplastics from food waste, and assessing environmental impacts of agricultural practices. He also explores innovative solutions for food waste reduction through mobile apps like FoodSaveShare and community composting programs. Key publications from 2023–2025 highlight advancements in biodegradable materials, wastewater ecotoxicity analysis, and sustainable agricultural practices. His work bridges engineering, environmental science, and policy to address global challenges in resource efficiency and pollution control.
Professor Theodoros Theodorou is affiliated with the Department of Materials Science and Engineering at the School of Chemical Engineering, National Technical University of Athens (NTUA). His office is located in C.301, and his laboratories are in rooms B1.001 and H.202. Contact details include phone: +30210772 3157/3112, fax: +30210772 3112, and email: doros@central.ntua.gr. His webpage is http://comse.chemeng.ntua.gr/dntpage.html . While specific research interests are not explicitly detailed, his departmental affiliation suggests focus areas in materials science, chemical engineering processes, nanotechnology, and advanced materials synthesis. The provided text highlights administrative roles and school activities rather than personal research outputs. No scientific awards or grants are mentioned in the available information. His involvement in academic collaborations and laboratories is noted through institutional announcements related to events like the Panhellenic CHEM-E-CAR Competition and student exchange programs.
Elias Avramidis is a Professor at the University of Thessaly specializing in Research Methodology in Inclusive Education and Educational Sciences. His office is located in the Papastratos Complex, Rosa Imvrioti Building (2nd floor, No 7) with student consultation hours on Wednesdays and Thursdays from 14:00-15:00. Email: avramidis@uth.gr Telephone: 24210-74853 His research centers on Social and Educational Research Methodology, Mixed Methods Research, Sociometric techniques, Special Education, and Pedagogy of Integration. Avramidis investigates social participation of students with special educational needs, teacher attitudes toward inclusion, and evidence-based interventions like peer tutoring and Circle of Friends programs. Recent publications (2019-2024) demonstrate cross-national collaboration across Greece, Canada, Germany, Italy, and Switzerland. His work employs mixed-methods designs to examine collective efficacy frameworks, teacher self-efficacy predictors, and longitudinal social dynamics of students with learning difficulties. Key trends include developing inclusive practice measurement tools and analyzing pandemic impacts on teacher resilience.
Professor Athanasios Vlessidis is a distinguished faculty member in the Department of Chemistry at the University of Ioannina, Greece. He serves as Director of the Section of Inorganic and Analytical Chemistry and has established himself as a leading researcher in analytical chemistry with particular expertise in nanotechnology applications, chemiluminescence, and environmental analysis. Bachelor's Degree (1982-1987): University of Ioannina, School of Sciences, Department of Chemistry PhD (1987-1992): University of Ioannina, School of Sciences, Department of Chemistry, Section of Inorganic and Analytical Chemistry Postdoctoral Research (1989): Department of Chemistry, UMIST University, Manchester, England Postdoctoral Research (1993-1998): Laboratory of Analytical Chemistry, Department of Chemistry, University of Ioannina Professor Vlessidis specializes in molecular and atomic spectroscopy, liquid and gas chromatography, electrochemistry, chemiluminescence applications, flow analysis techniques, and environmental analytical chemistry. His research particularly focuses on the applications of nanotechnology in analytical chemistry and the synthesis and characterization of zeolite catalysts. His work bridges fundamental analytical chemistry with practical environmental and biomedical applications. The recent publications of Professor Vlessidis demonstrate a strong trend toward nanotechnology applications in analytical chemistry, particularly in developing novel sensing platforms using gold nanoparticles, quantum dots, and paper-based devices. His research has evolved from traditional analytical methods toward innovative point-of-care diagnostic tools, environmental monitoring systems, and bioanalytical applications with emphasis on colorimetric and chemiluminescent detection methods. Member of the Hellenic Chemists' Union (EEX) (1987) Member of the Royal Society of Chemistry (GRSC) (1992) Member of the Royal Society of Chemistry (MRSC) (1994) Member of the International Zeolite Association (IZA) (1992) Founding Member of the Hellenic Zeolite Association (HELZA) (1996) Member of the Hellenic Network in Applied Catalysis (HELNAC) (2002) Chartered Scientist (CSci) by the Royal Society of Chemistry (2004-2023) Professor Vlessidis has supervised 44 undergraduate theses, 17 Master's theses, 2 Doctoral dissertations, and 6 practical training students. His research has been supported by numerous grants including European Union projects (STRIDE HELLAS, MEASUREMENTS AND TESTING, ENVIRONMENT), national research programs (PENEDE, YPER), and foundation funding (Alexander S. Onassis Public Benefit Foundation). His work has resulted in 99 peer-reviewed journal publications with over 2,500 citations and an h-index of 28. Professor Vlessidis leads the Laboratory of Analytical Chemistry at the University of Ioannina, where his research team focuses on developing novel analytical methods, particularly in nanotechnology applications for environmental and biomedical analysis. His group has established collaborations with multiple Greek and international universities and participates in major international conferences in analytical chemistry.
Kangjing Huang is a researcher at Purdue University specializing in programming languages and software engineering. Their work bridges theoretical foundations with practical tool development in program synthesis. Research focuses on program synthesis methodologies , particularly reconciling enumerative and deductive approaches. Key contributions include: Developing library-based synthesis techniques for practical code generation Creating frameworks for efficient search space navigation Integrating formal verification with synthesis pipelines Publication trends show consistent advancement in automated programming systems from 2020-2022, with growing emphasis on real-world applicability through library integration. Awards and teaching activities are not documented in available sources. Huang actively contributes to the programming languages research ecosystem through publications at premier venues including PLDI and SAS, with work centered on making program synthesis more scalable and practical for developer workflows.
Xiaokang Qiu serves as Associate Professor in Purdue University's Elmore Family School of Electrical and Computer Engineering, specializing in Programming Languages and Software Engineering with core expertise in program verification, program synthesis, and automated deduction. His research establishes critical bridges between enumerative and deductive synthesis methodologies, developing novel frameworks for verified program generation. Key contributions include string transformation synthesis with concurrency guarantees, bit-vector manipulation optimization via syntax-guided enumeration, and network design automation through comparative learning techniques. This work consistently advances formal verification foundations while addressing practical software engineering challenges. Publication trends from 2017-2025 reveal escalating complexity in synthesis targets—from basic data-structure manipulations to concurrent string operations and network configurations. His approach increasingly integrates machine learning elements with formal methods, demonstrating how query-based learning can drive near-optimal system design while maintaining provable correctness guarantees across diverse computational domains.
Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he has been working since 2001. He serves as the Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM) and chairs the FSE Steering Committee. Professor Roychoudhury leads the TSUNAMi center, a five-year research effort funded by the National Research Foundation in trust-worthy software, and is the Lead Principal Investigator of the Singapore Cyber-security Consortium. Professor Roychoudhury received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His academic journey has been primarily at NUS, where he has built a distinguished career in software engineering research. His research focuses on software testing and analysis, software security, and trust-worthy software construction. Professor Roychoudhury's research group has developed scalable techniques for testing, debugging, and repair of programs using systematic semantic analysis. His work on automatic program repair has been particularly influential, contributing to the vision of self-healing software. Current research directions include integrating large language models with traditional program analysis techniques for autonomous software engineering, as exemplified by the AutoCodeRover project. Professor Roychoudhury's recent publications demonstrate a strong focus on automated program repair, with increasing integration of large language models and AI techniques. His work spans both theoretical foundations and practical applications, with numerous contributions to top software engineering conferences. The research shows a clear trajectory toward more autonomous software engineering systems that can understand code intent, generate repairs, and verify their correctness. IEEE TCSE New Directions Award (2022) ICSE 2023 Most Influential Paper Award ACM Distinguished Speaker (2013-2019) Fellow of the ACM Professor Roychoudhury has successfully mentored numerous Ph.D. students who have gone on to academic positions at prestigious institutions worldwide, including University College London, Max-Planck Institute, and University of Melbourne. His research is supported by significant grants, including a five-year program on Automated Program Repair at NUS funded by the National Research Foundation, and collaborations with industry partners through the Singapore Cyber-security Consortium. The TSUNAMi center represents a major research initiative with substantial funding for trust-worthy software research. Professor Roychoudhury leads an active research group focused on software analysis and repair. The group has developed several notable systems including AutoCodeRover, an autonomous software engineer that can resolve GitHub issues with minimal LLM cost. The group collaborates extensively with industry, as evidenced by the recent acquisition of AutoCodeRover by Sonar. Current research directions include next-generation fuzzing of stateful systems and the integration of AI techniques with formal methods for more reliable software.
Konstantina Chrysafiadi is a Lecturer at the Department of Computer Science, University of Piraeus, Greece. She has held this position since 2007 and teaches undergraduate and graduate courses while supervising student theses. Her expertise lies in Artificial Intelligence, Fuzzy Logic systems, adaptive learning environments, and e-learning methodologies. She is a prolific researcher with over 60 publications in peer-reviewed journals and conferences, including a notable Best Paper Award at the 2020 IISA Conference. Education: PhD and Postdoctoral Research in Computer Science (University of Piraeus) MSc in Information Systems (Athens University of Economics and Business) BSc in Computer Science (University of Piraeus) Research focuses on Fuzzy Logic applications in adaptive educational systems, smart home safety, and personalized learning. Her work bridges theoretical foundations with practical implementations, such as intelligent tutoring systems and emergency prevention frameworks. Recent projects include developing AI-driven cultural e-learning platforms and fuzzy logic-based recommendation systems. Awards: Best Paper Award (IISA 2020) Her contributions to adaptive assessment tools and student modeling have pioneered dynamic educational technologies. Ongoing work explores cognitive-based game design and hybrid learning models integrating machine learning with fuzzy logic.
Ioannis V. Yentekakis is a Professor of Physical Chemistry at the Technical University of Crete (TUC), leading the Physical Chemistry & Chemical Processes Laboratory. His roles include coordinating interdisciplinary research programs focused on catalysis, nanotechnology, and environmental chemistry. He holds editorial positions in journals like Nanomaterials and Frontiers in Environmental Chemistry , and has organized major symposia such as the 16th Panhellenic Symposium on Catalysis. Education: PhD (1987) and Diploma (1983) in Chemical Engineering from the University of Patras. Research Focus: Heterogeneous catalysis, nanostructured catalysts for environmental applications, CO2 management (capture/utilization), fuel cells, and reactor design. Key areas include emissions control (DeNOx, CO, H2S), electrochemical promotion, and energy production from biogas. Grants & Projects: Coordinator of €2.45M Flagship Action on Sustainable Materials (2023–2025), €220K CO2 Recycling Project (2023–2026), and multiple EU-funded initiatives like Eco-Bio-H2-FCs (€1M) and ECO-ETHYLENE (€275K). Labs/Teams: Leads the Physical Chemistry and Chemical Processes Lab (https://www.pccplab.tuc.gr). Collaborates with industry and international partners in catalytic innovation.
Yannis Ioannidis is a Professor at the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens. His research spans interdisciplinary areas including database systems, virtual reality applications, and cultural heritage technology. He leads projects integrating technology with education, art, and social sciences, such as VR environments for urban planning (ARSINOE VR) and AI-driven scientific discovery frameworks. His work emphasizes collaborative tools for digital storytelling and participatory cultural experiences. Ioannidis has contributed to advancements in database query optimization, text exploration through SQL extensions (DETEXA), and indexing techniques for data lakes. His recent focus includes exploring the intersection of tabletop role-playing games with historical education and ethical AI-human coevolution. He actively participates in initiatives like the EBRAINS infrastructure for brain research and the MagicARTS social VR project. Notable research trends in his publications include leveraging VR for immersive learning, designing hybrid museum kits, and applying AI to support UN Sustainable Development Goals. His work bridges technical innovation with societal impact, addressing challenges in education, art preservation, and ethical technology use.
Dr. Athanasia Kostopoulou is a Research Fellow at the Institute of Electronic Structure and Laser (IESL) of the Foundation for Research and Technology Hellas (FORTH) in Heraklion, Crete. Her research focuses on nanocrystal synthesis and their applications in energy storage, photovoltaics, and biomedical technologies. She coordinates a major research program (2018–2021) on perovskite nanosystems for high-performance solar cells, supported by GSRT and HFRI. Key areas of expertise include laser-induced material synthesis, structural analysis, and the development of nanomaterials for sensors, batteries, and catalytic systems. Education: B.Sc. Physics (2004), Aristotle University of Thessaloniki M.Sc. Materials Physics & Technology (2006), Aristotle University of Thessaloniki Ph.D. Chemistry (2012), University of Crete Her research interests emphasize the interplay between nanocrystal structure and functionality, particularly in magnetic, semiconducting, and perovskite-based systems. She employs advanced techniques like Powder XRD, HRTEM, and SQUID magnetometry for material characterization. Notable achievements include developing ozone sensors with CsPbBr microcrystals and creating stable perovskite-rGO electrodes for zinc-ion capacitors. Awards: 2016: Top 10 Team Leader in Applied Research (Greece Innovates!) 2016–2017: Siemens Fellowship for Excellence in Postgraduate Studies 2015: Best Poster Award at 20 th International Conference on Magnetism Her work bridges fundamental materials science with applied technologies, addressing challenges in renewable energy storage, biomedical imaging (MRI), and environmental sensing.
