Wei Yang is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas, actively contributing to software engineering research through program committee roles at ICSE, FSE, ASE, and ISSTA conferences since 2015. His research focuses on software testing innovation , particularly in mobile security, GUI testing, and AI-driven test automation. Key contributions include frameworks for malware analysis (MalScan), UI exploration (Guardian, Vet), and neural network testing (DeepPerform, EREBA), addressing critical challenges in test oracle generation, flaky tests, and resource-constrained environments. Recent work demonstrates a strategic shift toward LLM and foundation model applications for testing, with 2023-2026 publications exploring vision-language models for GUI testing, parameter ownership in collaborative AI development, and instruction alignment in large language models. This evolution reflects the field's broader trajectory toward AI-integrated quality assurance.
Earl T. Barr is a Professor of Software Engineering at University College London (UCL), where he heads the System Software Engineering Group and is a member of the Centre for Research on Evolution, Search and Testing (CREST). His academic journey began with a Ph.D. in Computer Science from the University of California, Davis in 2009, after which he joined UCL as faculty. His research spans multiple domains within software engineering, with particular focus on program analysis, type systems, automated program repair, and the emerging field of dual channel analysis that examines the interplay between natural language and formal programming language in source code. Barr's work on the 'naturalness of software' has been influential in understanding how code differs from natural language while exhibiting statistical regularities. Barr's publication record shows a strong trend toward integrating machine learning with traditional software engineering techniques, particularly in type inference (Typilus), program repair, and code understanding. His recent work increasingly focuses on dual channel analysis, exploring how the natural language elements in code (identifiers, comments) interact with the formal programming language to create a richer communication channel for developers. MSR 2019 Most Influential Paper Award Multiple ACM SIGSOFT Distinguished Paper Awards Best Paper Award at IEEE Conference on E-Commerce Technology (2005) Barr actively supervises numerous Ph.D. students and postdocs, with current projects focusing on dual channel program analysis, AI for code, and software security applications. He has established long-term collaborations with researchers at institutions including Royal Holloway and the University of Luxembourg. His teaching portfolio at UCL includes core courses in Malware, Compilers, and Validation and Verification, reflecting his broad expertise across the software engineering spectrum. Barr leads the System Software Engineering Group at UCL, which focuses on practical applications of software engineering research with strong connections to industry problems. The group's work bridges theoretical foundations with real-world software development challenges, particularly in the areas of program analysis and automated software maintenance.
Michael F. P. O'Boyle is a Professor of Computer Science at the University of Edinburgh's School of Informatics. He is a leading researcher in compiler technology, specializing in optimizing compilation, machine learning for compilation, and heterogeneous systems. His work addresses the critical challenges of compiling software for increasingly diverse hardware architectures in the post-Moore's Law era. Professor O'Boyle's research interests focus on: Optimizing compilation techniques Machine learning applications in compilation Heterogeneous computing systems Program synthesis Neural machine translation for code Hardware/software co-design His recent publications demonstrate a strong focus on tensor optimization, compiler infrastructure for heterogeneous systems, and machine learning applications in program analysis and transformation. O'Boyle's work bridges traditional compiler techniques with modern AI-driven approaches to code optimization, addressing the growing complexity of hardware-software interfaces. Professor O'Boyle has received several notable honors and awards: ACM CGO Test of Time award (2017) Senior EPSRC Research Fellow Fellow of the British Computer Society (BCS) He holds significant leadership roles including Director of the ARM Research Centre of Excellence at Edinburgh and Director of the EPSRC Centre for Doctoral Training in Pervasive Parallelism. O'Boyle is also a founding member of HiPEAC, a European network for high-performance and embedded architecture and compilation, and has delivered keynote addresses at major conferences including PPoPP 2019 where he presented his vision for "Rethinking Compilation in a Heterogeneous World."
Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.
Nikos Spanoudakis is an Assistant Professor at the Department of Electronic Engineering of Hellenic Mediterranean University , with concurrent research collaboration at Technical University of Crete . He holds a PhD in Computer Science (Artificial Intelligence) from Paris Descartes University (2009, "Très Honorable"), an MSc in Organization and Administration from Technical University of Crete, and a Diploma in Computer Engineering and Informatics from University of Patras. Research Focus: Multi-Agent Systems (AOSE, Computational Argumentation), Model-Driven Engineering , Smart Buildings , IoT , and Artificial Intelligence Applications in Ambient Intelligence, Finance, and Education Key Contributions: Created ASEME Methodology and AMOLA Language for agent modeling, developed Gorgias-B argumentation framework, and designed Kouretes Statechart Editor for robotic behavior specification His recent publications reveal a strong trend in Explainable AI (2023: Explainable Argumentation as a Service ), Smart Energy Systems (2025: Engineering IoT-Based Open MAS for Large-Scale V2G/G2V ), and EdTech Innovations (2024: Role Assignment in Programming Courses ). He has received prestigious ACM Senior Member (2023) and IEEE Senior Member (2012) distinctions, along with teaching recognition (2021) from Technical University of Crete. Academic Leadership: Serves as Editor for Springer Nature's Computer Science journal and has reviewed for 15+ top-tier publications including IEEE Intelligent Systems and Journal of Web Semantics Conference Involvement: Program Committee Member for 20+ international conferences (IJCAI, ECAI, AAMAS, AAAI) and organizer of multiple European Agent Systems Summer Schools
Dr. Stavroula Zoi is a computer scientist and researcher at the Athens School of Fine Arts (ASFA), serving as a Laboratory Instructor (EDIP) since 2004. Her work bridges art, technology, and education, with expertise in Interactive Multimedia, Extended Reality (XR), and Creative Technologies. She holds a PhD from the National Technical University of Athens (NTUA) and leads projects such as the @postasis platform, a multiuser virtual space for collaborative artistic education and experimentation. Education: BSc in Computer Science, University of Ioannina (1997) PhD in Software Engineering, NTUA (2003) Research & Projects: Developed platforms like InBetween, Action Room II, and Global Earth Art Project. Coordinated the Erasmus+ @postasis program (2017–2020), fostering real-time artistic collaborations globally. Explores XR in art education, including postdoctoral research at the University of the Aegean (2023–present). Teaching: Teaches courses in VR, human-computer interaction, and digital art at ASFA’s Greek-French Master program and the Master in Digital Arts. Labs & Collaborations: Collaborates with Fournos Center for Digital Culture and its Fournos Lab, focusing on multimedia performances and experimental setups.
Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans software engineering, programming languages, and formal methods with a focus on program analysis and verification. His research interests include: Static and dynamic program analysis Reverse engineering and compiler optimizations Program understanding and validation Testing and verification of programs featuring rich protocols Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.) Garbervetsky's recent work focuses on smart contract analysis and verification, particularly for Solidity on Ethereum blockchain. His research bridges theoretical program analysis with practical applications in security-critical domains. He has developed several tools including Contractor for behavior validation, JConsume2 for heap memory analysis, and BudaPest for automated software verification. His scientific contributions have been presented at top-tier conferences including ICSE, FSE, ISSTA, and PLDI. Garbervetsky has served on numerous program committees for major software engineering conferences and has advised multiple PhD and undergraduate students through their research.
Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.
Athanasios Liavas is a Professor at the Technical University of Crete (TUC), School of Electrical and Computer Engineering (ECE), where he has served as Department Chair (2009-2011) and Vice Chair (2011-2013). He holds a Diploma (1989) and PhD (1993) in Computer Engineering and Informatics from the University of Patras. His career includes postdoctoral research at the Institut National des Télécommunications (1996-1998) as a Marie Curie Fellow, and academic roles at the University of Ioannina and the University of the Aegean before joining TUC in 2004 as Associate Professor. He has been a Professor since 2009. His research focuses on Signal Processing for Communications , Information Theory , and Telecommunications , with recent emphasis on tensor decomposition techniques for biomedical signal analysis and machine learning applications. He leads the Telecommunications Laboratory and teaches courses such as Digital Communication Systems II and Wireless Communication Systems. He served as an Associate Editor for the IEEE Transactions on Signal Processing (2005-2009) and was a member of the IEEE SP COM Technical Committee (2006-2011). His recent work includes advancements in nonnegative tensor completion, parallel algorithms for large-scale tensor factorization, and generalized canonical correlation analysis for multi-subject fMRI data. These contributions address challenges in high-dimensional data reconstruction and brain imaging signal processing, leveraging stochastic optimization and distributed computing frameworks. Liavas has authored over 80 peer-reviewed articles, with key contributions in IEEE journals and conferences. His research spans theoretical signal processing, algorithm design, and practical implementations for telecommunications and biomedical engineering.
Christina Livada is an Associate Professor of Commercial Law at the Faculty of Law of the National and Kapodistrian University of Athens. She specializes in consumer protection law, company law, corporate governance, banking law, and capital markets law. She has contributed to law-making committees, including the reform of the Draft Law on Sociétés Anonymes (2018, 2013-2014), and co-authors jurispudence content in the monthly Law Journal Business and Corporate Law with Professor G. Lekkas. Education: LL.B., Faculty of Law, National and Kapodistrian University of Athens (1995) DEA in International Private Law and Commercial Law, University Panthéon-Assas (Paris II) (1996) PhD in Law, National and Kapodistrian University of Athens (2004) She received a research scholarship from the Swiss Institute of Comparative Law in 2000. Research focuses on corporate governance, EU consumer policies, and financial regulatory frameworks. Her work bridges legal theory and practice, addressing contemporary issues like over-indebtedness, cross-border banking transactions, and compliance in the financial sector. Recent publications analyze corporate governance reforms in Greece and EU directives on consumer credit. Scientific Awards: Research Scholarship from the Swiss Institute of Comparative Law (2000) Advising & Committees: Active in policy-making for company law reforms and serves on the European Model Company Act (EMCA) forum and the Committee on International Securities Regulation (ILA Hellenic Branch). She chairs the Greek Society of Banking Law and Capital Markets Law as General Secretary of its Board. Labs/Teams: Collaborates with international networks like the Association Européenne de Droit Bancaire et Financier and contributes to comparative legal research through platforms like the Freunde des Hamburger Max-Planck-Instituts.
Ioannis Rokas is a Professor of Commercial Law at the Department of Business Administration, School of Business, Athens University of Economics and Business since 1997 (previously Assistant Professor since 1985). He is a member of the Athens Bar Association and has been a practicing lawyer since 1971, authorized to appear before the Athens and Piraeus Courts of Appeal and The Supreme Court of Greece. His educational background includes a BA in Law from the University of Athens (1968) and a PhD in Law from Frei Universitaet Berlin (1975). Professor Rokas's research primarily centers on Insurance Law within the European Union, Greece, and Eastern Europe, as well as Infrastructure Finance and Project Finance . His work bridges commercial law and business practices, with a focus on legal frameworks governing insurance contracts and large-scale infrastructure development. His scholarly output spans five decades with over 160 publications in Greek, German, and English. Key works like "Hellenic Insurance Law" (1999) and "Introduction to Greek Private Maritime Law" (2001) demonstrate his expertise in specialized legal domains, showing consistent emphasis on European harmonization of insurance law and maritime commercial regulations. He holds leadership roles in major international legal associations: Member of the Presidential Council of the International Association for Insurance Law (AIDA) Chairman of the International Working Group "Distribution of Insurance Products" Member of the PEICL project group (Principles of European Insurance Contract Law) President of the Hellenic Insurance Law Association Former General Secretary of the Commité Maritime Internationale Greek Section Former Chairman of the Mediterranean Maritime Arbitration Association
Χρ. Καβουσιανός is a Professor at the Department of Computer Engineering & Informatics, University of Patras (Polytechnic School). His research focuses on VLSI design, digital circuit testing, and test data compression. He holds a Diploma (1996) and PhD (2000) from the same department, with notable scholarships including the Maritsas Doctoral Scholarship (1999). Key roles include leading the Heraclitus II and Pythagoras II research programs as principal investigator. Collaborations include Duke University (USA) with Prof. Krishnendu Chakrabarty. Research highlights: Pioneered techniques in scan-based testing, test set embedding, and low-power testing. Over 45 publications in top journals/conferences (e.g., IEEE TCAD, DAC). Notable work includes defect-oriented testing methods and Huffman-based compression schemes. Has supervised 9 advisees across doctoral/postgraduate levels. Holds a 2010 US patent application on power switch design.
Peter W. O'Hearn is a Professor of Computer Science at University College London and a Research Scientist at Meta AI (FAIR). He has held academic positions at Syracuse University, Queen Mary University of London, and University College London, before joining Facebook (now Meta) in 2013 as part of the acquisition of the verification startup Monoidics. His career spans over 25 years of research in programming languages and logic, with significant contributions to both theoretical foundations and practical industrial applications. O'Hearn's research primarily focuses on formal reasoning about programs, with his most notable contributions being the co-invention (with John Reynolds) of Separation Logic and the development of Incorrectness Logic. His work bridges the gap between theoretical computer science and practical software engineering, emphasizing how fundamental theory, tool development, and real-world application can mutually reinforce each other. He has consistently advocated for the integration of formal methods into industrial software development practices. His research has led to the development of the Infer program analyzer, which runs internally on Meta's code bases and has detected over 100,000 bugs that have been fixed by developers. Infer is also used in production at other major companies including Amazon, Mozilla, Spotify, and Marks and Spencer. His recent work on Incorrectness Logic represents a paradigm shift from traditional program verification approaches, focusing on bug finding rather than correctness proving. O'Hearn has received numerous prestigious awards recognizing both his theoretical contributions and practical impact: Fellow of the Royal Society (elected 2018) Fellow of the Royal Academy of Engineering (2016) 2016 Gödel Prize 2016 CAV Award Two POPL MIP awards Honorary doctorate from Dalhousie University (2018) 2021 IEEE Cybersecurity Award for Practice Throughout his career, O'Hearn has successfully translated theoretical advances into practical tools used at scale in industry. His work on Separation Logic led directly to Infer, while his more recent work on Incorrectness Logic aims to provide foundations for next-generation bug catching tools. He has maintained a strong academic presence while working in industry, continuing his professorship at UCL alongside his role at Meta. O'Hearn leads research efforts at the intersection of formal methods and practical software engineering at Meta, focusing on scaling static analysis techniques to handle the massive codebases typical of modern technology companies. His work has significantly influenced how large tech companies approach software verification and bug detection.
Georgios S. Stamatakos is a Research Professor at the Research University Institute of Communications and Computer Systems (RICS), School of Electrical and Computer Engineering, National Technical University of Athens (NTUA). He also serves as Visiting Professor at the Medical School of the University of Saarland in Germany (2019) and previously at the Hellenic Institute of Medical Sciences, NTUA (2016-2019). He is the Founder and Director of the Research Group for In Silico Oncology and In Silico Medicine at NTUA. Dr. Stamatakos holds a Diploma in Electrical Engineering from NTUA, an MSc in Bioengineering from the University of Strathclyde (Glasgow, UK), and a PhD in Physics (Biophysics) from NTUA. He was a postdoctoral fellow of the State Scholarships Foundation (IKY) at EPISEY-IMMY-NTUA in Medical Technology. Known globally as the 'father of In Silico Medicine,' his pioneering research has established foundational frameworks for computational approaches to medicine. His primary research interests span In Silico Medicine, In Silico Oncology, Multiscale Cancer Simulation, Digital Twins, and the application of Artificial Intelligence in healthcare. He proposed the concept of the 'Oncosimulator' and pioneered the development of integrated Tumor Simulators through projects like ACGT, ContraCancrum, and CHIC. His publication portfolio includes over 200 articles in international peer-reviewed journals and conference proceedings. Analysis of his recent work reveals a strong trend toward clinical translation of computational models, with increasing emphasis on AI integration, digital twins, and personalized treatment planning across multiple disease areas, particularly cancer. CHIC research project rated 'Excellent' by European Commission evaluation committee Recognized as 'father of In Silico Medicine' by global scientific community Elected to Board of Trustees of international Virtual Physiological Human Institute (2019) Elected Co-chair of Cancer and In Silico Oncology Task Force of Avicenna Alliance (2022) Dr. Stamatakos has supervised numerous diploma theses and doctoral dissertations at NTUA. He designed and proposed the first internationally recognized postgraduate course dedicated to In Silico Medicine ('Multiscale Cancer Modelling and In Silico Medicine,' code 705). He has led major research projects including CHIC (funded by EU with 10,582,000 euros) and BOUNCE (HORIZON 2020 project). He serves as an expert for the European Research Council and as Associate Editor for Frontiers in Physiology. He founded and leads the In Silico Oncology and In Silico Medicine Research Group at ICCS-NTUA, which has been instrumental in developing computational frameworks now used across multiple international research programs. His group collaborates extensively with clinical partners, most notably Professor Norbert Graf of the University of Saarland for pediatric oncology applications.
Delphine Demange is an Associate Professor in Computer Science at University of Rennes, working in the Epicure research group (formerly Celtique) at IRISA (UMR 6074 / Inria). Her research focuses on formal methods for programming languages and compilers, with particular emphasis on compiler verification, program semantics, and language-based security. Her research interests include formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, and language-based security. She has made significant contributions to the formal verification of compiler intermediate representations, particularly static single assignment (SSA) form, and has worked extensively on verified compilation techniques. Her publication record shows a consistent focus on formal verification of programming language constructs and compiler components. Recent work (2023-2025) centers on dataflow circuits and solvers, while earlier work (2015-2020) focused on SSA-based optimizations, garbage collection verification, and information-flow security architectures. Her research demonstrates a strong commitment to applying formal methods to practical compiler and language implementation problems. Her scientific awards include the EAPLS Best PhD Dissertation Award in 2012 and the Gilles Kahn PhD Thesis Award in 2013 for her thesis Semantic Foundations of Intermediate Program Representations . She serves on numerous program committees for major programming languages conferences including CC, CGO, OOPSLA, and POPL, and has held leadership roles such as Program Co-Chair for CC 2021 and General Co-Chair for JFLA 2023 and 2024. She is also a member of the CC Steering Committee (2021-2024). Her teaching portfolio includes undergraduate and graduate courses in programming, algorithmics, compilation, and program verification, with a particular focus on trustworthy programming techniques using deductive verification in Why3.
