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.
Matthias Bucher is a Professor at the Department of Electronics and Computer Engineering, Technical University of Crete. He specializes in analog/RF integrated circuits design, MOSFET compact modeling, and device characterization. His research focuses on nanoscale CMOS, wide-band semiconductor devices, and high-voltage MOSFETs. He leads the Electronics Laboratory and teaches courses such as Electronics II and CMOS Analog IC Design. Education: Ph.D. in Electrical Engineering, Swiss Federal Institute of Technology (EPFL), 1999 M.S. in Electrical Engineering, Swiss Federal Institute of Technology, 1993 Research Interests: Prof. Bucher’s work emphasizes charge-based compact models (e.g., EKV3), RF device modeling, and noise analysis in MOSFETs/JFETs. His contributions include open-source tools for Verilog-A modeling and parameter extraction methodologies for advanced CMOS technologies. Labs/Teams: He directs the Electronics Laboratory , focusing on nanoelectronics and high-reliability circuits. His team collaborates on semiconductor device modeling for aerospace and industrial applications. Grants/Awards: While not explicitly listed, his extensive publication record and leadership in open-source projects indicate sustained recognition in semiconductor research communities.
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).
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
Christos Makris is an Associate Professor in the Department of Computer Engineering and Informatics at the University of Patras, Greece. His academic career spans over two decades with significant contributions to computer science, particularly in data structures, algorithms, and information systems. He maintains active research collaborations and supervises graduate students in his areas of expertise. Dr. Makris's research spans several key areas in computer science with a strong focus on efficient data organization and processing. His work encompasses Data Structures , Information Retrieval , Data Mining , String Management and Processing Algorithms , Computational Geometry , Internet Technologies , Bioinformatics , and Multimedia Databases . His interdisciplinary approach bridges theoretical computer science with practical applications across various domains including web technologies, bioinformatics, and emergency response systems. Analysis of Dr. Makris's publication record reveals a consistent research trajectory focused on efficient algorithms for information management. His work demonstrates evolution from foundational data structure research in the 1990s to more applied work in web technologies, social media analysis, and machine learning applications in recent years. A notable pattern is his ability to adapt core algorithmic techniques to emerging application domains while maintaining theoretical rigor. Dr. Makris maintains an impressive scholarly record with over 3,000 citations, an h-index of 29, and an i10-index of 71 according to Google Scholar metrics. These indicators reflect the significant impact of his research within the computer science community. As an active faculty member, Dr. Makris maintains regular office hours on Tuesdays from 18:00-20:00 and Thursdays from 12:00-14:00. He is accessible via email at makri@ceid.upatras.gr or makri@upatras.gr for academic inquiries and student supervision.
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.
John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.
Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.
Labros Bisdounis is a Professor at the Department of Electrical and Computer Engineering, University of the Peloponnese, Greece. He previously held positions at the Technological Educational Institute of Western Greece, including Associate Professor, Full Professor, and Dean of the School of Technological Applications (2016–2018). He has extensive industry experience as a senior research engineer and project manager at Intracom S.A. (2000–2008), focusing on VLSI circuits and telecom applications. His research interests include CMOS circuit timing/power modeling, low-power/high-speed design, MOSFET modeling, and sensor applications. He has authored over 30 papers with 740+ citations and is an IEEE member. Education: Diploma in Electrical Engineering (1992), University of Patras Ph.D. in Electrical Engineering (1999), University of Patras Research Interests: CMOS circuit timing and power dissipation modeling Deep-submicron/nano-CMOS circuit design MOSFET device modeling Low-power embedded systems and SoC Sensor applications and organic electronics Leadership Roles: Dean of the School of Engineering, University of the Peloponnese (2023–present) Director of Training & Lifelong Learning Centre (2019–2019) Board Member, Hellenic NARIC (2016–2019) Collaborations: Active at the Hellenic Open University as a tutor in Computer Architecture and Digital Systems modules. Co-developed the AETHER framework for pervasive computing and contributed to energy-aware SoC designs for 5 GHz WLANs.
Evangelos Papapetrou is an Associate Professor in the Department of Computer Science and Engineering at the University of Ioannina, Greece. He holds a Diploma (1998) and PhD (2003) in Electrical and Computer Engineering from Aristotle University of Thessaloniki. His research focuses on wireless and mobile networks, including mobile ad-hoc networks, opportunistic networks, satellite networks, quality of service (QoS), and network coding. He has contributed to over 50 peer-reviewed publications and actively participates in EU/nationally funded projects. Research interests include: Wireless/Mobile Network Architectures Opportunistic and Social Mobile Networks Satellite Communication Systems Network Coding Techniques Routing Protocol Design His work emphasizes practical implementations of network protocols, with recent trends focusing on ultra-reliable low-latency communication, energy-efficient broadcasting, and protocol optimizations for 5G/IoT environments. He has developed simulation tools like Adyton for opportunistic networks and contributed to privacy-preserving routing solutions. Teaching responsibilities include courses on Computer Networks I and Wireless Networks (2024/25). He maintains active IEEE/ACM memberships and serves on conference review committees.
Sang Kil Cha is an Associate Professor at KAIST's Graduate School of Information Security and School of Computing, where he also serves as Director of the Cyber Security Research Center (CSRC). His research focuses at the intersection of computer security and software engineering, with emphasis on building and evaluating systems that analyze programs. Dr. Cha received his B.S. from Korea University, and both his M.S. and Ph.D. from Carnegie Mellon University (CMU). His educational background forms the foundation for his experimental approach to computer science research. His primary research interests include software security, software engineering, program analysis, binary code analysis, and fuzzing. Dr. Cha's work centers on developing practical security tools and methodologies that bridge theoretical concepts with real-world applications, particularly in program analysis and vulnerability detection. His research has significant implications for improving software reliability and security through advanced analysis techniques. Dr. Cha's publication record shows a strong focus on fuzzing techniques, binary analysis, and program understanding, with recent work expanding into blockchain security and decompilation. His research consistently appears in top-tier security and software engineering conferences including IEEE S&P, USENIX Security, and CCS. ACM Distinguished Paper Award (2024, 2022, 2014) USENIX Distinguished Paper Award (2023) IEEE Best Paper Award (2021) NDSS Best Paper Award (2019) As Director of CSRC and leader of SoftSec Lab at KAIST, Dr. Cha oversees multiple research projects focused on practical security solutions. His lab develops tools like B2R2 (a binary analysis framework) and OFuzz (a fuzzing platform), which have gained recognition in the security community. Dr. Cha actively contributes to the research community through program committee roles at major conferences including PLDI, ICSE, and ISSTA.
Paschalis Antonis is a Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on hardware architectures for space systems, embedded systems, and image compression standards such as CCSDS. He specializes in FPGA implementations, radiation-hardened electronics, and biomarker development for immunogenic responses to cancer therapies. Research Interests: High-performance FPGA-based hardware accelerators Space-grade embedded systems and data compression CCSDS standard implementations for aerospace applications Molecular biomarkers for immunotherapy response prediction Recent Trends: His work emphasizes resilient systems against radiation effects (e.g., SEUs in FPGAs), high-throughput image compression cores for space missions, and interdisciplinary research linking computational hardware with medical diagnostics via prothymosin α analysis. Grants & Labs: Leads the ASPIICS coronagraph project for ESA's Proba-3 mission, involving advanced optical instrumentation and formation flying systems. Collaborates on COTS FPGA utilization in extreme environments.
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 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.
Michael L. Scott is the Arthur Gould Yates Professor of Engineering in the Department of Computer Science at the University of Rochester's Hajim School of Engineering and Applied Sciences. He received his Ph.D. from the University of Wisconsin-Madison in 1985 and has been a faculty member at Rochester since 1985, serving as Department Chair multiple times (1996-99, 2007, 2017, 2020-2024). He is a Fellow of the ACM, IEEE, and AAAS, and recipient of numerous awards including the Edsger W. Dijkstra Prize in Distributed Computing. Dr. Scott's research focuses on parallel and distributed systems, with particular expertise in synchronization mechanisms, transactional memory, and persistent memory systems. His work spans theoretical foundations to practical implementations, with numerous influential publications and open-source systems like RSTM and Ralloc. His research has addressed critical challenges in concurrent programming, memory management, and system reliability. His publications show a consistent focus on improving the reliability and performance of concurrent systems, with recent work centered on persistent memory technologies. The trajectory of his research demonstrates a progression from fundamental synchronization algorithms to sophisticated systems addressing modern hardware challenges. His publications span top venues in systems, architecture, and programming languages. His scientific honors include: ACM Fellow (2006) IEEE Fellow (2010) AAAS Fellow Edsger W. Dijkstra Prize in Distributed Computing (2006) University of Rochester's Goergen Award for Teaching (2001) Hajim School Lifetime Achievement Award (2018) IEEE TCCA/HPCA Test of Time Award (2022) Dr. Scott has advised over 25 Ph.D. students who have gone on to successful careers in academia and industry at institutions including Lehigh University, Google, Intel, Facebook, and NVIDIA. His textbook 'Programming Language Pragmatics' is a standard reference in the field, now in its 5th edition. He also co-authored 'Shared-Memory Synchronization,' a comprehensive treatment of the field. He spent the 2014-2015 academic year as a Visiting Scientist at Google. His research group, the Rochester Concurrent Systems Group, has developed numerous influential systems including RSTM (a software transactional memory system), Ralloc (a persistent memory allocator), and Montage (a system for persistent data structures). His work often bridges theoretical correctness with practical performance considerations.
