Nikolaos Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) and a member of the Software Engineering Laboratory . His research focuses on the theory and implementation of programming languages, including semantics, type systems, compilers, static analysis, and formal verification. Since October 2021, he has been on leave from NTUA, working as a Software Engineer for Google in the memory management team for the V8 JavaScript and WebAssembly engine. He previously served as Director of the Division of Computer Science (2017-2019) and was on sabbatical with Google's compiler group in Munich (2015-2016). His work includes the RELEASE project (EU FP7 STREP) for reliable large-scale server software and uncertainty handling in distributed databases (European Social Fund). Ph.D. and Diploma in Electrical and Computer Engineering from NTUA M.Sc. in Computer Science from Cornell University His research interests span programming languages , software engineering , and formal verification , with recent publications on coinductive proofs in Liquid Haskell, concurrency semantics, and quantum compilation. He has supervised over 50 diploma projects and mentored numerous students now at institutions like MIT, Princeton, and UC Berkeley. Awards include conference organizing and program committee roles, though no formal scientific prizes are listed.
Vikram S. Adve is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He co-founded and co-leads the Center for Digital Agriculture and directs the USDA-funded AIFARMS Institute , focusing on AI applications in sustainable agriculture. His research bridges compilers, parallel systems, and AI to address challenges in edge computing and digital farming. Research interests span compiler technologies (LLVM, HPVM), parallel programming models , software reliability , and AI-driven agriculture . Key projects include: CropWizard : Generative AI for agricultural decision-making. HPVM/ApproxHPVM : Compiler IR for edge devices. Hydride/MISAAL : Automated retargetable compiler construction. Recent publications (2018-2025) emphasize compiler optimizations, approximate computing, binary analysis, and AI for systems. Trends show convergence of compiler techniques , heterogeneous computing , and AI applications in agriculture and edge devices. Adve actively recruits students for projects funded by USDA, Intel, Amazon, and Illinois DPI. He leads the HPVM compiler team and digital agriculture initiatives , integrating cross-disciplinary research across CS, engineering, and agronomy.
Stefan K. Muller is the Gladwin Development Chair Assistant Professor in the Computer Science Department at Illinois Institute of Technology. He previously served as a Postdoctoral Researcher at Carnegie Mellon University from 2018-2020 following completion of his PhD there under advisor Umut A. Acar. His academic journey began with an AB from Harvard University in 2012 under Stephen Chong. Dr. Muller's research centers on programming language techniques to improve correctness and efficiency of software, particularly in parallel computing domains. His work spans language and type system design, static resource analysis, and parallel computing methodologies. He leads the Responsive Parallelism research project which extends implicit parallelism models to handle features of consumer software like user interaction and responsiveness requirements. His publication record shows consistent output in top-tier venues including PLDI, POPL, ICFP, and SPAA, with recent work focusing on graph types, responsive parallelism, and resource-aware GPU programming. His research has been supported by NSF grant CCF-2107289. Current advisees include Marelle León (BS), Godha Pallavi Bhogadi (MS), and Alex Friedman (PhD) Former students have gone on to positions at Apple, Amazon, Bloomberg, American Express, and PhD programs at UPenn Teaching responsibilities at Illinois Tech include graduate courses CS534 (Types and Programming Languages), CS536 (Science of Programming), CS440 (Programming Languages and Translators), and CS443 (Compiler Construction). Previously at CMU, he taught Principles of Functional Programming.
Michael L. Scott is the Arthur Gould Yates Professor of Engineering in the Department of Computer Science at the University of Rochester's Hajim School of Engineering and Applied Sciences. He received his Ph.D. from the University of Wisconsin-Madison in 1985 and has been a faculty member at Rochester since 1985, serving as Department Chair multiple times (1996-99, 2007, 2017, 2020-2024). He is a Fellow of the ACM, IEEE, and AAAS, and recipient of numerous awards including the Edsger W. Dijkstra Prize in Distributed Computing. Dr. Scott's research focuses on parallel and distributed systems, with particular expertise in synchronization mechanisms, transactional memory, and persistent memory systems. His work spans theoretical foundations to practical implementations, with numerous influential publications and open-source systems like RSTM and Ralloc. His research has addressed critical challenges in concurrent programming, memory management, and system reliability. His publications show a consistent focus on improving the reliability and performance of concurrent systems, with recent work centered on persistent memory technologies. The trajectory of his research demonstrates a progression from fundamental synchronization algorithms to sophisticated systems addressing modern hardware challenges. His publications span top venues in systems, architecture, and programming languages. His scientific honors include: ACM Fellow (2006) IEEE Fellow (2010) AAAS Fellow Edsger W. Dijkstra Prize in Distributed Computing (2006) University of Rochester's Goergen Award for Teaching (2001) Hajim School Lifetime Achievement Award (2018) IEEE TCCA/HPCA Test of Time Award (2022) Dr. Scott has advised over 25 Ph.D. students who have gone on to successful careers in academia and industry at institutions including Lehigh University, Google, Intel, Facebook, and NVIDIA. His textbook 'Programming Language Pragmatics' is a standard reference in the field, now in its 5th edition. He also co-authored 'Shared-Memory Synchronization,' a comprehensive treatment of the field. He spent the 2014-2015 academic year as a Visiting Scientist at Google. His research group, the Rochester Concurrent Systems Group, has developed numerous influential systems including RSTM (a software transactional memory system), Ralloc (a persistent memory allocator), and Montage (a system for persistent data structures). His work often bridges theoretical correctness with practical performance considerations.
Professor Diomidis Spinellis is a renowned academic in Software Technology at Athens University of Economics and Business (AUEB). He specializes in software engineering practices, code quality, AI ethics, and system architecture. His work bridges theoretical advancements with practical applications in industry, emphasizing reproducibility and empirical methods. Recipient of the IEEE Computer Society's prestigious 'Distinguished Contributor Recognition,' Spinellis is the sole Greek scientist to achieve this honor. His research spans software evolution, security, and open-source ecosystems, with a focus on methodologies like refactoring, static analysis, and debugging strategies. Key research interests include AI-generated content detection, modular data analytics, and incident management systems. His studies often leverage large-scale datasets (e.g., Unix evolution, Linux supercomputing analysis) to uncover patterns in software behavior and development practices. Publications frequently address emerging technologies' societal impacts, such as energy-efficient computing and ethical AI deployment. He advocates for reproducible research through tools like the Alexandria3k framework and contributes to open-source initiatives.
Mara Nikolaidou is a Professor in the Department of Informatics and Telematics at Harokopio University of Athens since 2007 and has served as the university's Rector since 2016. She represents Greek universities in the European University Association (EUA) for 2023-2024. Her research focuses on distributed systems, system modeling, and responsible computing, with a strong emphasis on IoT, cloud/edge computing, and cyber-physical systems. She leads projects funded by national, EU, and international agencies, exploring topics like autonomous systems, ethical requirements in design, and human-in-the-loop systems. Her educational background includes roles as a computer engineer and IT consultant before academia. She is a member of IEEE (SMC Society and Systems Council) and participates in the Object Management Group (OMG) working groups for SysML and responsible computing. She organizes international conferences in software and systems engineering. Research interests span distributed systems, IoT, and ethical computing. Recent work investigates cost analysis in cloud markets, human-AI collaboration, and smart city technologies. Over 200 publications highlight her contributions to model-based systems engineering, including SysML extensions for cost/QoS analysis and frameworks for autonomous fog nodes. Grants and projects include EU-funded initiatives on smart farming, cloud brokerage, and organizational interoperability. Her lab focuses on autonomous systems and context-aware middleware. She advises on e-Government compliance frameworks and collaborates with industry partners on IoT management platforms.
John Paparrizos is an Assistant Professor of Computer Science and Engineering at The Ohio State University's College of Engineering, where he directs The DATUM Lab (Data Analytics, Understanding, Mining, and Management Lab). He maintains an adjunct affiliation with the School of Informatics at Aristotle University of Thessaloniki. His research spans databases, data science, machine learning, and artificial intelligence , with focus areas including: Time-series analysis (clustering, anomaly detection) Scalable data mining for structured/unstructured data Adaptive algorithms for resource-constrained environments Foundational technologies for data-intensive applications His work addresses real-world challenges across relational, time-series, multimedia, text, graph, web, and IoT data domains. Notable recognition includes: 2025 ACM SIGMOD Test-of-Time Award for k-Shape time-series clustering 2023 IEEE TCDE Rising Star Award ACM SIGMOD Research Highlight Award NetApp Faculty Award His research has been featured in New York Times (front page), Washington Post , Forbes , and adopted by Fortune 500 companies (Exelon, Nokia) and the European Space Agency. He actively serves on program committees for premier conferences including ACM SIGMOD, VLDB, IEEE ICDE, ACM SIGKDD, and NeurIPS. His open-source tools have exceeded 100,000 downloads and are integrated into academic curricula at Brown, Columbia, Purdue, and University of Chicago.
Anargyros Tsadimas serves as a Teaching Associate and member of the Department of Informatics & Telematics at Harokopio University in Athens, Greece. He joined the university in 2004 as a research associate and currently holds a position in teaching laboratory staff. His academic background includes a BSc in Applied Informatics from the University of Macedonia (2002) and an MSc in Advanced Information Systems from the National and Kapodistrian University of Athens (2005). He earned his PhD in Information Systems from Harokopio University, focusing on model-based design of enterprise systems using SysML. His research interests span modeling and simulation of systems, distributed systems, enterprise information systems engineering, and cyber-physical systems. He has contributed over 25 publications in international conferences and journals, including work on SysML extensions for cost analysis, hybrid simulation platforms, and human-centric design of cyber-physical systems. Tsadimas has participated in EU and Greek government-funded R&D projects, with practical experience in startups as a Software Engineer, DevOps, and Technology Advisor. His recent research emphasizes integrating human factors into system design frameworks, exploring cloud pricing policies, and advancing simulation methodologies for complex systems. Notable contributions include developing declarative approaches for executable SysML models and applying systems engineering to transportation infrastructure challenges. No scientific awards are explicitly mentioned in the provided materials. His professional engagement includes advising on systems design projects and collaborating on interdisciplinary initiatives combining technical and human-centric perspectives.
Dimosthenis Kyriazis is a Professor at the University of Piraeus, affiliated with the Research Center. He currently teaches courses such as C Programming, e-Business, and Information Systems. His research focuses on service-oriented architectures, cloud/edge computing, data management, and healthcare informatics. Kyriazis holds a PhD from the National Technical University of Athens (NTUA) and has contributed to EU-funded projects like BigDataStack and CrowdHEALTH, addressing quality of service, workflow management, and IoT applications. He leads research on data management in cloud/edge environments, socially-enhanced IoT management, and big data applications in sectors like finance and e-health. His expertise spans distributed systems, software engineering, and interdisciplinary collaborations with industries and academia. He has participated in EU working groups on Future Internet Architecture and Cloud QoS&SLAs. Kyriazis actively seeks interns and collaborates on initiatives like AI-driven healthcare platforms (iHELP) and sustainable computing practices. His work emphasizes human-centric AI, data interoperability, and ethical AI frameworks such as AI4Gov for transparent governance. Education: Diploma in Electrical and Computer Engineering (NTUA, 2001), MSc in Techno-economics (NTUA/University of Athens/University of Piraeus, 2004), PhD in Service-Oriented Architectures (NTUA, 2007). Key research areas include federated data marketplaces (FAME), healthcare data integration (holistic health records), and AI applications in finance (DeepVaR). His publications address topics like explainable AI (XAI), defect detection in manufacturing, and environmental risk correlation with health. Grants and collaborations involve coordinating EU projects targeting data governance frameworks, energy-efficient mobility data spaces (Mobispaces), and AI for policy-making (e.g., OECD AI policy analysis). His contributions bridge technical innovation with societal impact through sustainable computing and ethical AI practices.
Panagiotis Hadjidoukas is an Associate Professor and Head of the Laboratory for Computing at the Computer Engineering and Informatics Department, University of Patras, within the School of Engineering. His work focuses on high-performance computing systems and parallel programming models. His research spans parallel and distributed computing , runtime support for parallel programming models , and automation of AI/ML workloads . Key contributions include developing the torc runtime system for task parallelism and pioneering work in extreme-scale scientific simulations. His interests bridge theoretical computer science with practical applications in scientific computing and AI acceleration. Notable achievements include the ACM Gordon Bell Prize Winner (2013) for 11 PFLOP/s cloud cavitation simulations and Finalist (2015) for in-silico lab-on-a-chip microfluidics. His software tools ( torc_lite , torcpy ) enable efficient parallelism across diverse architectures. Doctor of Philosophy (2003), University of Patras Master of Science (2001), University of Patras Diploma in Computer Engineering (1998), University of Patras As Head of the Laboratory for Computing, he leads infrastructure development while maintaining active research collaborations with IBM Research and ETH Zurich. His teaching portfolio includes graduate courses on high-performance computing for data sciences and parallel processing principles.
Prof. Vana Kalogeraki is a Faculty Member at the Department of Informatics , Athens University of Economics and Business (AUEB) , and serves as the Dean of the School of Information Sciences and Technology and Director of the Computer Systems and Communications Laboratory . She has held academic positions at the University of California, Riverside and was a Research Scientist at Hewlett-Packard Labs . PhD: University of California, Santa Barbara M.S. & B.S.: University of Crete, Greece Her research focuses on Distributed and Real-Time Systems , Big Data Systems , Cloud Computing , Human-Centered Systems , and Crowdsourcing . She has published over 200 papers at top journals (IEEE TPDS, ACM TOS, etc.) and conferences (RTSS, DSN, ICDCS, VLDB, MDM), including co-authoring the OMG CORBA Dynamic Scheduling Standard . Her 2023-2025 publications address AI pipelines in serverless environments, edge computing for trauma detection via eye-tracking, and fairness in resource scheduling. She has received prestigious awards including an ERC Starting Grant , Best Paper Awards (DEBS 2017, IPDPS 2009), a Best Poster Award (EuroSys 2024), and multiple UC Research Awards . Her research is funded by the European Union (ARISTEIA, THALIS), NSF, and industry partners like SUN and Nokia. Advising Legacy : Supervised 10 PhD graduates (now at Google, Amazon, IBM, Apple) and over 60 MS/PhD committees Labs & Teams : Leads the Computer Systems and Communications Laboratory at AUEB, focusing on mobile human-centered systems and urban data analytics
Dr. Christos Antonopoulos is an Associate Professor at the Department of Electrical and Computer Engineering, University of Patras. He holds a Diploma and PhD in Electrical Engineering from the University of Patras (2002, 2008) and has participated in over 16 European research projects (FP5, FP6, FP7, Horizon 2020) and 6 national projects. Research Interests: Wireless Networks Cyberphysical Systems Embedded Software Architecture Internet of Things Cross-Layer Protocols Sensor Networks Technical Expertise: His work involves network simulation, power optimization, and reconfigurable computing. He has published >100 journal/conference papers and 13 book chapters with over 1000 citations.
Professor Dimitra Kaklamani is a distinguished faculty member at the School of Electrical and Computer Engineering at the National Technical University of Athens (NTUA), where she serves as a Professor in the Division of Information Transmission Systems and Material Technology. With over 300 publications to her name, she has established herself as a leading researcher in microwave engineering, wireless communications, and computational electromagnetics, having progressed through academic ranks from Lecturer (1995) to Professor (2009). Her research spans numerous critical areas in electrical engineering: Microwave Theory and Techniques Wireless Communications and MIMO Systems Computational Electromagnetics Object-Oriented and Distributed Computing Security & Privacy in Networked Systems Machine Learning Applications in Telecommunications Professor Kaklamani's research trajectory demonstrates a natural evolution from traditional microwave engineering toward cutting-edge areas like AI-enabled wireless communications and privacy-preserving network architectures. Her recent work (2023-2025) shows particular focus on intelligent metasurfaces for wireless communications, federated learning applications in next-generation networks, and security aspects of 5G/6G systems. This reflects both continuity with her foundational work in computational electromagnetics and adaptation to emerging technological frontiers. She serves as Editor of an international book by Springer-Verlag (2000) in applied Computational Electromagnetics and regularly reviews for IEEE journals, demonstrating her standing in the scholarly community. Her teaching portfolio is equally comprehensive, ranging from foundational courses like Linear Circuits Analysis to advanced topics such as Computational Electromagnetics and Machine Learning in Mobile Computing, reflecting her broad expertise across electrical engineering disciplines.
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.
Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files
