Alexandra Gasparinatou is a Teaching Professor at the Department of Informatics & Telematics, Harokopio University. She holds a PhD in Educational Technology from the National and Kapodistrian University of Athens, focusing on adaptive learning environments for distance education. Her academic background includes a BSc in Physics (University of Patras), MSc degrees in Medical Physics and Computational Mathematics & Informatics, and an MEd in Educational Sciences (Hellenic Open University). Her research interests center on educational technology, particularly adaptive online learning systems, informatics text comprehension, and learning styles in distance education. She has supervised multiple undergraduate and postgraduate theses and contributed to over 30 publications in peer-reviewed journals and conferences. Dr. Gasparinatou has collaborated with the Hellenic Open University since 2013 as teaching staff and has participated in educational training programs as a trainer. Her work emphasizes the integration of media and adaptive technologies to enhance learning outcomes in computer science education.
Stamatios Papadakis is an Assistant Professor at the University of Crete, specializing in educational technology and innovative pedagogical approaches. His work focuses on integrating emerging technologies like AI, robotics, and gamification into early childhood and primary education. He has demonstrated a strong commitment to open access publishing, with 64% of his research freely available and 55% under open licenses, placing him in the top 1% globally for open licensing practices. His research interests include mobile learning for marginalized populations (e.g., refugees), computational thinking development in young children, and the ethical implementation of social robots in classrooms. Key contributions include pioneering studies on STEM education through tools like ScratchJr and BBC Micro:bit, as well as analyzing the impact of digital addiction on academic performance. Papadakis has published extensively in journals like Studies in Computational Intelligence and Lecture Notes in Networks and Systems , with notable works examining teacher self-efficacy in ICT use and the effectiveness of adaptive gamification in science education. His collaborative efforts with institutions in Greece and Turkey highlight cross-cultural educational challenges and solutions.
Chryssa Sofianopoulou is an Associate Professor at the Department of Informatics and Telematics, Harokopio University of Athens. She holds a Mathematics bachelor’s and a PhD in Education Sciences from the University of Athens. Her research focuses on educational performance analysis, socio-economic factors in education, and ICT integration in learning. She serves as a visiting professor at the University of Cergy-Pontoise (France) and University of Mons (Belgium), and advises international educational policies. She is a key member of the OECD PISA Program, the Institute of Educational Policy Governing Board, and an EU National Expert. Her work includes studies on STEM education interventions, blended learning ecosystems, and microlearning strategies in MOOCs. Education: B.Sc. Mathematics (University of Athens), PhD Education Sciences (University of Athens) Research interests include socio-economic determinants of educational outcomes, geographical disparities in learning, and innovative pedagogical practices leveraging ICT. Her recent work emphasizes STEM co-teaching models and student attitude interventions in science education. Earlier studies explored hybrid learning systems at Harokopio University and mobile learning frameworks in MOOC environments. Her publications span interdisciplinary fields such as educational technology, STEM curriculum design, and policy analysis. She actively contributes to international educational initiatives and advises governmental bodies on education policy. Current research trends focus on bridging digital divides in learning through technology-enhanced pedagogies. Scientific Awards: No specific awards listed, but recognized through leadership roles in major educational initiatives. Advisory roles include advising the French Ministry of Education on educational performance strategies. Grant activities are inferred through her participation in OECD PISA and EU projects. She leads interdisciplinary teams focusing on educational policy and technology integration. Her lab/teams collaborate internationally on projects like the e-me STEM case study and blended learning ecosystem analyses.
Arjun Guha is an Associate Professor at Northeastern University's Khoury College of Computer Sciences, where he also serves as the Area Chair for Software. He conducts research in programming languages with a focus on program synthesis for low-resource programming languages and understanding how computer science education is impacted by large language models. His work spans multiple domains including WebAssembly, software-defined networking, and serverless computing. Guha's research interests center around programming language design, implementation, and application. He has made significant contributions to understanding JavaScript through formal semantics (LambdaJS), developing functional reactive programming for web applications (Flapjax), and creating tools for software-defined networks (NetKAT, Frenetic). His recent work focuses on leveraging large language models for code generation in specialized programming languages and understanding their impact on programming education. His publications reveal a strong trend toward applying AI and machine learning techniques to programming language problems, particularly in code generation and understanding. The research spans from foundational programming language theory to practical applications in education and software development tools, with increasing focus on the intersection of programming languages and large language models. Guha has received several prestigious awards including the OOPSLA Most Influential Paper Award in 2019 for his work on Flapjax, an ACM SIGPLAN Research Highlight for his work on NetKAT, and a Best Student Paper Award. His research has been recognized for its foundational contributions to programming language theory and practical impact on software development. OOPSLA Most Influential Paper Award (2019) for Flapjax ACM SIGPLAN Research Highlight for A Fast Compiler for NetKAT Best Student Paper Award for Flapjax paper Guha advises numerous PhD, MS, and undergraduate students, with several alumni now at leading tech companies and academic institutions. His research has been supported by the National Science Foundation, the Department of Energy, the Office of Naval Research, and industry partners including Google, JPMorgan Chase, MathWorks, Meta, Oracle, and Roblox. He leads the Programming Research Laboratory at Northeastern and is actively involved in major research collaborations like the BigCode Project. Guha is a member of the Programming Research Laboratory at Northeastern and leads several major research initiatives including the BigCode Project's evaluation working group. His lab develops practical software systems like MultiPL-E (a polyglot benchmark for Code LLMs) and WasmFX (bringing effect handlers to WebAssembly), with applications in education, software development, and high-performance computing.
Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.
Magnus O. Myreen is a Professor in the Department of Computer Science and Engineering at Chalmers University of Technology, Sweden. He has been with Chalmers since 2014, becoming a tenured Associate Professor in 2015 and being promoted to full Professor in June 2023. Myreen has an extensive record of service to the programming languages and formal methods communities, including serving on program committees for major conferences like PLDI, POPL, ICFP, and CPP, and chairing the steering committee for the ITP conference series since November 2023. Myreen received his academic training at prestigious institutions: B.A. in Computer Science at the University of Oxford, tutored by Dr. Jeff Sanders Ph.D. on program verification in 2009 at the University of Cambridge, supervised by Prof. Mike Gordon Myreen's research focuses on program verification, interactive theorem proving, and compiler verification. He is best known for his work on the CakeML project, which is an ML-style language with a formal semantics and a growing ecosystem of proofs and tools that support construction of verified applications. As he states on his website, "My most recent work has focused on CakeML, which is an ML-style language with a formal semantics and a growing ecosystem of proofs and tools that support construction of verified applications. As far as I know, the CakeML compiler is the first verified compiler to have been bootstrapped." His research spans several key areas: Decompilation into logic — verification of machine code Proof-producing synthesis from logic Verified Lisp and ML runtimes Connecting things up: verified stacks Myreen's publication record shows a strong focus on verified compilation and theorem proving, particularly through the CakeML ecosystem. His work consistently bridges the gap between theoretical foundations and practical implementation, with numerous papers on verified compilers, program verification, and theorem proving. A significant trend in his recent work (2021-2024) has been extending CakeML's capabilities to handle more complex language features, improve performance, and verify increasingly sophisticated compilation techniques including bootstrapping and dynamic computation. Myreen has received several prestigious awards and recognitions: Winner of the BCS Distinguished Dissertation Competition 2010 for his PhD work Royal Society Research Fellow (UK) since 2012 ACM SIGPLAN Most Influential POPL Paper Award for the 2014 CakeML paper Amazon Research Award for his proposal "Compiling Dafny to CakeML" Myreen has advised several PhD students to completion, including Alejandro Gomez (Sep 2017 – Jun 2023), Oskar Abrahamsson (Aug 2017 – Dec 2022), and Andreas Loow (Sept 2016 – Sep 2021). He also collaborated with postdocs including Hira Syeda, Thomas Sewell, and Johannes Aman Pohjola. His research has been supported by various funding sources, though specific grants aren't detailed in the provided text. Notably, he received an Amazon Research Award for his work on compiling Dafny to CakeML, and his CakeML project has clearly attracted significant attention in the programming languages and formal methods communities. Myreen leads research on the CakeML project, which has grown into a substantial ecosystem for verified compilation. The project involves a team of researchers working on various aspects including compiler verification, program synthesis, and theorem proving. Myreen also collaborates with researchers at other institutions, as evidenced by his visits to EPFL (meeting Viktor Kuncak, Martin Odersky, and James Larus) and NUS (visiting Ilya Sergey's group). In October 2023, he began a ten-month sabbatical at Cambridge UK, where he worked part-time for Arm Ltd., indicating ongoing industrial collaboration.
Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.
Apostolos Ampatzoglou serves as Associate Professor in the Department of Applied Informatics at the University of Macedonia, where he leads research in software engineering with particular emphasis on technical debt management and software quality. Previously, he held an Assistant Professor position at the University of Groningen (2013-2016) and maintains active collaborations across European research initiatives. His academic credentials include a PhD in Software Engineering from Aristotle University of Thessaloniki (2013), MSc in Computer Systems from the University of Macedonia (2005), and BSc in Informatics from the Technological Education Institute of Thessaloniki (2003). Dr. Ampatzoglou's research program centers on technical debt quantification, reverse engineering, and software maintainability. He pioneered financial models for technical debt management and developed metrics for assessing ripple effects in software systems. His work bridges theoretical foundations with industrial applications through projects like SDK4ED and SmartCLIDE, focusing on energy-efficient development and cloud service engineering. Current investigations explore machine learning applications for vulnerability prediction and technical debt prioritization. His extensive publication record reveals strong trends in applying AI to software quality assurance, with recent work emphasizing transformer models for vulnerability detection and explainable AI for technical debt identification. He actively investigates energy-aware development practices and service-oriented architecture patterns in cloud environments. Notable recognitions include: Top-7 reviewer for Journal of Systems and Software (2022) Best paper awards at IGSCC'21, ICSR'18, and EASE'17 18th most active Consolidated Researcher in Software Engineering (2013-2020) 3rd most active Early Stage Researcher (2010-2017) Multiple personal research grants from National Scholarships Association He has successfully supervised PhD candidates including Dr. Areti Ampatzoglou (Best PhD Thesis Award, University of Groningen) and Dr. Elvira-Maria Arvanitou (VERSEN Institute award). His research is funded through major European projects such as SDK4ED, SmartCLIDE, and SKILLAB, with recent grants exceeding €2M in total funding. Current work focuses on FAIR data implementation and skills gap analysis in European labor markets. As leader of the Software Engineering Lab at the University of Macedonia, he directs a 15+ member team working on technical debt management tools, cloud development environments, and XR applications for warehouse management. The lab maintains strong industry partnerships with technology clusters in Thessaloniki and participates in the Eclipse Foundation ecosystem.
