Mario Baldi is a researcher affiliated with the Polytechnic University of Turin, Italy , with significant contributions to computer networking , distributed systems , and software-defined networking . Key research themes: network function virtualization , programmable dataplanes , time-driven scheduling , and traffic analysis . Recent work focuses on RDMA-enabled compute offloading (2023) and DNN inference in network data planes (2023). Longstanding expertise in multicast routing , voice/data packet efficiency , and XML-based protocol parsing (2000–2006). Collaboration network includes Yoram Ofek , Fulvio Risso , and Han Hee Song , with 99+ publications spanning 1994–2023.
Radu Sion is a Professor at the Department of Computer Science, Stony Brook University, specializing in Computer Science , Information Security , Cloud Computing , Data Privacy , and Cryptography . His research focuses on secure data outsourcing, trusted hardware applications, and privacy-preserving systems. Recent work includes Wink: Deniable Secure Messaging (2023) and A Study of China's Censorship Evasion (2023), both exploring plausibly deniable communication. Earlier contributions like PEARL (2021) and ConcurDB (2014) address secure storage and database integrity. His 2024 paper INVISILINE introduces invisible plausibly deniable storage solutions. His research spans Oblivious RAM , History-Independent Data Structures , Trusted Execution Environments , and Flash Memory Security . Key collaboration networks include Bogdan Carbunar, Anrin Chakraborti, and Chen Chen.
Adrian Spătaru serves as a Lecturer at the Faculty of Mathematics and Computer Science, West University of Timisoara, Romania, with his office located in room 058. He maintains active academic engagement through direct contact channels including email (adrian.spataru@e-uvt.ro) and phone ((0256) 592 157), reflecting ongoing institutional affiliation and research activities within computer science. His research centers on the integration of edge, cloud, and high-performance computing resources within the cloud continuum framework. Key focus areas include service orchestration, resource management, blockchain applications for decentralized systems, and AI-driven optimization of cloud infrastructures. His work addresses critical challenges in heterogeneous platform integration, fault tolerance, and predictive maintenance across large-scale distributed environments, with notable contributions to container deployment and accelerator-aware application specification. Analysis of his publication trends reveals sustained emphasis on the edge-cloud-HPC continuum since 2018, evolving toward intent-based AI orchestration and heterogeneous hardware integration in recent works. His research bridges theoretical distributed systems concepts with practical applications in environmental monitoring (solar forecasting, freshwater quality assessment) and industrial cloud reliability, demonstrating both academic rigor and real-world impact. No scientific awards are documented in the provided institutional information. Details regarding student supervision, research grants, or laboratory affiliations are not specified in the available materials. Current research directions appear focused on advancing the edge-cloud-HPC continuum through heterogeneous platform integration, with 2025 publications indicating active development in this domain.
Christoph Lüth is a Professor of Computer Science at the University of Bremen and Deputy Head of the Cyber-Physical Systems research group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. He has been affiliated with DFKI since 2006 and focuses on constructing provably correct software through theoretical foundations and practical tool development. Doctorate from University of Edinburgh Habilitation from University of Bremen His research spans advanced systems engineering , formal methods , and functional programming , with applications in robotics and hardware security. Recent work emphasizes open-source chip design , post-quantum cryptography , and memory protection for RISC-V architectures . Lüth contributes to projects like PROTECT (cybersecurity resilience), EASEPROFIT (post-quantum secure protocols), DI-OCDCPro (open-source chip design education), and SIGN-HEP (hardware security modules). He has authored over eighty scientific papers. At the University of Bremen, he teaches courses on functional programming , programming languages , and formal methods .
Timothy Sherwood is a Professor at the University of California, Santa Barbara (UCSB) in the Department of Computer Science , with affiliate status in Electrical and Computer Engineering . He serves as the Dean of the College of Creative Studies and leads the UCSB Computer Architecture Lab (ArchLab) . He co-founded the interdisciplinary SEEDS program and Cycuity , and has consulted for the UCSB Office of Research , including a tenure as Associate Vice Chancellor for Research .
Dr. Purushotham V. Bangalore serves as the James R. Cudworth Professor in the Department of Computer Science at the University of Alabama's College of Engineering and holds the position of Associate Director for the Center for Understandable, Performant Exascale Communication Systems (CUP-ECS), a Predictive Science Academic Alliance Program (PSAAP) Focused Investigatory Center. His academic credentials include: B.E. in Computer Science and Engineering from Bangalore University (1991) M.S. in Computer Science from Mississippi State University (1995) Ph.D. in Computational Engineering from Mississippi State University (2003) Dr. Bangalore's research centers on High-Performance Computing (HPC) with emphasis on designing abstraction layers for heterogeneous architectures, predictive performance modeling, and portability. His work extends to fault-tolerant message-passing middleware, exascale storage security, and reliability frameworks. Additional expertise spans data analytics, object-oriented numerical libraries, grid computing environments, and adaptive systems development through three decades of HPC and cloud computing innovation. Analysis of his 2021-2025 publications reveals dominant themes in HPC security architecture, containerization for scientific workloads, and MPI communication advancements. Key application areas include hydrological modeling (NextGen framework), GPU-accelerated communication protocols, and data provenance systems for exascale platforms, reflecting interdisciplinary approaches to computational challenges. Dr. Bangalore has secured approximately $20 million in research funding as PI/Co-PI from NSF, NIH, DoE, and industry partners, resulting in over 90 peer-reviewed publications. His academic service includes editorial roles for IEEE Transactions on Parallel and Distributed Systems, MPI Forum contributions to the MPI-4.0 standard, and organization of DoD-sponsored HPC training workshops. He leads research initiatives through CUP-ECS while maintaining active participation in the MPI Forum. His team develops frameworks for exascale communication systems with focus on security posture analysis, performance portability, and fault tolerance in next-generation computing environments.
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.
Prof. Dr. Ghassan Karame is a Full Professor of Computer Science at the Ruhr-University Bochum , leading the Chair for Information Security. He is a Principal Investigator in the Cluster of Excellence CASA and Director of the Horst Goertz Institute for IT Security since October 2023. Additionally, he serves as a part-time Chief Scientific Advisor at NEC Laboratories Europe . His research focuses on blockchain security and privacy , platform/storage security , and machine learning security . He has contributed to improving cryptocurrency protocols, hardware-assisted secure systems, and decentralized trust mechanisms. Education : PhD in Computer Science from ETH Zurich (2011) His recent work explores federated learning security, side-channel attacks in TEEs, and practical blockchain scalability solutions. He has served on over 50 program committees and held editorial roles at IEEE TDSC and IEEE TIFS. Notable Awards : 2024 Outstanding Editorial Board Member Award (IEEE Signal Processing Society) 2020 Value Realization Award (NEC) 2019 IEEE TC Best Paper Award Degree among top 2% authors (Stanford-Elsevier) His teaching includes courses on systems security, blockchain security, and practical ML security, with thesis projects in blockchain, ML, and platform security. He leads the Information Security Chair , part of major research initiatives like CASA and HGI.
Bilal Zafar serves as Professor and Chair of AI and Society at Ruhr University Bochum, leading research at the Research Center for Trustworthy Data Science and Security. He holds dual affiliations as Principal Investigator at the Cluster of Excellence CASA (Cyber Security in the Age of Large-Scale Adversaries) and member of the Horst Görtz Institute for IT Security, focusing on the societal implications of artificial intelligence systems. His educational foundation includes a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University, completed under the co-supervision of Krishna P. Gummadi and Manuel Gomez Rodriguez. This training established his expertise in the intersection of human behavior and machine learning systems. Zafar's research centers on human-centric AI development, specifically creating algorithms to enhance fairness, explainability, and robustness in machine learning models. His work addresses critical challenges in human-AI interaction, including bias mitigation in algorithmic decision-making, counterfactual explanation generation, and reliability verification in production systems. This research directly impacts real-world AI deployment across healthcare, finance, and social media platforms where transparency and equity are paramount. Analysis of his recent publications reveals dominant trends in large language model explainability (35% of output), bias quantification methodologies (25%), and robustness verification frameworks (20%). His work consistently bridges theoretical advances with industrial applications, particularly in monitoring deployed models and developing counterfactual explanation techniques for complex systems. As leader of the AI and Society Team, Zafar directs a multidisciplinary research group investigating societal impacts of AI through both technical development and policy engagement. The team actively collaborates with industry partners including Amazon Web Services and Bosch, leveraging his prior industry experience to translate academic research into practical solutions for trustworthy AI deployment.
Oliver Bringmann is a full Professor and head of the Chair of Embedded Systems at the University of Tübingen, Germany, and a member of the board of directors at the FZI Research Center for Information Technology. His research integrates embedded-system design, energy-efficient AI accelerators, dependable automotive perception, and medical AI for capsule endoscopy. Education & Career Ph.D. in Computer Science, University of Tübingen, 2001 Diploma in Computer Science, University of Karlsruhe (KIT) Head, Chair of Embedded Systems, University of Tübingen (since 2012) Deputy spokesperson & spokesperson, Dept. of Computer Science, University of Tübingen (2014-2022) Board of Directors, FZI Research Center for Information Technology Research Interests Bringmann’s group pioneers hardware/software co-design for ultra-low-power Edge-AI , developing RISC-V based accelerators, compiler-aware neural-architecture search, and real-time perception systems for autonomous driving and medical devices. Key topics include: Energy-efficient AI architectures (“Edge AI”) and custom accelerator generation Robust collective perception under adverse weather (LiDAR, camera, V2X fusion) Timing/power-predictable embedded software and system-on-chip design automation Hardware-assisted security and safety for automotive & IoT systems AI-driven capsule endoscopy localization and anomaly detection Recent Publication Trends His 2024-2025 articles reveal a strong shift toward robust multimodal perception for automated driving (snow, fog, collective LiDAR fusion) and Edge-AI medical devices (capsule endoscopy with multi-task CNNs). Core contributions span dataset generation (SCOPE, SnowyLane), safety metrics (LSM), and fast performance modeling for DNN accelerators. Professional Service & Projects Executive/Steering Committees: IEEE/ACM DATE, CODES+ISSS, CASES, ITSS conferences EU CATRENE EDA roadmap chapter lead (Embedded Software & ESL-to-RTL) Principal investigator in Scale4Edge, OCEAN12, enerDAG and other national projects on energy-efficient sensorics and secure energy trading. His group maintains extensive collaborations with automotive and semiconductor industry, focusing on dependable, energy-aware embedded intelligence.
Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .
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
Steve Blackburn is a research scientist at Google DeepMind and professor of computer science at the Australian National University in the College of Engineering and Computer Science. His primary research focus is on programming language implementation, with expertise spanning memory management, virtual machines, and performance analysis. He has served in significant leadership roles including Associate Dean for Diversity and Inclusion (2016-2019) and as Program Chair for PLDI 2015 and General Chair for PLDI 2023. Blackburn's research interests center on making software run faster and more power-efficiently on modern hardware. His primary areas include microarchitectural support for managed languages, fast and efficient garbage collection, and the design and implementation of virtual machines. He maintains a strong interest in sound methodology and infrastructure for successful research innovation. His work bridges theoretical computer science with practical systems implementation, with particular focus on memory management frameworks and performance benchmarking. His publication record reveals a consistent focus on memory management systems, with recent work exploring garbage collection in modern contexts including CRuby, Julia, mobile devices, and memory-disaggregated datacenters. His research shows an evolution from foundational garbage collection algorithms toward practical implementations addressing real-world constraints in contemporary programming languages and hardware platforms. A notable trend is his increasing focus on quantifying and understanding the true costs of garbage collection in production environments. Fellow of the ACM Blackburn has supervised numerous doctoral students including Zhen He, John Zigman, Robin Garner, Ting Cao, and currently advises Wenyu Zhao, Zixian Cai, and others. He has also served on multiple program committees for major conferences including PLDI, ASPLOS, ISMM, and OOPSLA, demonstrating his significant contributions to the programming languages and systems research community. His service includes editorial roles for ACM Transactions on Programming Language Applications and Systems from 2017-2020. He leads two major research infrastructure projects: the MMTk memory management framework and the DaCapo benchmark suite, both of which have become foundational tools for researchers in programming languages and systems. These projects reflect his commitment to shared research infrastructure and reproducible methodology in systems research.
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.
