Dr. George Stamou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), serving as Director of the Artificial Intelligence and Learning Systems Laboratory (AILS). His expertise spans knowledge representation, machine learning, neural networks, and semantic technologies. He leads interdisciplinary initiatives such as the postgraduate program 'Data Science and Machine Learning' (2018–2022). Research Interests: Focuses on knowledge graphs, interpretable AI, semantic web applications, and multimodal learning. His work integrates formal logic systems (e.g., description logics) with modern deep learning techniques, addressing challenges in explainability, bias detection, and ethical AI applications. Publications: Over 150 articles in AI journals/conferences with an h-index of 34 (Google Scholar). Notable contributions include datasets like CHORDONOMICON (music analysis), GOSt-MT (gender bias in MT), and methodologies for counterfactual explanations in machine learning. Awards & Committees: Active in W3C and RuleML standardization bodies. Co-organized major AI conferences. Recognized for contributions to semantic interoperability and knowledge-based systems. Labs & Teams: Directs AILS-NTUA lab and collaborates with CISRI (Computer & Information Systems Research Institute). Engages in EU projects like CultureLabs (cultural heritage digitalization) andsmarty4covid (health data analysis).
Manos Kapritsos is an Associate Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He leads the GLaDOS research group focusing on reliability of distributed systems through formal verification and fault-tolerant replication techniques. His research spans: Formal verification of concurrent and distributed systems Fault-tolerant replication protocols beyond client-server models Automation of verification processes for complex systems Performance verification including latency properties Reliable cryptographic code implementation Analysis of his publications reveals strong emphasis on: developing automated verification tools (Armada, Vale, IronFleet), creating novel replication protocols (Aegean), verifying performance characteristics (Performal), and improving specification reliability (IronSpec). His work consistently bridges theoretical formal methods with practical systems implementation. Awards and honors include: Jay Lepreau Best Paper Award at OSDI 2025 Jon R. and Beverly S. Holt Award for Excellence in Teaching (2022) NSF CAREER Award (2021) Distinguished Paper Award at PLDI 2020 Google Faculty Award (2017) Distinguished Paper Award at USENIX Security 2017 Grant support includes NSF FMitF grants (2020, 2023), NSF Large grant (2021), DARPA grant (2020), and Google Faculty Award (2017). He advises PhD students through the GLaDOS group, focusing on distributed systems verification. He directs the GLaDOS lab at University of Michigan, developing verification frameworks and reliable distributed systems. Current projects include automated proof generation (Basilisk) and efficient communication protocols (Scrooge).
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.
David Naumann is Professor and Department Chair of Computer Science at Stevens Institute of Technology. His leadership in the department and active research program positions him as a key figure in programming languages and formal methods research. Naumann's research focuses on formal methods and software security, with particular emphasis on relational and hyperproperty verification , fine-grained confidentiality/integrity policies , and program analysis and verification . His work bridges theoretical foundations with practical applications in security-critical systems. He has developed novel program logics and verification techniques that enable precise reasoning about information flow and security properties. His recent publications (2022-2025) reveal a strong trend toward modular relational verification techniques with applications to pointer programs, distributed systems, and concurrent applications. The research spans theoretical foundations (algebraic structures for alignment) to practical tools (WhyRel prototype), demonstrating both depth and breadth in addressing verification challenges. Naumann has served as program committee co-chair for IEEE Computer Security Foundations Symposium (2021-2022) and has been active on committees for POPL, CCS, CSF, ECOOP, and other top venues. His editorial service includes ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, and Journal of Object Technology. He leads the Cypress research group at Stevens Institute of Technology and has secured significant funding from NSF, Microsoft Research, and Siemens. His mentoring extends to numerous PhD students who have gone on to successful careers in academia and industry.
George Vouros is a Professor in the Department of Digital Systems at the University of Piraeus, Greece. He is the head of the AI Lab (http://ai-group.ds.unipi.gr/ai-group/) and director of the MSc in Artificial Intelligence program in collaboration with the Institute of Informatics and Telecommunications at NCSR Demokritos. He completed his BSc in Mathematics (1986) and PhD in Artificial Intelligence (1992) at the University of Athens. His research focuses on Expert Systems, Knowledge Management, Multi-Agent Systems, Reinforcement Learning, and Mobility Analytics. He has served as program chair and committee member for major conferences (AAMAS, AAAI, IJCAI) and editorial roles in journals like Discover Artificial Intelligence (Springer Nature) and Information (MDPI). He has supervised 13 PhD students and currently oversees 4. His work spans EU-funded projects and national initiatives, emphasizing scalable mobility analytics, air traffic management automation, and ontology engineering. He is also President of the Hellenic A.I. Society and actively promotes interdisciplinary applications of AI in healthcare, transportation, and environmental monitoring. Recent research highlights include deep reinforcement learning for tactical air traffic conflict resolution, LLM-integrated ontology engineering, and multimodal generative adversarial imitation learning for flight trajectory modeling. His work bridges theoretical advancements with real-world applications in critical infrastructure systems.
Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.
Stavros Demetriadis is a Full Professor at the School of Informatics, Aristotle University of Thessaloniki, Greece. His research focuses on Learning Technologies, including Conversational Agents in Education, Learning Analytics, Computer-Supported Collaborative Learning (CSCL), Computational Thinking, and Massive Open Online Courses (MOOCs). He has led EU-funded projects like colMOOC and developed educational tools such as 'pytolearn' for Python instruction and 'Cubes Coding' (winner of Open Education Challenge 2014 and NUMA Competition 2014). He has supervised 5 completed PhD theses, 4 ongoing PhDs, and over 60 Master’s theses. Academic Appointments: Full Professor (2020–present), Associate Professor (2015–2020), Assistant Professor (2012–2015), Lecturer (2002–2008), Informatics Teacher (1989–2002) Education: PhD in Multimedia Technology in Education (2000), MSc in Electronic Physics (1986), BSc in Physics (1983) His work bridges AI and education, with over 161 publications and an h-index of 27. Recent research explores ChatGPT integration, ethics in Learning Analytics, and AI-driven assessment tools. He has delivered invited talks at institutions like the University of Valladolid (2024) and coordinates the 'Teachers' Fast-paced Distance Training on Tele-education' project. Awards include three international best paper awards and recognition for his 'Cubes Coding' project. Key Research Contributions: Developed frameworks for Conversational Agents in CSCL Innovated Computational Thinking pedagogy through robotics Explored ethics and culture in Learning Analytics adoption Created Python-based MOOCs for non-programmers He has taught courses like Human-Computer Interaction and Learning Analytics, and led short programs on Conversational AI. His collaborations span institutions in Spain, Denmark, and Greece. ORCID: 0000-0002-1561-6372; Google Scholar, Semantic Scholar, and Scopus profiles list his extensive output.
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.
Sotirios K. Goudos is a Professor at the Department of Physics, Aristotle University of Thessaloniki (AUTH), Greece, and Director of the ELEDIA@AUTH lab within the ELEDIA Research Center Network. His research focuses on antenna design, evolutionary algorithms, wireless communications, machine learning, and IoT applications. He holds a B.Sc. in Physics (1991), M.Sc. in Electronics (1994), Ph.D. in Physics (2001), and additional qualifications in Information Systems and Electrical Engineering. Prof. Goudos is a Senior Member of IEEE and serves as Editor-in-Chief of the Telecom open access journal (MDPI) and Associate Editor for IEEE Transactions on Antennas and Propagation, IEEE Access, and IEEE Open Journal of the Communication Society. He has organized multiple special issues in journals like EURASIP Journal on Wireless Communications and Networking and has authored/edited books on antennas and AI in networks. His awards include multiple IEEE Access Outstanding Associate Editor recognitions (2019–2023) and inclusion in Stanford University's top 2% scientists list (2020–2024). He teaches courses on telecommunications, Java programming, and microwave systems, and has supervised over two dozen master's students since 2009. His work spans antenna optimization, AI-driven communications, and IoT security, with contributions to 5G/6G, RIS systems, and smart agriculture. Prof. Goudos actively contributes to IEEE Greece Section leadership roles, including Secretary (2022) and Vice-Chair (2023–2024). His labs and teams focus on ELEDIA's research in electromagnetics, optimization, and AI applications.
Anastasios Zafeiropoulos serves as Assistant Professor at Harokopio University of Athens, specializing in Spatial Data Management and Analysis within the Postgraduate Studies Program for “Applied Geography and Spatial Management” (Direction C: Geoinformatics). His academic role encompasses teaching “Spatial Databases” and advancing research at the intersection of geospatial technologies and distributed computing systems. His research program focuses on Spatial Databases, Internet of Things (IoT), Cloud/Edge Computing, and 6G Network Orchestration, with significant extensions into Knowledge Graph applications for Sustainable Development Goals (SDGs) and socio-emotional learning in education. Key innovations include the EduCardia methodology for student competency assessment and frameworks for climate vulnerability analysis using knowledge graphs. Analysis of his 2024-2025 publications reveals three dominant thrusts: (1) AI-driven orchestration of 6G services across the computing continuum using reinforcement learning; (2) Knowledge Graph applications for SDG interlinkage analysis and materials science; (3) EU-funded IoT/Edge Computing project ecosystems. His work consistently bridges theoretical networking concepts with practical sustainability and educational applications. Dr. Zafeiropoulos actively contributes to EU-funded initiatives in IoT and Edge Computing standardization, particularly through AIOTI WG Standardisation. His project portfolio includes NEPHELE multi-cloud ecosystem development and O-RAN slice admission control research, demonstrating strong industry-academia collaboration in next-generation networking. He leads the development of innovative tools including Palindrome.js for distributed system visualization and the EmoSocio open-access emotional intelligence model, reflecting his commitment to translating research into practical educational and environmental solutions.
Elena Anagnostopoulou is a Professor of Theoretical Linguistics at the Department of Philology, University of Crete, where she has been a faculty member since 1998. Her academic career spans theoretical linguistics with a focus on syntax, morphology, and historical linguistics, particularly in the context of Greek language. Dr. Anagnostopoulou earned her PhD from the University of Salzburg in 1994, followed by postdoctoral research at the MIT Institute of Linguistics (1997-1998). She served as Assistant Professor (1998-2005), Associate Professor (2005-2009), and has been Professor of Linguistics at the University of Crete since 2009. She was a Visiting Professor at MIT in 2007 and received the prestigious Friedrich Wilhelm Bessel Research Award from the Alexander von Humboldt Foundation in 2013. Her research focuses on theoretical and comparative syntax, formal linguistic typology, morphology and historical morphosyntax, with particular emphasis on the interface of syntax, morphology and lexicon. She has made significant contributions to understanding argument alternation, declension, agreement, person, gender, inflections, control and autopathic structures. Her work often centers on Greek language but extends to cross-linguistic comparisons. Anagnostopoulou's recent publications demonstrate her ongoing research in gender features, case theory, argument structure, and the historical development of Greek syntax. Her work bridges theoretical linguistics with historical and comparative approaches, examining how linguistic features evolve across time and space. She has increasingly incorporated evolutionary biology methods into linguistic research. Friedrich Wilhelm Bessel Research Award (2013) Elected member of Academia Europaea (since 2019) As scientific director of multiple research projects funded by the Hellenic Research Foundation, including 'Using tools from Evolutionary Biology to reveal relationships among languages' (2019-2023) and 'Modeling language genesis,' she has secured significant research funding. She co-directs the 'Open Generative Syntax' series and serves on the editorial boards of the Journal of Greek Linguistics, Linguistic Inquiry and Syntax. Her work extends to educational applications, with research on learning disabilities, remedial intervention programs, and language acquisition in socioeconomically diverse populations in Greece.
Gérard Berry (born December 25, 1948) is a distinguished French computer scientist currently serving as Professor at the Collège de France, holding the permanent chair Algorithmes, machines et langages (Algorithms, Machines, and Languages) since 2012. He previously held the Informatique et sciences numériques chair (2009-2010) and the Technological Innovation Liliane Bettencourt chair (2007-2008) at the same institution. Before joining Collège de France full-time, he served as Director of Research at INRIA Sophia Antipolis (2009-2012) and at École des Mines de Paris (1977-2001). His research spans over 30 years in three main fields: lambda calculus and functional programming, parallel and real-time programming languages, and design automation for synchronous digital circuits. He is particularly renowned for developing the Esterel programming language. His work bridges theoretical computer science with practical industrial applications. Berry's research has evolved to include current work in Hop and HipHop for Web programming, formal verification of compilers, and languages for computer music. His publications demonstrate consistent contributions to programming language theory, formal methods, and their applications in hardware and software systems. Gold Medal of CNRS (2014) Chevalier de l'Ordre de la Légion d'Honneur (2012) Member of French Academy of Sciences (2002) Member of Academia Europaea (1993) Monpetit Prize of Académie des sciences (1990) Berry has advised 17 PhD students and reviewed numerous theses. His industrial experience includes serving as Chief Scientist Officer of Esterel Technologies (2000-2009), where he directed the implementation of the Esterel v7 compiler. He has also held significant leadership roles including President of the Scientific Council of IRCAM and membership on the Scientific Council of the National Education. His teaching at Collège de France has covered topics ranging from the foundations of computation to the societal impact of digital technology, with courses including The Informatics of Time and Events and Proving Programs: Why? When? How? His laboratory work has focused on developing practical applications of theoretical computer science concepts.
Alvin Cheung is an Associate Professor in the Computer Science Division at UC Berkeley's EECS department. He is affiliated with the Data Systems and Foundations group, Programming Systems group, Sky Lab, and SLICE Lab, and serves as a faculty affiliate at the Berkeley Institute for Data Science. He advises the Data Science Discovery Program and provides technical guidance to industry partners. His research spans data management, programming languages, and scalable software systems, with emphasis on helping users process large datasets efficiently. Key innovations include verified lifting (applying formal methods and ML to infer program properties) and systems for optimizing database-backed applications and geospatial analytics. Recent work explores LLM-driven code optimization and transpilation techniques. His publications (2023-2025) show strong trends in ML-enhanced systems, verified compilation, and data management tools. Articles frequently integrate formal methods, program synthesis, and hardware-aware optimizations across domains like databases, distributed computing, and HCI. Scientific Awards: ACSIC Rock Star Award (2025) Dahl-Nygaard Junior Prize (2024) VLDB Early Career Research Contribution Award (2023) IEEE TCDE Rising Star Award (2020) Sloan Fellowship (2019) NSF CAREER Award (2017) 20+ additional honors Advising & Grants: He mentors PhD/MS students (e.g., Lily Liu at OpenAI, Chenglong Wang at Microsoft Research). Research is funded by: NSF DOE ONR ARO Intel Notable grants include ONR Young Investigator Award and ARO Early Career Program Award. Labs & Teams: Leads projects in Berkeley's Data Systems/Programming Systems groups and collaborates with Sky Lab/SLICE Lab. Manages labs focused on verified compilation (e.g., Tenspiler) and data infrastructure (e.g., Spatialyze).
Christos Ouzounis is a Professor of Bioinformatics at the Department of Informatics, Aristotle University of Thessaloniki , with a career spanning institutions including the European Bioinformatics Institute , King's College London , and University of Toronto . His work bridges Computational Biology , Digital Biology , and Metagenomics , focusing on large-scale data analysis, machine learning applications, and functional annotation of proteins. Education : BSc in Biological Sciences (1986), MSc in Biological Computation (1987), and DPhil in Computational Chemistry (1993) Key Roles : Director of the Bioinformatics Centre at King's College London (2007-2010), Research Director at IDEP-EKETA (2014-2020) His research interests include low-complexity protein sequences , Covid-19 seasonality patterns linked to UV radiation, and metagenomic analysis of urban microbiomes in cultural heritage sites. Current projects involve machine learning models for microbial coexistence networks, ontological classification of biomedical literature, and bioinformatics tool development . Publications highlight trends in archaeal genomics , functional dark matter in metagenomics, and epidemiological modelling . Notable collaborations include work on BioTextQuest v2.0 for concept discovery and MjCyc for metabolic pathway analysis.
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.
