Thanasis Papaioannou is a Senior Researcher at the STEcon lab at Athens University of Economics and Business (AUEB), where he has been since 2006. He concurrently teaches Python Programming and Android Programming at the University of Thessaly and Data Management in IoT at the Technological Educational Institute of Thessaly. His research focuses on smart grid demand-side management, IoT data management, gamification for energy conservation, and privacy mechanisms in distributed systems. Education: He holds a B.Sc. (1998), M.Sc. (2000) in Computer Science from the University of Crete, and a Ph.D. (2006) in Informatics from AUEB. He has held postdoctoral roles at EPFL (2008-2013) and positions at CERTH (2013-2016). Research Interests: His work spans IoT-enabled gamification for energy efficiency, decentralized management frameworks, and blockchain applications for trustworthy systems. Notable contributions include frameworks like ONTOCHAIN and CHArGED, addressing challenges in energy conservation and distributed trust. Publications: Over 65 papers in high-impact venues including IEEE Transactions on Smart Grid and ACM e-Energy. Recent work emphasizes blockchain-semantic convergence, decentralized IoT governance, and energy market coordination under uncertainty. Professional Impact: Project manager in 17 national/EU projects, with over 1200 citations. Advises on energy systems and decentralized technologies, emphasizing user-centric design and behavioral interventions.
George J. Siomkos is Professor of Marketing and Dean of the School of Business at Athens University of Economics & Business (AUEB). He also serves as Director of the MSc Program in Services Management (MSM) and Director of 'Agora' (Market Analysis & Consumer Behavior Laboratory). Previously, he has held significant leadership positions including Chairman of AUEB's Business Administration Department, Deputy Chair and Chair of the University of Macedonia's Business Administration Department, and Vice President of the University of Peloponnese's Management Committee. Athens University of Economics & Business (Current): Professor of Marketing, Dean of School of Business University of Macedonia: Former Chair of Business Administration Department University of Peloponnese: Former Vice President of Management Committee Dr. Siomkos holds an impressive academic background with a B.Sc. (cum laude) in Marketing and Management, M.B.A. in Finance, M.Sc. in Statistics & Operations Research, M.Phil. in Marketing, and Ph.D. in Marketing and Corporate Strategy, all from Stern School of Business, New York University. His research focuses on consumer behavior and analysis, marketing research, services marketing (particularly tourism, sports, media, and entertainment), strategic marketing and planning, brand management, and product-harm crisis management. He has authored 10 textbooks in marketing and published over 80 articles in prestigious journals including Journal of Retailing, European Journal of Marketing, and Journal of Consumer Behaviour. Analysis of his recent publications (2007-2010) reveals a strong emphasis on crisis management, particularly product-harm crises, with numerous studies examining consumer responses, recovery strategies, and competitive implications. Simultaneously, he maintains significant research in digital marketing environments, exploring online store atmospherics, layout, and consumer behavior in e-commerce contexts, particularly within the travel industry. Doctoral Consortium Fellow - American Marketing Association (1988) Multiple teaching excellence awards Citations exceeding 200 in international academic journals including Journal of Marketing and Journal of Marketing Research Professor Siomkos has extensive teaching experience across multiple institutions including Stern School of Business (NYU), Long Island University, ALBA, University of Piraeus, University of Macedonia, and Hellenic Open University. He has served on editorial boards of various scientific journals and as a member of organizing committees for international conferences. His laboratory 'Agora' focuses on market analysis and consumer behavior research, providing valuable insights into Greek and international markets.
Michael D. Bond is a Professor in the Department of Computer Science & Engineering at Ohio State University's College of Engineering. He leads the Programming Languages and Software Systems (PLaSS) Research Group, which focuses on designing program analyses and software and hardware systems that enhance computing reliability, scalability, and security. His academic service includes general chair for PLDI 2027, program committee membership for multiple top conferences, and committee roles in SIGPLAN Research Highlights (2024-2027). Professor Bond's research spans programming languages, systems, and security, with particular expertise in memory management, concurrency, hardware transactional memory, information flow control, and predictive race detection. His work bridges theoretical foundations with practical implementations, as evidenced by numerous open-source projects accompanying his publications. The PLaSS group has made significant contributions to understanding and improving memory models, developing efficient garbage collection techniques for modern architectures, and creating novel approaches to secure programming in languages like Rust. Analysis of his recent publications reveals a clear trajectory toward addressing security and reliability challenges in modern computing systems, particularly through language-based approaches. His work increasingly focuses on Rust programming language security mechanisms, memory disaggregation for datacenters, and advanced techniques for detecting and preventing concurrency bugs. The research demonstrates strong continuity in exploring memory models and concurrency while adapting to emerging hardware trends and security challenges. Outstanding Teaching Award, Department of Computer Science and Engineering, Ohio State University (2018) Lumley Research Award, College of Engineering, Ohio State University (2016) OOPSLA 2015 Distinguished Paper and Artifact Awards NSF CAREER Award ACM SIGPLAN Outstanding Doctoral Dissertation Award Intel PhD Fellowship Professor Bond actively mentors several PhD students including Chujun Geng, Vincent Beardsley, Chris Xiong, Victor Chen, and Noah Charlton, with external co-advisee Zixian Cai at Australian National University. His research is currently supported by multiple NSF grants including SaTC-2348754 (2024-2027), CyberCorps-2336531 (2024-2029), and CSR-2106117 (2021-2025), reflecting sustained funding for his work in information flow control, security, and systems research. The PLaSS Research Group maintains a strong presence in both academic and industrial communities, with graduated PhD students securing positions at major technology companies like Google, Amazon Web Services, and Huawei, as well as academic positions at institutions like UIUC and IIT Kanpur. The group's work combines theoretical rigor with practical implementation, consistently producing open-source artifacts that enable reproducibility and further research in the systems and programming languages community.
Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London's Faculty of Engineering, where he leads the Multicore Programming Group. He also works as a Software Engineer at Google in the Android Graphics Team. Previously, he served as Director of GraphicsFuzz, an Imperial College spinout company acquired by Google in 2018. His research spans programming languages, compilers, verification, and testing, with a particular focus on randomized and fuzz testing techniques for compilers and program analyzers. Donaldson has developed several influential testing frameworks including GraphicsFuzz, RustSmith, and GrayC, which have significantly advanced compiler testing methodologies. Analysis of his recent publications reveals a strong trend toward practical applications of compiler testing techniques across diverse domains including GPU programming, verification-aware languages, and memory models. His work increasingly incorporates continuous integration practices and focuses on addressing real-world challenges in compiler development and verification. Donaldson maintains active involvement in the programming languages research community, serving on program committees for major conferences including PLDI, POPL, ASPLOS, and SPLASH. He has contributed significantly to advancing compiler testing methodologies and has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop). He leads the Multicore Programming Group at Imperial College London, which focuses on challenges in parallel and concurrent programming. His work bridges theoretical computer science with practical software engineering challenges, particularly in the areas of compiler correctness and verification.
Efstathios Stamatatos is a Professor in the Department of Information and Communication Systems Engineering at the University of the Aegean, Greece. He has been a faculty member at the university since 2004, following previous research positions at the Wire Communications Lab of the University of Patras, the Polytechnic University of Madrid, the Austrian Research Institute for Artificial Intelligence, and the TEI of Ionian Islands. His primary research interests include Text mining, Intelligent information retrieval, Natural language processing, Machine learning, and Computer music, with a particular focus on authorship attribution, plagiarism detection, and web genre identification. His work bridges computational linguistics, digital forensics, and digital humanities, applying machine learning techniques to analyze textual patterns and stylistic features. Dr. Stamatatos has authored numerous publications on authorship attribution, plagiarism detection, and text classification, with a strong emphasis on developing robust methodologies that work across different domains and languages. His research has evolved from traditional n-gram approaches to more sophisticated techniques involving machine learning ensembles, topic modeling, and recently, addressing challenges posed by generative AI systems. He has served as Associate Editor for the International Journal of Digital Crime and Forensics, and as Editorial Board Member for Language Resources and Evaluation and Information Processing and Management. He has also been Guest Editor for a Special Issue on Plagiarism and Authorship Analysis in Language Resources and Evaluation. Dr. Stamatatos has been instrumental in organizing the PAN (Uncovering Plagiarism, Authorship, and Social Software Misuse) workshop series, serving as co-organizer and contributing numerous overview papers on authorship verification, plagiarism detection, and digital text forensics. He has also served on program committees for major conferences including ACL, SIGIR, ECIR, and AAAI.
Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints
Professor Chatziantoniou Damianos holds a position at the Athens University of Economics and Business (AUEB) within the Department of Management Science and Technology (DMST), School of Business. He earned a B.Sc. in Applied Mathematics from the National & Kapodistrian University of Athens (1991), M.Sc. from New York University's Courant Institute of Mathematical Sciences, and a Ph.D. from Columbia University. His research focuses on big data systems, business intelligence, query processing, and real-time data analysis, with contributions influencing commercial database systems like Microsoft SQL Server and Oracle. As Director of AUEB's Master’s program in Business Analytics and Big Data, he previously served as an Assistant Professor at Stevens Institute of Technology (1997–1999). His industry collaborations include co-founding Panakea Software and VoiceWeb SA, and consulting roles at Aster Data Systems (now Teradata). He leads big data projects for companies like Cosmote, Piraeus Bank, and HEDNO. His research has been published in top venues including VLDB, ICDE, and SIGMOD, emphasizing practical applications in large-scale analytics and OLAP systems. He advises on strategic partnerships for the MSc program and maintains an active role in academic administration, including steering committees and quality assurance initiatives.
Dimitrios Karolidis is a Lecturer at the Department of Informatics and Computer Engineering within the School of Engineering at the University of West Attica (UniWA). He holds a Bachelor's degree in Physics from the University of Ioannina and a Master's in New Information and Communication Technologies from the National and Kapodistrian University of Athens (NKUA). Education: BSc in Physics, University of Ioannina MSc in New Information and Communication Technologies, NKUA His research focuses on Web Application Development , Internet Technologies , and Machine Learning . He has contributed to photovoltaic system optimization through projects like SmartPV , emphasizing fault detection, energy efficiency, and IoT integration. His publications highlight advancements in smart photovoltaic systems , including fault detection algorithms and communication protocols, aiming to reduce maintenance costs and improve energy output. He has also authored textbooks on programming languages like C and Python, widely used in academic settings. He has previously held academic positions at the Technological Educational Institute of Athens (2007-2018) and TEI Piraeus , working on laboratory and teaching roles related to computer systems and networks.
Andreas Papasalouros is an Associate Professor at the Department of Mathematics, University of the Aegean. He holds a Ph.D. in Engineering from NTUA (2004), a Diploma in Electrical and Computer Engineering (2000), and a BSc in Physics (1992). His research focuses on Educational Technology , Adaptive Hypermedia , and Ontology Engineering . Education Ph.D. in Mechanics, School of Electrical and Computer Engineering, NTUA (2004) Diploma in Electrical and Computer Engineering, NTUA (2000) BSc in Physics, National and Kapodistrian University of Athens (1992) Research Interests Papasalouros's work centers on leveraging UML and Ontologies for designing Educational Software . He explores Automated Assessment systems, Accessibility solutions (e.g., TeX-to-Braille), and Mobile Learning applications. His studies often intersect with Collaborative Learning and Semantic Web technologies. Key Contributions His publications span Adaptive Hypermedia , Ontology-Driven Learning , and Accessibility Tools . Notable works include Ob-AHEM (2002), Grid4All Ontology (2008), and TeX-to-Braille Transcribing (2017). Recent trends emphasize Game-Based Learning and Query Log Analysis for ontology creation. Courses Taught New Technologies in Education (3rd semester) Introduction to Computer Science (2nd semester) Advanced Programming Languages (6th semester) Postgraduate Course in New Technologies in Education
Xenia Mamakou is an academic at the Department of Business Organization and Administration, School of Business Administration, Athens University of Economics and Business (AUEB). She is affiliated with the Business Informatics Laboratory (BILab) and holds a PhD in Information Systems from AUEB. Education: BSc in Business Organization and Administration (AUEB), MSc in Business Information Technology (UMIST, UK), PhD in Information Systems (AUEB) Her research focuses on business analytics, digital transformation, and the organizational/social impacts of technology. She has published over 30 articles on topics like business analytics, ERP systems, e-commerce, and agile methodology. Her recent works explore AI adoption, metaverse opportunities, and agile project management in Greece. She has authored an academic book on Excel-based data analysis and received two teaching excellence awards from AUEB. She serves as scientific director of an eLearning course and participates in three other programs as a lecturer. Her involvement in committees includes Teaching and Learning Support, Gender Equality and Anti-Discrimination, and AUEB Faculty Association (Treasurer since 2021). Scientific Awards: AUEB Teaching Excellence Award (twice) Treasurer, AUEB Faculty Association (2021–present)
Emery D. Berger is a Professor at the Manning College of Information and Computer Sciences, University of Massachusetts Amherst, and an Amazon Scholar at Amazon Web Services. He received his Ph.D. in Computer Science from the University of Texas at Austin in 2002 and has held visiting positions at Microsoft Research and the Barcelona Supercomputing Center. His research focuses on systems that improve reliability, security, and performance, with core interests in: Programming languages and runtime systems Operating systems and memory management Performance optimization and causal profiling Software debugging and AI-assisted tools He has received numerous prestigious awards, including: ACM Fellow (2019) Best Paper Awards (FAST, OOPSLA, SOSP) NSF CAREER Award 5 SIGPLAN Research Highlights 5 CACM Research Highlights Microsoft SEIF Award He advises PhD, Master's, and undergraduate students in the PLASMA Lab, which develops impactful systems like Scalene (Python profiler), Coz (causal profiler), and CSrankings. His work has influenced industry tools, including memory managers in macOS and Windows.
Gérard Berry is affiliated with Collège de France in France, where he holds a professorial position. His academic work focuses on programming language design and implementation. His research interests span Programming Languages , Reactive Systems , and Synchronous Programming methodologies. Berry's work bridges theoretical computer science with practical web development applications, particularly in creating robust concurrent systems for modern web environments. Analysis of his publication shows consistent focus on reactive programming paradigms, with recent work examining the integration of synchronous and asynchronous models in JavaScript environments. His research contributes to solving fundamental challenges in event-driven web application development. Berry actively participates in premier programming languages conferences, as evidenced by his contribution to PLDI 2020. He has advised numerous students throughout his career and has been involved in significant research projects advancing programming language theory and practice, though specific details aren't provided in the current documentation.
Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).
Professor Toby Murray is a leading academic in the School of Computing and Information Systems at the University of Melbourne, Australia. He serves as Director of the Defence Science Institute and Co-Lead of the Computer Science Research Group. With a D.Phil. in Computer Science from Oxford University (awarded in 2011), Murray has established himself as a prominent researcher in security and program verification. His research focuses on building highly secure computing systems cost-effectively, with expertise spanning security assessment, vulnerability detection, secure system design, and formal verification. Murray's work bridges theoretical foundations with practical applications, particularly in information flow security for concurrent systems and neural network robustness. Murray's publication record shows a strong trajectory in security and formal methods, with recent work on verified neural network robustness (CAV 2025), EDEFuzz for detecting excessive data exposure (ICSE 2024 Distinguished Paper), and security separation logic for concurrent C programs. His research consistently addresses critical challenges in secure system development, with increasing focus on machine learning security in recent years. Scientific Awards: Distinguished Paper Award at ICSE 2024 for EDEFuzz Murray actively supervises numerous PhD students and has advised many successful researchers who have gone on to faculty positions at institutions including Swansea University and LMU Munich. His service to the community includes being an Associate Editor for IEEE Security & Privacy and ACM Transactions on Privacy and Security, as well as Program Chair for CSF 2025. Murray leads several significant research initiatives including Verisimilar (Verified, Secure Machine Learning), EDEFuzz (Detecting excessive data exposure), and COVERN (Proving information flow security of concurrent programs), demonstrating his commitment to translating theoretical security research into practical tools and methodologies.
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.
