John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.
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.
Evangelos Papapetrou is an Associate Professor in the Department of Computer Science and Engineering at the University of Ioannina, Greece. He holds a Diploma (1998) and PhD (2003) in Electrical and Computer Engineering from Aristotle University of Thessaloniki. His research focuses on wireless and mobile networks, including mobile ad-hoc networks, opportunistic networks, satellite networks, quality of service (QoS), and network coding. He has contributed to over 50 peer-reviewed publications and actively participates in EU/nationally funded projects. Research interests include: Wireless/Mobile Network Architectures Opportunistic and Social Mobile Networks Satellite Communication Systems Network Coding Techniques Routing Protocol Design His work emphasizes practical implementations of network protocols, with recent trends focusing on ultra-reliable low-latency communication, energy-efficient broadcasting, and protocol optimizations for 5G/IoT environments. He has developed simulation tools like Adyton for opportunistic networks and contributed to privacy-preserving routing solutions. Teaching responsibilities include courses on Computer Networks I and Wireless Networks (2024/25). He maintains active IEEE/ACM memberships and serves on conference review committees.
Professor Foto N. Afrati is a Distinguished Faculty Member at the National Technical University of Athens, specifically within the School of Electrical and Computing Engineering and the Division of Communication, Electronic and Information Engineering. She has held this position since 1993, following previous academic ranks at the same university as Associate Professor (1989-1993), Assistant Professor (1985-1989), Lecturer (1982-1985), and Research Fellow (1980-1982). She completed her PhD in Electrical Engineering at Imperial College of the University of London in March 1980, with a dissertation focused on Error Correcting Codes by Algorithms. Her academic journey also included a Diploma from Imperial College (March 1980) and an earlier Diploma in Electrical and Mechanical Engineering from the National Technical University of Athens (June 1976). Professor Afrati's research interests span several critical areas in computer science: Parallel and distributed computation Processing of very large data (including MapReduce) Data and web mining Database Systems Information integration Query optimization Computation and complexity of algorithms Approximation algorithms Her most recent publications demonstrate expertise in MapReduce environments, query optimization with views, and data exchange frameworks. These works are published in prestigious venues like EDBT, VLDB, PODS, and ICDT, with specific focus areas including adaptive sampling techniques, data source integrity, and algorithm complexity in database environments. Professor Afrati has received significant recognition in her field, including Fellow of the Association for Computing Machinery (ACM) Best Paper Award at the International Conference on Database Theory (ICDT) 2009 She has advised numerous PhD students throughout her career, including Theodoros Mitakos, Ezz Hattab, Nikos Kiourtis, and Angelos Vasilakopoulos. Her current PhD students include Victor Kyritsis and Nikos Stassinopoulos. Professor Afrati maintains strong professional networks through her various visiting positions at institutions such as Google, Stanford University, IBM Research Center, University of Helsinki, University of Paris, DIMACS, and others. She has served as associate editor and reviewer for major academic journals and conferences including IEEE TKDE, ACM Transactions of Database Systems (TODS), Journal of ACM (JACM), and Theoretical Computer Science (TCS). Her extensive work in research projects spans both national and international initiatives, with funding from sources including the European Union's Thalis project, ESPRIT working groups, HCM networks, and Greek General Secretariat of Research and Technology grants.
George N. Karystinos is currently a Professor and Dean of the School of Electrical and Computer Engineering at the Technical University of Crete , Greece. He joined TUC in 2005 and was promoted to full Professor in 2019. His academic journey began with a Ph.D. in Electrical Engineering from SUNY Buffalo (2003) and a Diploma in Computer Engineering and Science from the University of Patras (1997). Specialty: Communication theory, coding theory, adaptive signal processing Key research areas: Wireless communications, signal waveform design, L1-norm principal component analysis Leadership: Dean of School of ECE (2021–present) His work focuses on noncoherent detection for RFID/IoT systems and L1-norm PCA for robust signal processing. Recent publications explore power line communication and low-complexity sequence detection . Scientific Awards: 2003 IEEE Transactions on Neural Networks Outstanding Paper Award 2001 IEEE ICT Best Paper Award 2018 IEEE MOCAST Best Student Paper Award 2015 IEEE ICASSP Best Student Paper Award 2013 IEEE ISWCS Best Paper Award 2011 IEEE RFID-TA Second Best Student Paper Award He is affiliated with the Telecommunications Laboratory at TUC and has supervised award-winning research in wireless systems and signal processing.
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).
David I. August is a Professor at Princeton University specializing in programming languages and compiler systems. His research bridges theoretical compiler techniques with practical systems implementation, focusing on memory safety, speculative execution, and compiler optimization. His primary research interests include Compiler Design , Rust Programming Language safety mechanisms , and LLVM infrastructure extensions . His work emphasizes practical implementations that enhance both performance and security in modern programming systems. Recent publications demonstrate consistent contributions to memory profiling frameworks (PROMPT), Rust safety enhancements, and speculative dependence analysis. His research shows strong focus on making low-level systems programming safer without sacrificing performance. August serves regularly on program committees for major conferences including PLDI and CGO, indicating his standing in the programming languages research community. He has mentored students in compiler construction and programming language design, with research projects often involving practical implementations integrated into production-quality compiler frameworks.
Paschalis Antonis is a Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on hardware architectures for space systems, embedded systems, and image compression standards such as CCSDS. He specializes in FPGA implementations, radiation-hardened electronics, and biomarker development for immunogenic responses to cancer therapies. Research Interests: High-performance FPGA-based hardware accelerators Space-grade embedded systems and data compression CCSDS standard implementations for aerospace applications Molecular biomarkers for immunotherapy response prediction Recent Trends: His work emphasizes resilient systems against radiation effects (e.g., SEUs in FPGAs), high-throughput image compression cores for space missions, and interdisciplinary research linking computational hardware with medical diagnostics via prothymosin α analysis. Grants & Labs: Leads the ASPIICS coronagraph project for ESA's Proba-3 mission, involving advanced optical instrumentation and formation flying systems. Collaborates on COTS FPGA utilization in extreme environments.
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.
Athanasios D. Panagopoulos is a Full Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), specializing in Satellite & Space Communications , Antennas and Propagation , and Quantum Communication . He leads the Division of Information Transmission Systems and Material Technology, with a focus on wireless systems, machine learning, and 5G/6G technologies. Born in Athens (1975), received summa cum laude Diploma and Dr. Engineering from NTUA (1997, 2002). Former roles: part-time Assistant Professor (2003-2007), head of Satellite Division at Hellenic Authority for Information Security (2005-2008). Research Trends emphasize Quantum Key Distribution (QKD) , Reconfigurable Intelligent Surfaces , and Deep Learning Applications in satellite networks. His work bridges atmospheric propagation effects with terrestrial-satellite convergence , including AI-driven excess attenuation prediction and UAV channel modeling. Scientific Awards include URSI General Assembly Young Scientist Award (2002, 2005) Best Paper Awards: IEEE RAWCON 2006, IEEE ISWCS 2015 Grants & Collaborations : Principal Investigator for EU/ESA R&D programs, with editorial roles at IEEE Transactions on Antennas and Propagation, and Elsevier Physical Communication. Member of ITU-R , ETSI Study Groups , and IEEE (Senior) .
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.
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.
Markos Anastasopoulos is Associate Professor at the National and Kapodistrian University of Athens, specializing in optical/wireless networks and mobile computing. His research focuses on 5G/6G network convergence, intent-based management, and AI-driven optimization for telecommunications. Recent publications address THz-optical integration, federated learning in transport networks, and semantic-aware radio systems. Applied work includes intelligent asset management for railways and techno-economic analyses of network deployments. Recognized with best dissertation and best paper awards, his research bridges theoretical networking with industrial applications in transportation and cloud infrastructure.
Ioannis Stamelos is a Professor of Software Engineering at the School of Informatics, Aristotle University of Thessaloniki (since 2015, research/teaching staff since 1997). He serves as Director of the Postgraduate Master Course in Interactive Hardware & Software Technologies. Major Research Areas: Open Source Software, Software Effort/Quality Estimation, Agile Methods, Enterprise Information Systems Key Projects: Deep Blue/AUTH Research Hub (2018-2022), BlockAdemic (blockchain-based micro-credentials), European Commission Open Source Policy Studies Research Trends from recent publications include: Process mining in library information systems Reusability metrics for software assets Bayesian networks in software project management Impact of design patterns on gaming software defects Technical debt assessment via structural metrics Blockchain applications in supply chain management Scientific Awards: Best Paper Award at IEEE DEST’09 Best Student Paper Award at ICSR 2012 Best Paper Award at QUATIC2012 Education & Leadership: PhD in Computer Science (1988), Diploma in Electrical Engineering (1983). Led numerous EU-funded projects (IST, ERASMUS, FP7) and national initiatives (ΓΓΕΤ, ΕΠΕΑΕΚ). Supervised PhD/MSc students in software reuse, OSS quality, and agile practices.
