Dr. Aris Dimeas is a Researcher at the National Technical University of Athens in the Department of Electric Power and Industrial Applications . He holds a diploma and PhD in Electrical and Computer Engineering from NTUA and has extensive experience in power systems operations, renewable energy integration, and smart grid technologies. Specialized in AI applications for power systems Developed control software for demand side management Consultant for PPC (2007-2012) Research Focus : Smart grids and digital twin implementations Renewable energy market dynamics Microgrid optimization and control algorithms Collaborations : Active participant in EU research projects, collaborating with HEDNO and other energy grid operators on electronic meters and intelligent network deployments. Teaching : Instructs courses on electric energy systems, power system analysis, and energy management.
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.
Labros Bisdounis is a Professor at the Department of Electrical and Computer Engineering, University of the Peloponnese, Greece. He previously held positions at the Technological Educational Institute of Western Greece, including Associate Professor, Full Professor, and Dean of the School of Technological Applications (2016–2018). He has extensive industry experience as a senior research engineer and project manager at Intracom S.A. (2000–2008), focusing on VLSI circuits and telecom applications. His research interests include CMOS circuit timing/power modeling, low-power/high-speed design, MOSFET modeling, and sensor applications. He has authored over 30 papers with 740+ citations and is an IEEE member. Education: Diploma in Electrical Engineering (1992), University of Patras Ph.D. in Electrical Engineering (1999), University of Patras Research Interests: CMOS circuit timing and power dissipation modeling Deep-submicron/nano-CMOS circuit design MOSFET device modeling Low-power embedded systems and SoC Sensor applications and organic electronics Leadership Roles: Dean of the School of Engineering, University of the Peloponnese (2023–present) Director of Training & Lifelong Learning Centre (2019–2019) Board Member, Hellenic NARIC (2016–2019) Collaborations: Active at the Hellenic Open University as a tutor in Computer Architecture and Digital Systems modules. Co-developed the AETHER framework for pervasive computing and contributed to energy-aware SoC designs for 5 GHz WLANs.
Professor Dollas Apostolos serves as a Professor in the School of Electrical and Computer Engineering at the Technical University of Crete (TUC), where he has held leadership roles such as Department Chairman. He directs the Microprocessor and Hardware Laboratory, focusing on reconfigurable computing, embedded systems, and high-performance digital systems. His work emphasizes rapid prototyping and real-world implementation of computational solutions. Education: Ph.D., Computer Science, University of Illinois at Urbana-Champaign (1987) M.Sc., Computer Science, University of Illinois at Urbana-Champaign (1984) B.Sc., Computer Science, University of Illinois at Urbana-Champaign (1982) Research Interests: Reconfigurable computing architectures FPGA-based acceleration for bioinformatics and genomics Embedded systems and real-time processing Hardware-software co-design for high-performance computing His research bridges theoretical innovation with practical applications, such as FPGA implementations for genome assembly and aquaculture monitoring systems. Publications: Recent work highlights FPGA-based solutions for bioinformatics (e.g., genome assembly acceleration), real-time embedded systems (e.g., fish cage net monitoring), and scalable data processing frameworks. His articles often explore the intersection of FPGA technology with computational biology, embedded vision, and distributed systems. Awards and Affiliations: Senior Member, IEEE and IEEE Computer Society Recipient of IEEE Computer Society Golden Core and Meritorious Service Awards Twice honored with the University of Illinois Teaching Excellence Award He is a co-founder of IEEE conferences like FCCM and RSP, reflecting his leadership in the reconfigurable computing community. Teaching and Labs: Teaches courses on computer architecture, logic design, and VLSI design. The Microprocessor and Hardware Lab under his direction drives advancements in FPGA-based systems, with projects ranging from bioinformatics hardware accelerators to embedded vision systems.
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.
Kostas Magoutis is Professor and Chair of the Computer Science Department at the University of Crete and collaborating researcher with FORTH-ICS. His research focuses on distributed systems, scalable data processing, IoT, and cloud computing, with projects including GreenInCities for urban regeneration and STREAMSTORE for stateful stream processing systems. Research interests include: Distributed computer systems architecture Elastic stream processing platforms Quantum-enhanced computing applications Multi-cloud application lifecycle management Recent publications demonstrate strong focus on federated data systems, quantum computing applications, and IoT-enhanced infrastructure, with consistent output in high-impact conferences and journals. Awards and distinctions: Multiple best paper awards from USENIX conferences Grand Challenge Audience Award at DEBS 2022 Marie Curie Fellowship and IBM Research awards Advises over 20 PhD and MSc students in distributed systems research. Leads multiple EU-funded projects and serves on program committees for top conferences including SOSP, EuroSys, and IEEE BigData. Directs research groups in distributed systems and cloud computing at FORTH-ICS.
Nectarios Koziris is a Professor at the Department of Computer Science , National Technical University of Athens (NTUA) , and former Dean of the School of Electrical and Computer Engineering . His research focuses on Parallel and Distributed Systems , Computer Architecture , and Cloud Computing . Key Research Themes: Compiler-OS-Architecture Interaction, Datacenter Hyperconvergence, Sparse Matrix Optimization, Quantum Computing, FPGA Virtualization Leadership: Founder of ~okeanos (Europe's largest public Cloud IaaS), Co-founder of GFOSS , Member of IEEE Computer Society Greece, Advisor to Arrikto Inc. His work has led to over 180 publications with 5800+ citations (h-index 33) , including two Best Paper Awards (IPDPS 2001, CCGRID 2013) and Intel Recognition (2015). He has supervised 12 PhD students and participated in 15+ EU projects as coordinator or consortium partner. Scientific Leadership: Program Co-Chair for Europar 2012 , Organizer for IPDPS , ICPP , SC conferences, and active member in Cloud Computing Expert Groups for the European Commission.
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).
Professor Saman Amarasinghe is a faculty member in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), where he leads the Commit compiler research group at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on programming languages and compilers that maximize application performance on modern computing platforms, with a particular emphasis on high-performance domain-specific languages. Professor Amarasinghe received his bachelor's degree in electrical engineering and computer science from Cornell University in 1988, followed by master's and PhD degrees in electrical engineering from Stanford University in 1990 and 1997, respectively. He joined the MIT faculty as an assistant professor in 1997 and has since become a world leader in his field. Professor Amarasinghe's research interests span programming languages, compiler design, and high-performance computing, with a particular focus on domain-specific languages. His group has developed numerous influential languages and compilers including Halide, TACO, Simit, StreamIt, StreamJIT, PetaBricks, MILK, Cimple, and GraphIt, which deliver unprecedented performance for application domains such as image processing, stream computations, and graph analytics. He has also pioneered the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Professor Amarasinghe's publication history reveals a consistent research trajectory toward creating specialized language and compiler solutions that address performance challenges in specific domains while hiding complexity from application developers. His recent work focuses heavily on sparse computing, tensor algebra, graph processing, and the integration of machine learning techniques into compiler technology, demonstrating his ability to identify and address emerging computational challenges. ACM Fellow (2019) As an educator, Professor Amarasinghe has developed the popular Performance Engineering of Software Systems (6.172) class with Professor Charles Leiserson and created innovative project-based courses including the Open Source Software Project Lab, the Open Source Entrepreneurship Lab, and the Bring Your Own Software Project Lab. He also serves as the faculty director of MIT Global Startup Labs, which has helped create more than 20 startups across 17 countries. His research has translated into practical applications through startups like Determina, Inc. (acquired by VMware), demonstrating the real-world impact of his academic work. Professor Amarasinghe co-led the Raw architecture project with Professor Anant Agarwal, which did pioneering work on scalable multicores. His entrepreneurial activities include founding Determina, Inc. based on computer security research from his MIT lab and co-founding Lanka Internet Services, Ltd., the first Internet Service Provider in Sri Lanka, showcasing his ability to bridge academic research with commercial applications.
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.
Professor Manolis Koubarakis is a faculty member at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on geospatial data science, knowledge graphs, entity resolution, and AI applications in Earth observation. He leads projects like ExtremeEarth and Plato, advancing semantic data cube systems and geospatial question answering engines. His work bridges AI and geospatial technologies, with contributions to frameworks like pyJedAI and Strabo 2 for managing big geospatial data. Research Interests include: Geospatial Question Answering Systems Entity Resolution and Entity Linking Ontology-Based Data Access (OBDA) Knowledge Graph Construction and Applications Earth Observation Data Analytics AI for Geoinformatics Notable Projects: ExtremeEarth: Combines Copernicus satellite data with machine learning for environmental analytics. Plato: Semantic data cube system enabling advanced querying of multidimensional datasets. GeoQA2: A geospatial question answering engine evaluated on large benchmarks. JedAI Family: Tools for scalable entity resolution in structured/semi-structured data. His publications span 20+ years, with recent emphasis on: AI-driven Earth observation systems Geospatial RDF benchmarking 3D geospatial interlinking Large language models for legal and health content delivery
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.
Nikos Giatrakos is an Assistant Professor at the School of Electronic & Computer Engineering, Technical University of Crete, and a core member of the Software Technology and Network Applications Lab (SoftNet) . His work bridges Big Data systems, IoT, and advanced analytics, with a focus on real-time processing and scalable architectures. Previously, he served as a postdoctoral researcher at the same laboratory. Education PhD in Computer Science, University of Piraeus (2012) Postgraduate Diploma in Information Systems, Athens University of Economics and Business (2008) BSc in Computer Science, University of Piraeus (2006) Research Focus : Nikos specializes in software architectures for Big Data streaming, including Distributed Big Data Processing , Federated Machine Learning , Cloud-to-Edge Data Management , and Approximate Query Processing . His work has also advanced Complex Event Processing and Outlier Detection in decentralized environments. Scientific Contributions : His research has led to the DAG* workflow optimizer for IoT, the SuBiTO framework for real-time neural learning, and the INFORE approach for cross-platform analytics. He received the Best System Demonstration Award at ACM CIKM 2020 for INforE. Academic Leadership : Nikos teaches Object-Oriented Programming, Data Science, and Distributed Systems. He has supervised numerous European and national grants as Principal Investigator and served on program committees for top-tier conferences like SIGMOD, VLDB, and DEBS.
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.
