Prof. Dimitris Gizopoulos is a Professor at the Department of Informatics & Telecommunications, University of Athens, leading the Computer Architecture Laboratory. His research focuses on fault tolerance, design validation, performance, and energy efficiency in microprocessors, GPUs, and AI accelerators. He is an IEEE Fellow (2013) and ACM Distinguished Member (2022). His work is supported by Horizon Europe projects like DARE, Neuropuls, and Vitamin-V, alongside industry grants from AMD, Cisco, and Meta. He participates in networks like HiPEAC and Eurolab4HPC and serves on editorial boards of journals including ACM Computing Surveys and IEEE Transactions on Computers . Prof. Gizopoulos teaches Computer Architecture courses at both undergraduate and graduate levels. His research spans cross-layer reliability analysis, voltage scaling effects, and secure hardware design. Notable contributions include frameworks for GPU reliability assessment (GUFI, GPUI-4) and tools like MerLIN for microarchitecture-level analysis. His lab’s work has been funded by the EuroHPC Joint Undertaking and the Greek-China Research Collaboration program. Key Projects: DARE (RISC-V Europe), Neuropuls (neuromorphic accelerators), Vitamin-V (RISC-V cloud environments). Awards: IEEE Fellow (2013), ACM Distinguished Member (2022), IEEE Golden Core (since 2002). Industry Partnerships: AMD, Cisco, Bosch, NVIDIA, Intel, IBM Research. Labs: Leads the Computer Architecture Lab, focusing on fault tolerance and energy-efficient computing. His work emphasizes bridging hardware-software co-design challenges, with publications in top venues like IEEE Transactions on Computers and ACM Computing Surveys . Recent efforts include analyzing silent data corruptions (SDCs) in CPUs and GPUs, and developing validation frameworks for cloud-native architectures.
Dimitris Mitropoulos is an Assistant Professor at the National and Kapodistrian University of Athens (NKUA) in the Department of Business Administration, where he teaches courses on Distributed Ledger Technologies, Data Security and Privacy, Algorithms and Business Analytics, and Introduction to Programming. He also serves as Head of the Reliability Engineering Directorate at the National Infrastructures for Research and Technology (GRNET), Greece's national research and education network organization. Previously, he was a Postdoctoral Researcher in the Computer Science Department at Columbia University. Dr. Mitropoulos received his Ph.D. degree in Secure Software Development Technologies from the Athens University of Economics and Business (AUEB) in 2014. His doctoral research was supported by the Heracleitus II Scholarship, co-financed by the European Union and Greek national funds. He is a member of prestigious professional organizations including ACM, IEEE, and USENIX. Dr. Mitropoulos conducts pioneering research at the intersection of software engineering and cybersecurity, with particular expertise in secure software development, vulnerability analysis, and blockchain security. His work spans multiple dimensions of software security including code injection attacks, infrastructure as code security, smart contract analysis, and dependency management in software ecosystems. His research methodology combines static and dynamic analysis techniques with empirical studies of real-world software systems, particularly focusing on Java, Python, and Solidity ecosystems. His recent work has made significant contributions to understanding security vulnerabilities in modern software development practices and infrastructure management. Dr. Mitropoulos has received numerous prestigious awards for his research contributions, including the Research Excellence Award from NKUA (2025), Distinguished Paper and Artifact Awards at PLDI '22, Best Data Showcase Award at MSR 2018, and multiple postdoctoral research funding scholarships. His work on "Finding typing compiler bugs" was recognized with both Distinguished Paper and Artifact Awards at PLDI '22, highlighting the significance and reproducibility of his research. He has also received recognition for his service to the academic community, including a Certificate of Appreciation from ESEC/FSE '21 for his contributions to conference organization. Dr. Mitropoulos has been actively involved in securing research funding and leading significant research projects. He currently serves as Principal Investigator for the SecOPERA project (2023-Today), funded by the European Commission under Horizon Europe. Previously, he contributed to several major EU and US-funded projects including eSSIF-Lab (2019-2022), FASTEN (2019-2022), PRIViLEDGE (2018-2021), CERTCOOP (2017-2020), PANORAMIX (2016-2019), and TREDISEC (2016-2018). His research has been supported by diverse funding sources including the European Commission's Horizon 2020 program, the National Science Foundation, and the Defense Advanced Research Projects Agency (DARPA). Dr. Mitropoulos plays an active role in the international research community through various leadership positions. He serves on program committees for top-tier conferences including OOPSLA (2026), ICSE (2026), ESEC/FSE (2025), and ISSTA (2025). He has previously served as Workshop Co-Chair for ISSTA 2025 and Student Volunteer Chair for ESEC/FSE 2021. His contributions to mentoring the next generation of researchers include serving as a mentor for the ICSE Student Mentoring Workshop (2022) and supervising Google Summer of Code projects (2017).
Ioannis Z. Emiris is a Professor in the Department of Informatics & Telecoms at the National & Kapodistrian University of Athens and concurrently serves as President and General Director of the ATHENA Research Center in Greece. He holds a BSc in Computer Science from Princeton University (1989) and a PhD in Computer Science from UC Berkeley (1994). His research spans computational geometry, algebraic algorithms, robotics, structural bioinformatics, and optimization. He is a leading expert in sparse elimination theory, geometric modeling, and algorithmic algebra. Affiliations: ATHENA Research Center, National & Kapodistrian University of Athens, INRIA Sophia Antipolis (France via joint AROMATH team). Education: BSc (Princeton), PhD (UC Berkeley). Research Interests Emiris's work focuses on geometric algorithms, algebraic systems, and their applications. His contributions include advancements in sparse elimination theory, computational geometry for high-dimensional data, and robotics. He has developed algorithms for polynomial system solving, Voronoi diagrams, and geometric predicates for ellipses. Articles Overview His recent work bridges theoretical advances with practical applications, such as deep learning for protein structure prediction (HydraProt) and geometric algorithms for high-dimensional data analysis. He explores intersections between algebraic geometry and computational methods, with applications ranging from robotics to bioinformatics. Scientific Awards Best Paper Award at ISSAC 2003 and 2010 MSCA Network GRAPES (2019-2023) Advising & Grants Emiris has supervised numerous students and researchers, contributing to interdisciplinary projects. He has secured grants for initiatives like the GRAPES network and has led teams in algorithm design and geometric software development. His work on MARS (Maple/Matlab/C Resultant-Based Solver) exemplifies his focus on practical algorithm implementation. Labs & Teams He directs the Lab of Geometric & Algebraic Algorithms and collaborates with the AROMATH team at INRIA. His research group develops open-source tools for computational geometry and algebraic computations.
Kyprianos Papadimitriou is a Researcher at the Microprocessor and Hardware Laboratory within the School of Electrical and Computer Engineering at the Technical University of Crete . He holds a PhD in Electronic and Computer Engineering (2012) and has been involved in teaching laboratory courses such as Logic Design , Computer Architecture , and VLSI/ASIC Circuit Design . Research Areas : His work spans Reconfigurable Systems , Hardware Design , Computer Architecture , RFID Systems , and Real-Time Systems . He has developed innovative approaches in FPGA-based dynamic reconfiguration, MPSoC security, and 3D stereo vision for surveillance. Key Trends : Runtime reconfiguration for FPGAs Security frameworks for NoC-based MPSoCs Low-cost embedded vision systems Optimization of reconfiguration overhead Hardware task scheduling methodologies Genetic algorithm implementations on FPGAs Scientific Contributions : 1 USA patent (2005) Co-author of VLSI-SoC 2013 paper nominated for 1st Prize Active member of scientific committees (FPL, ReConFig) Peer reviewer for IEEE, Elsevier, and Springer journals Session chair at IEEE CNS and HPCC conferences Grants & Projects : Participated in competitive European and national programs, serving as scientific manager, coordinator, and technical coordinator. Developed spin-off company (2003-2005) to commercialize master's thesis research. Laboratory & Teaching : Affiliated with the Microprocessor and Hardware Laboratory , focusing on practical training in digital systems, processor-based systems, and VLSI design.
Manos Kapritsos is an Associate Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He leads the GLaDOS research group focusing on reliability of distributed systems through formal verification and fault-tolerant replication techniques. His research spans: Formal verification of concurrent and distributed systems Fault-tolerant replication protocols beyond client-server models Automation of verification processes for complex systems Performance verification including latency properties Reliable cryptographic code implementation Analysis of his publications reveals strong emphasis on: developing automated verification tools (Armada, Vale, IronFleet), creating novel replication protocols (Aegean), verifying performance characteristics (Performal), and improving specification reliability (IronSpec). His work consistently bridges theoretical formal methods with practical systems implementation. Awards and honors include: Jay Lepreau Best Paper Award at OSDI 2025 Jon R. and Beverly S. Holt Award for Excellence in Teaching (2022) NSF CAREER Award (2021) Distinguished Paper Award at PLDI 2020 Google Faculty Award (2017) Distinguished Paper Award at USENIX Security 2017 Grant support includes NSF FMitF grants (2020, 2023), NSF Large grant (2021), DARPA grant (2020), and Google Faculty Award (2017). He advises PhD students through the GLaDOS group, focusing on distributed systems verification. He directs the GLaDOS lab at University of Michigan, developing verification frameworks and reliable distributed systems. Current projects include automated proof generation (Basilisk) and efficient communication protocols (Scrooge).
Amalia Miliou is a Professor in the Department of Informatics at Aristotle University of Thessaloniki, where she has served since 1993, progressing through the academic ranks from Lecturer to her current position as Professor since 2022. She holds a PhD in Electrical and Computer Engineering from the University of Florida (1991) with specialization in Optoelectronics, following an MSc in the same field (1988) and a Physics degree from Aristotle University (1985). Her research focuses on optical communications systems, with specific expertise in optoelectronic circuits simulation, optical switching, optical RAM development, converged fiber-wireless technology, 5G networks, and secure optical communications using chaos theory. Over her career, she has supervised numerous graduate students across these research areas, with thesis topics spanning optical memory systems, fiber-wireless integration, chaos-based secure communications, and advanced optical network architectures. Her recent publications (2021-2024) demonstrate a strong focus on next-generation optical networking solutions for 5G/6G applications, including fiber-wireless convergence, optical memory systems for high-speed networks, and innovative approaches to optical signal processing. Her work bridges fundamental photonics research with practical telecommunications applications, particularly in addressing the bandwidth and latency challenges of modern mobile networks. Professor Miliou has served as the Coordinator of the LLP-ERASMUS student exchange program at the Department of Informatics since 1997 and has held various administrative positions including membership in the University Senate and General Assembly. She has led and participated in numerous research projects, most recently focusing on technological improvements for 5G systems through optical-wireless network development (2019-2021), next-generation healthcare applications leveraging 6G networks (2023-2027), and photonic integrated circuits for random access memory (2012-2015).
Dr. Pinon Hermida Victor is a Researcher at the Institute of Electronic Structure and Laser (IESL) under the Foundation for Research and Technology – Hellas (FORTH). He holds a PhD in Physics from the University of A Coruña (2011) and has conducted extensive research on Laser-Induced Breakdown Spectroscopy (LIBS), focusing on femtosecond lasers, double-pulse configurations, and applications in material analysis, archaeology, and environmental science. His career includes roles at Applied Photonics Ltd (UK) as Senior Applications Scientist (2014-2020) and postdoctoral fellowships at FORTH-IESL through the Marie Curie ATLAS program (2006-2008). Research interests span LIBS methodology development, optical fiber systems for high-power lasers, and software for spectral analysis. Notable contributions include portable LIBS instrument design and radiation-resistant optical components for nuclear facilities. Awards include the 2008 LIBS Contest and the 2011 Premio Extraordinario de Doctorado. Recent work focuses on applying LIBS to archaeological mollusc shell analysis for climate and environmental studies. He collaborates internationally on LIBS quantification challenges and instrument durability in harsh environments. Education: PhD in Physics (2011), University of A Coruña; Diploma in Physics (2001), University of Santiago de Compostela Key Roles: Senior Applications Scientist (Applied Photonics), Marie Curie Fellow (FORTH-IESL), Researcher (Laboratory of Industrial Applications of Lasers) Lab Affiliations: IESL-FORTH and University of A Coruña laser labs
George Vasilakopoulos is a Professor in the Department of Digital Systems at the University of Piraeus , where he also serves as Vice-Chancellor for Academic Affairs and Personnel. By law, he is President of the Quality Assurance Unit (MODIP) and the Employment and Career Structure (DASTA) of the university, overseeing the development of modern information systems. He earned his PhD from the University of London and has held leadership roles including Department President, Director of Postgraduate Programs, and Scientific Director of the Digital Health Services Laboratory. PhD: University of London Current Roles: Vice-Chancellor, Department of Digital Systems Professor Labs: Digital Health Services Laboratory His research focuses on Health Informatics , Cloud Computing , and Medical Data Security , with key contributions to: Emergency healthcare process automation Privacy-preserving personal health record systems Context-aware authorization models Cloud-based medical service frameworks Machine learning in clinical data analysis Interoperable health information systems The trends in his 15 most recent articles (2010-2015) reveal a consistent emphasis on integrating cloud infrastructure , semantic technologies , and mobile platforms to enhance emergency care, chronic disease management, and patient data security. His work bridges biomedical engineering , software architecture , and public health policy . He has held advisory roles for the Minister of Health on IT issues, served on hospital boards, and contributed to national committees for healthcare technology standards. His professional activities include project evaluation for Greek and European research programs and authoring three books on health informatics.
Margiolakis Irini is a Professor at the Department of Cell & Developmental Genetics Biology, University of Patras. Her research focuses on structural biology, protein crystallography, and pharmaceutical applications using synchrotron radiation and X-ray diffraction. She actively collaborates with institutions like the European Synchrotron Radiation Facility (ESRF) and contributes to international crystallography networks. University: University of Patras Department: Cell & Developmental Genetics Biology Email: imargiola@upatras.gr | margiolaki@esrf.fr Research Interests: Structural analysis of proteins and peptides, drug design, insulin polymorphism studies, virus-derived macromolecules, and development of advanced diffraction methods. Her work bridges biophysics, pharmaceutical sciences, and materials science, with a focus on vaccine and diabetes drug development. Recent Article Trends: Publications emphasize synergistic NMR-X-ray powder diffraction approaches for polymorph screening, humidity effects on crystal structures, and pharmaceutical peptide design (e.g., Octreotide, insulin variants). Collaborative efforts span virology (Dengue, Arenaviridae) and methodological innovations in macromolecular crystallography. Scientific Awards: Unesco L'Oreal Fellow (2010) for Young Women in Life Sciences Leadership & Networks: Co-organizer of international crystallography workshops, member of European Powder Diffraction Committee, and co-editor of Acta Crystallographica . Leads initiatives for Greece's integration into synchrotron radiation research via the Greek Synchrotron User Network (GrSUN).
Full Professor at the School of Informatics, Aristotle University of Thessaloniki (AUTh), Greece. Previously served as Associate Professor (2015-2020), Assistant Professor (2008-2015), and Lecturer (2002-2008) at the same institution. Also worked as an Informatics Teacher in Greek Secondary Education from 1989-2002. His research focuses on Learning Technologies with emphasis on Conversational Agents in Education, Learning Analytics, Computer-Supported Collaborative Learning, Computational Thinking, Teaching Machine Learning at School, and Massive Open Online Courses (MOOCs). His recent work heavily investigates the application of AI, particularly conversational agents and large language models, in educational contexts. His publications show a strong trend toward AI applications in education, particularly focusing on conversational agents, learning analytics, and automated grading systems. The research spans multiple educational contexts from K-12 to higher education, with particular attention to student self-regulation, collaborative learning, and ethical considerations in AI implementation. 3 Best paper awards at international conferences Interview by Educational Technology Magazine (2013) Cubes Coding project - Winners of Open Education Challenge 2014 Cubes Coding project - Winners of NUMA Competition 2014 Has supervised 5 completed PhD theses, 4 ongoing PhD theses, over 60 Master's theses, and over 120 undergraduate theses. Led the colMOOC project (2018-2020), a €999,000 EU-funded project on integrating conversational agents and Learning Analytics in MOOCs. Also coordinated the T4E project (2020-2022) on Teachers' Fast-paced Distance Training on Tele-education and a MOOC in Greek on Introduction to Programming with Python. Previously served as Director of the Software and Interactive Technologies Laboratory (SWITCH Lab) until 2020, Member of AUTH Educational Policy Committee until 2020, and Chair of the Scientific Supervisory Board of the 2nd Experimental Junior High School in Thessaloniki until 2020.
Eleni Stai is an Assistant Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), affiliated with the Division of Communication, Electronic and Information Engineering. She holds advanced degrees in Electrical Engineering, Mathematics, and Applied Mathematical Sciences from NTUA and the National and Kapodistrian University of Athens. Her academic credentials include: Diploma in Electrical and Computer Engineering, NTUA (2009) B.Sc. in Mathematics, National and Kapodistrian University of Athens (2013) M.Sc. in Applied Mathematical Sciences, NTUA (2014) Ph.D. in Electrical Engineering, NTUA (2015) Dr. Stai's research integrates advanced optimization techniques with communications networks and energy systems. She develops stochastic and deterministic optimization frameworks for network resource allocation, data analytics on complex topologies, and smart-grid control applications. Her work bridges theoretical foundations with practical implementations in energy-harvesting networks, network slicing, and reinforcement learning for distributed systems. Analysis of her recent publications reveals dominant research thrusts in AI-driven network management (particularly O-RAN and network slicing), energy-integrated communications, and optimization of energy communities. A significant portion of her work addresses the convergence of 5G/6G networking with power systems, emphasizing real-time control and sustainability. Her scientific contributions have been recognized through prestigious awards: Chorafas Foundation Best Ph.D. Thesis award Thomaidis Foundation Best M.Sc. Thesis award Best Paper Award at ICT 2016 Best Presenter Award at IEEE ENERGYCON 2022 Dr. Stai serves on technical program committees for major international conferences and has co-authored the book "Evolutionary Dynamics of Complex Communications Networks". She teaches undergraduate courses in Queuing Systems, Computer Networks, and Social Network Analysis, reflecting her expertise in network theory and applications. Her research trajectory demonstrates continuous evolution from fundamental network optimization to AI-enhanced solutions for next-generation communication-energy systems. Her work builds upon her postdoctoral experience at EPFL (2016-2020) and ETH Zurich (2020-2023), where she developed advanced frameworks for communications networks and energy systems.
Scott Mahlke is a Professor and Associate Chair in the Electrical Engineering and Computer Science Department at the University of Michigan. He is affiliated with the Advanced Computer Architecture Laboratory and the Software Systems Laboratory, where he leads the Compilers Creating Custom Processors (CCCP) research group. His research focuses on compilers, computer architecture, and high-level synthesis, with particular emphasis on designing next-generation computer systems that overcome challenges in performance, power consumption, and reliability. His work bridges the gap between hardware and software through innovative compiler technology that enables customized processors and accelerators. Mahlke's publications demonstrate a strong focus on compiler techniques for exploiting instruction-level parallelism, memory system optimization, and application-specific processor design. His research spans from fundamental compiler algorithms to practical implementations in both general-purpose and embedded systems. National Science Foundation CAREER Award (2003) Morris Wellman Faculty Development Assistant Professor (2004) 2006 ISCA Most Influential Paper Award Multiple best paper awards at major architecture conferences As an advisor, Mahlke has chaired numerous Ph.D. dissertations and actively mentors graduate students in the CCCP group. His research is generously funded by the National Science Foundation, Gigascale Systems Research Center, ARM Ltd., Samsung Advanced Institute of Technology, and other major organizations. The CCCP group maintains strong industry partnerships that facilitate the transfer of research innovations to practical applications.
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.
David Naumann is Professor and Department Chair of Computer Science at Stevens Institute of Technology. His leadership in the department and active research program positions him as a key figure in programming languages and formal methods research. Naumann's research focuses on formal methods and software security, with particular emphasis on relational and hyperproperty verification , fine-grained confidentiality/integrity policies , and program analysis and verification . His work bridges theoretical foundations with practical applications in security-critical systems. He has developed novel program logics and verification techniques that enable precise reasoning about information flow and security properties. His recent publications (2022-2025) reveal a strong trend toward modular relational verification techniques with applications to pointer programs, distributed systems, and concurrent applications. The research spans theoretical foundations (algebraic structures for alignment) to practical tools (WhyRel prototype), demonstrating both depth and breadth in addressing verification challenges. Naumann has served as program committee co-chair for IEEE Computer Security Foundations Symposium (2021-2022) and has been active on committees for POPL, CCS, CSF, ECOOP, and other top venues. His editorial service includes ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, and Journal of Object Technology. He leads the Cypress research group at Stevens Institute of Technology and has secured significant funding from NSF, Microsoft Research, and Siemens. His mentoring extends to numerous PhD students who have gone on to successful careers in academia and industry.
Ioannis Tsaknakis is an Associate Professor at the Department of Electrical & Computer Engineering, School of Engineering, University of Peloponnese. He holds a PhD in computational geometry and multidimensional data structures from the University of Patras (2004) and has been actively involved in software systems research since 2004. His work spans Database Information Management , Big Data Systems , and Knowledge Mining , with a focus on data structures and computational geometry. Research Interests : Information Management in Databases Big Data Management Systems Computational Geometry Knowledge Mining in Databases/Web Publications highlight his contributions to IoT-driven educational frameworks, machine learning applications, and cryptographic systems for data security. He has taught courses on software design and data management since joining the University of Peloponnese in 2019. Contact : jtsaknakis@uop.gr . Office hours are in Building K (Monday & Tuesday, 8:00-9:00).
