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.
Dr. Anargyros (Argiris) Delis is a Professor of Computational Mathematics at the School of Production Engineering & Management, Technical University of Crete. He holds a B.Sc. in Mathematics (1993, University of Crete), M.Sc. in Numerical Analysis and Computing (1994, University of Manchester/UMIST), and a Ph.D. in Applied and Computational Mathematics (1998, University of the West of England). His academic career includes roles as Lecturer (2003–2008), Assistant Professor (2008–2013), and Associate Professor (2013–2022) at Technical University of Crete, before becoming Full Professor in 2022. He has directed the MSc in Applied Mathematics program (2019–2023) and leads research in numerical methods for fluid dynamics, traffic flow modeling, and computational mathematics. Research Interests: Development of high-resolution finite volume schemes for shallow water equations, traffic flow dynamics, and fluid-structure interactions. Key domains include coastal engineering, tsunami modeling, and ACC/CACC vehicle systems. Active in labs like Turbomachines & Fluid Dynamics Laboratory and the Numerical Analysis Group at IACM-FORTH. Notable Projects: TRAMAN21 (traffic management), C-NORA (transport systems control), and contributions to flood simulation (e.g., Malpasset Dam Failure modeling). Publications focus on numerical methods, wave propagation, and traffic flow control, with over 50 peer-reviewed articles. Grants: Involved in EU-funded projects and Greek national initiatives. Collaborations with institutions like INRIA, ERCIM, and Global Power and Propulsion Society. Labs/Teams: Member of Applied Mathematics and Computers Laboratory (AMCL), Turbomachines Lab, and Coastal Information Research Unit (CIRUM).
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.
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
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.
Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.
Andy D. Pimentel is a Full Professor at the University of Amsterdam, where he chairs the Parallel Computing Systems (PCS) group within the Systems and Networking Lab at the Informatics Institute. His work focuses on the design, programming, and run-time management of multi-core and multi-processor computer systems, with particular attention to performance, power/energy consumption, system dependability, and design productivity. His academic background includes: PhD in Computer Science, 1998, University of Amsterdam MSc in Computer Science, 1993, University of Amsterdam Professor Pimentel's research spans multiple critical areas in modern computing systems. His primary interests include multi-core embedded systems, system-level design and simulation, design space exploration, performance and power analysis, system dependability, hardware/software co-design, run-time resource management, and Edge AI. His work addresses the growing challenges of making computer systems faster, more sustainable, energy efficient, reliable, and secure in an era of increasing computational demands and climate concerns. The PCS group he leads performs research on the modeling, analysis and optimization of extra-functional aspects of computing systems, which play a pivotal role in their work. An analysis of Professor Pimentel's recent publications reveals a strong focus on edge computing, distributed AI, and energy-efficient system design. His work bridges theoretical computer architecture with practical implementation challenges, particularly in the context of resource-constrained environments. Key trends include the adaptation of AI models for edge devices, thermal management in advanced architectures, and optimization of multi-core systems for both performance and energy efficiency. His research increasingly addresses sustainability concerns in computing, reflecting broader industry and academic priorities. His notable scientific achievements include: IEEE CEDA Outstanding Service Recognition Award DATE Fellow Award Professor Pimentel has served in numerous leadership roles in the academic community, including as General Chair of Design Automation and Test in Europe (DATE) 2024, Vice General Chair of IEEE/ACM Embedded Systems Week 2025, and General Chair of IEEE/ACM Embedded Systems Week 2026. He has secured significant research funding for projects related to sustainable computing, edge AI, and multi-core system design. His professional service includes board membership with the ICT Research Platform Nederland (IPN) since 2020 and leadership roles in major conferences such as DATE, Embedded Systems Week, and SAMOS. The Parallel Computing Systems group he chairs is a vibrant research team within the Systems and Networking Lab at the Informatics Institute. The PCS group focuses on the challenges of modern computing systems, particularly addressing the extra-functional aspects like performance, power consumption, and system dependability. Their work is highly relevant to current technological challenges in edge computing, sustainable systems design, and the integration of AI into resource-constrained environments.
Nikolaos Samaras is a Full Professor at the Department of Applied Informatics, School of Information Sciences, University of Macedonia in Thessaloniki, Greece. He has been serving as director of the Computational Methodologies & Operations Research (CMOR) Laboratory since April 2016. His academic career includes positions as Assistant Professor (2007-2012) and Lecturer (2003-2007) at the same institution, and earlier as an adjacent Lecturer at the Technological Institute of Western Macedonia (1998-2000). Dr. Samaras earned his Diploma in Applied Informatics from the University of Macedonia in 1996 and his Ph.D. in Applied Informatics from the same university in 2001. His educational background forms the foundation for his extensive research in computational optimization and operations research. Professor Samaras's research focuses on the interface between computer science and operations research, with particular expertise in linear and nonlinear optimization, network optimization, integer optimization, and scientific computing including HPC and GPU programming. His work has resulted in the development of new algorithmic families for optimization problems, efficient GPU implementations of the revised simplex algorithm, and novel algorithms and software for operations research. His research spans theoretical algorithm development, practical implementation, and real-world applications across various engineering and scientific domains. His extensive publication record includes over 35 journal papers in prestigious venues such as Computers and Operations Research, European Journal of Operational Research, and Journal of Artificial Intelligence Research, more than 85 conference papers, and four textbooks (two in English and two in Greek). His work has been recognized through citations and the Thomson ISI/ASIS&T Citation Analysis Research Grant in 2005. ACM Senior Member (2016) Thomson ISI/ASIS&T Citation Analysis Research Grant (2005) Editorial board member of Operations Research: An International Journal Reviewer for numerous top journals including Mathematical Programming Computation and European Journal of Operational Research Professor Samaras has supervised four current Ph.D. students working on hybrid simplex algorithms, large-scale optimization using Apache Hadoop, algorithmic procedures in matrix theory, and smoothed complexity analysis. He has successfully guided five Ph.D. students to completion, including Nikolaos Ploskas who won the 2014 HELORS Doctoral Dissertation Award. Additionally, he has supervised 45 master's theses and 84 bachelor's theses. His research group has secured funding from diverse sources including the European Union, Greek Secretariat of Research and Technology, and industry partners like Veltio Greece LTD. The Computational Methodologies & Operations Research (CMOR) Laboratory, which he directs, focuses on developing and implementing optimization algorithms with applications in transportation, energy systems, and business process design. The lab has produced notable software tools including Euclides and Visual LinProg, which have educational applications in linear programming.
Michael Carbin is an Associate Professor at MIT in the Department of Electrical Engineering and Computer Science (EECS), where he leads the Programming Systems Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research centers on developing programming systems that handle uncertainty through probabilistic programming, quantum computing, and neural networks. Carbin's work spans programming languages, systems, and machine learning, with themes including uncertainty management, efficiency optimization, and formal verification. His publications demonstrate a strong focus on probabilistic inference methods, neural network optimization, and quantum programming frameworks. Awards and Honors: Sloan Research Fellowship (2020) Multiple Best Paper Awards (OOPSLA 2013, 2014; ICLR 2019) NSF CAREER Award (2018) Google Faculty Research Award (2018) As the head of the Programming Systems Group, he advises 10+ graduate students and postdocs, focusing on cutting-edge systems research. He has secured grants including Facebook Research Awards and NSF funding.
