Amrita Roy Chowdhury is an Assistant Professor in the Department of Computer Science at the University of Michigan, Ann Arbor. Her research focuses on developing systems that enable safe, decentralized data analytics while ensuring provable privacy guarantees through the synergy of differential privacy and cryptography. Key research areas: Data Privacy, Cryptography, Secure Data Analytics, and Privacy-Preserving Machine Learning. Recent work explores prompt sanitization for LLMs (NDSS 2026), robust graph analysis (ASIACCS 2025), and metric differential privacy (CCS 2024). She has received awards including Best Paper at Private ML@ICLR'24 and Best Poster at ITA'23. Current Ph.D. advisees include Mushtari Sadia, Yiyi Sun, and Samanway Sadhu. Her work spans conferences like IEEE S&P, CCS, USENIX Security, and ICML.
Anil Madhavapeddy serves as Professor of Planetary Computing at the University of Cambridge's Department of Computer Science and Technology and directs the Cambridge Centre for Carbon Credits (4C). A Fellow of Pembroke College, he integrates systems research with environmental conservation through the Computer Laboratory's Environment and Energy Group. His career spans industry leadership (NetApp, Citrix, Intel), academic appointments (Cambridge, Imperial, UCLA), and entrepreneurial ventures (XenSource, Unikernel Systems, Docker). Madhavapeddy earned his PhD at Cambridge's Computer Laboratory in 2006. His research bridges computational systems and planetary-scale environmental challenges, with deep expertise in open-source development (OCaml, Xen, Docker, OpenBSD) and technology strategy advising for organizations including Zededa, Tezos Foundation, and Tarides. His work centers on environmental computing and climate informatics, leveraging distributed systems and functional programming to develop sensing infrastructure for conservation. Recent projects focus on carbon credit systems, AI-driven biodiversity monitoring, and sustainable computing architectures that minimize ecological footprints while maximizing analytical capability. Analysis of his 2025 publications reveals a concentrated effort on AI-integrated conservation tools, privacy-preserving carbon accounting, and energy-efficient computing. Key themes include spatial networking for ecological data, LLM-enhanced evidence retrieval in conservation science, and novel metrics for extinction risk assessment—demonstrating computational innovation applied to urgent planetary boundaries. No scientific awards were documented in the source material. Madhavapeddy advises multiple technology firms on strategic development while leading the Cambridge Centre for Carbon Credits, though specific grant funding details remain unreported. He actively contributes to the Environment and Energy Group at Cambridge's Computer Laboratory and directs the interdisciplinary Cambridge Centre for Carbon Credits (4C). His open-source leadership spans critical infrastructure projects including OCaml, Xen, and Docker, fostering collaborative development communities that underpin modern cloud and container technologies.
Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.
Brian Hie is an Assistant Professor of Chemical Engineering at Stanford University , a Dieter Schwarz Foundation Stanford Data Science Faculty Fellow , and an Innovation Investigator at Arc Institute . He leads the Laboratory of Evolutionary Design , focusing on the intersection of biology and machine learning . His prior roles include a Stanford Science Fellow in the Stanford University School of Medicine and a Visiting Researcher at Meta AI . Education: Ph.D. , Electrical Engineering and Computer Science , Massachusetts Institute of Technology (2021) Bachelor’s Degree , Stanford University Research Interests: Brian’s work bridges machine learning and computational biology , with a focus on protein engineering , single-cell RNA sequencing , and viral evolution . His Evolutionary velocity framework predicts protein evolutionary dynamics across timescales, while his Scanorama algorithm enables efficient integration of heterogeneous single-cell datasets. He also develops structure-informed language models for antibody optimization and uncertainty-aware ML for biological discovery. Publication Trends: His recent work (2023) emphasizes structure-based inverse folding for antibody evolution, evolutionary scale modeling , and unsupervised optimization . Earlier studies (2022-2021) cover evolutionary velocity , multi-modal single-cell analysis , and viral escape prediction using natural language analogies. Scientific Awards: Stanford Science Fellow (2021) National Defense Science and Engineering Graduate Fellowship (2019) Advising: He mentors doctoral students including Brandon Ameglio , Garyk Brixi , and Chang M. Yun , with a focus on biological design and computational methods . Labs & Collaborations: His lab collaborates with Bio-X and the Institute for Human-Centered Artificial Intelligence (HAI) , and he maintains affiliations with Sarafan ChEM-H and Stanford Data Science .
Henry Hoffmann is a Professor and Liew Family Chair in the Department of Computer Science at the University of Chicago. His research focuses on self-aware computing systems that adapt to meet goals like power efficiency, performance, and security. He leads the SEEC project and has contributed to advancements in computer architecture, embedded systems, and quantum computing. Hoffmann received the PECASE (2019), DOE Early Career Award (2015), and was inducted into the Samsung Hall of Fame for discovering vulnerabilities in SmartTVs. He holds a PhD from MIT (2013) and has co-founded Config Dynamics (2019). His work bridges control theory, machine learning, and traditional computer systems to create adaptive solutions for modern computing challenges. Education: PhD in Electrical Engineering and Computer Science from MIT (2013), SM (2003), and B.S. (1999) with highest honors from UNC Chapel Hill. Professional experience includes roles at Tilera Corporation and MIT Lincoln Laboratory. Research Interests: Self-aware systems, adaptive resource management, quantum computing optimization, and cybersecurity. His SEEC framework enables systems to autonomously adapt to constraints like energy and performance. Recent work explores applying adaptive techniques to AI/ML models for energy-efficient inference and security. Awards: Over $19M in research funding, 100+ publications, and leadership roles in NSF Expedition EPiQC (quantum computing). Named Chair of UChicago CS Department (2023-2024). Labs/Teams: Systems Group, EPiQC (quantum computing), and CERES (unstoppable computing systems). Current students include Jerry Ding and Ryien Hosseini. Notable alumni include Yi Ding (now faculty at Purdue) and Nikita Mishra.
Xiaojiang Du is the Anson Wood Burchard Endowed Professor at Stevens Institute of Technology, directing research in IoT security, AI security, and wireless networks. An IEEE Fellow and ACM Distinguished Member, he leads NSF-funded projects on secure IoT systems and cross-platform security vulnerabilities. Education PhD in Electrical Engineering, University of Maryland MS in Electrical Engineering, Tsinghua University BE in Electrical Engineering, Tsinghua University Research Focus: Develops security frameworks for IoT ecosystems and adversarial machine learning, with recent breakthroughs in smart home security anomaly detection. Honors: IEEE Fellow, ACM Distinguished Member, multiple best paper awards at IEEE conferences. Graduated PhD students hold faculty positions at UNC Charlotte, UL Lafayette, and ShanXi University. Professional Service: IEEE ComSoc Distinguished Lecturer, Associate Editor for IEEE Transactions, and General Co-Chair for IEEE/ACM IWQoS 2023. Secured $9M+ in research funding from NSF, NSA, and DOD.
Sarah Ita Levitan is an Assistant Professor in the Department of Computer Science at Hunter College, CUNY, and a member of the doctoral faculty in both Computer Science and Linguistics PhD programs at the CUNY Graduate Center. She previously served as a Postdoctoral Research Scientist at Columbia University, where she completed her PhD in Computer Science in 2019 under Dr. Julia Hirschberg. Research Focus: Spoken Language Processing Natural Language Processing Paralinguistic Analysis Trustworthiness and Deception Detection Acoustic-Procedic and Lexical Feature Extraction Online Radicalization and Misinformation Recent Publications demonstrate expertise in analyzing speech and text for trust cues, deception detection, and mental health prediction. Her awards include grants from NSF, Google, and Columbia University fellowships. She leads the Hunter Speech Lab , mentoring PhD, MS, and undergraduate students in computational linguistics research. Scientific Awards and Grants: NSF EAGER Grant (2023) Google Cyber NYC Grant (2023) NSF AI Institute Grant (2023) Air Force Office of Scientific Research Grant (2020) Brown Institute Seed Grant (2020) Knight News Innovation Fellowship (2018) Teaching: Courses include Natural Language Processing (undergraduate/graduate), Computational Linguistics, Computer Theory, and advanced topics in spoken language processing at both Hunter College and Columbia University.
Jim Smith is a Professor in Interactive Artificial Intelligence at the University of the West of England (UWE), Bristol, affiliated with the School of Computing and Creative Technologies and the Department of Computer Science and Creative Technologies. He serves as Director of the Computer Science Research Centre and leads the AI@UWE theme. His research is supported by UKRI, Innovate UK, and partnerships with organizations including Health Data Research UK, Office for National Statistics, NHS Scotland, and DSTL. University: University of the West of England School: School of Computing and Creative Technologies Department: Department of Computer Science and Creative Technologies Role: Professor in Interactive Artificial Intelligence Leadership: Director, Computer Science Research Centre Research Interests : Jim Smith's work focuses on Interactive Artificial Intelligence, particularly at the intersection of AI and privacy preservation when using sensitive data for public good. His research includes statistical disclosure control, privacy leakage from AI models, evolutionary computation, machine learning, and systems that learn through human interaction or self-adaptation. He explores how AI can automate privacy checks in research outputs and assess vulnerabilities in trained models. Recent Publications : His recent work spans AI privacy in trusted research environments (e.g., SACRO, SDC-Reboot), dialogue act classification, human-robot interaction, and visualization of deep learning models. Themes include privacy-preserving AI, automated disclosure control, interactive machine learning, and neuromorphic computing. Machine Learning & Privacy Evolutionary Computation Interactive AI Systems Human-Computer Interaction Statistical Disclosure Control Federated Learning Security Scientific Awards : No specific awards are mentioned in the provided texts. Advising and Grants : He currently supervises PhD students on topics including spatio-temporal air quality modeling, federated learning privacy, and threat detection in mobile networks. He leads Innovate UK and UKRI-funded projects such as SACRO and SDC-Reboot, focusing on AI-driven solutions for data confidentiality in public sector research. Interactive Machine Learning for Claim Settlement (Innovate UK) SDC-Reboot (DARE UK/Health Data Research UK) Threat Identification in Mobile Networks (Ribbon Communications) Labs and Teams : He leads the AI@UWE initiative and the Computer Science Research Centre at UWE. His work involves collaboration through DARE UK and open-source development via the AI-SDC GitHub organization, which hosts tools from SACRO and GRAIMATTER projects.
Ping Yang is a Professor and Associate Director for Research and Graduate Programs in the School of Computing at Binghamton University (SUNY). She holds a Ph.D. in Computer Science from Stony Brook University, an ME from the Chinese Academy of Sciences, and a BS from Zhongshan University. Her research focuses on cybersecurity, AI-based security, virtual machine security, privacy policy analysis, and formal methods. She directs the Center for Information Assurance and Cybersecurity and coordinates cybersecurity programs at both undergraduate and graduate levels. Education: BS in Computer Science, Zhongshan University ME in Computer Science, Chinese Academy of Sciences MS and PhD in Computer Science, State University of New York at Stony Brook Research Interests: Dr. Yang's work spans information and systems security, security in virtualized computing, access control mechanisms, privacy policies, and formal methods for security verification. Her projects include blockchain-based provenance storage, real-time anomaly detection in workflows, and privacy-preserving virtual machine migration. She has led NSF-funded initiatives on security in cloud environments and scientific workflows. Awards: Not explicitly listed in the provided materials. Advising & Grants: Advised over 30 PhD/Master’s students and contributed to grants including NSF Scholarship for Service and GenCyber programs. Her team develops tools like RBAC-PAT for access control analysis. Labs/Teams: Leads the Center for Information Assurance and Cybersecurity and collaborates on projects involving secure data workflows and blockchain applications in scientific research.
Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH
Alastair Beresford is Professor of Computer Security and Head of the Department of Computer Science and Technology (The Computer Laboratory) at the University of Cambridge. He is also the Robin Walker Fellow in Computer Science at Queens' College, Cambridge. His leadership spans both academic administration and research innovation within one of the world's leading computer science departments. Professor Beresford's research focuses on the security and privacy of large-scale distributed computer systems, with particular emphasis on networked mobile devices such as smartphones, tablets, and laptops. His work examines both device-level security and the privacy implications of interactions between mobile devices and cloud-based services. His methodological approach combines critical evaluation of existing products, development of novel prototype technologies, and empirical measurement of human behavior in security contexts. His recent publications reveal a strong focus on confidentiality computing, anonymity networks, mobile security, and secure group communication. Notable projects include Pudding (private user discovery in anonymity networks), CoverDrop (secure whistleblower-journalist communication), and research on the practical viability of anonymity networks on smartphones. His work consistently bridges theoretical security concepts with practical implementations that have led to real-world security improvements in iOS, Android, and OpenSSH. Scientific Awards: Andreas Pfitzmann Best Student Paper Award (PETS 2022) for work on secure initial contact between whistleblowers and journalists Professor Beresford leads several major collaborative research initiatives including the Centre for Mobile, Wearable Systems and Augmented Intelligence (co-directed with Prof Cecilia Mascolo), the Cambridge Cybercrime Centre, and the Raspberry Pi Computing Education Research Centre. He also serves as technical director for the Isaac Learning Platform, which has supported over 500,000 users making more than 120 million question attempts since 2015. His research has practical impact, with findings leading to security fixes in major commercial products including iOS 12.2 (CVE-2019-8541), watchOS 5.2, Android 11, and OpenSSH 9.8 (CVE-2024-39894).
Daniel Kifer is a Professor in the Computer Science and Engineering department at Pennsylvania State University, with affiliations to the Huck Institutes of the Life Sciences. His work bridges computer science, privacy-preserving machine learning, and geoscience applications. With over 10,000 citations and a high h-index, he focuses on methods to unify theoretical and applied research. Research Interests: Differential Privacy, Privacy-Preserving Machine Learning, Physics-Informed Neural Networks, Landslide Prediction, and Formal Verification of Privacy Systems. Recent projects include grants from the National Science Foundation: SaTC: CORE: Small (2024): privacy-preserving user data embedding in machine learning pipelines. SaTC: CORE: Medium (2017-2023): formal methods for differential privacy and accuracy optimization. His research outputs span domains like geoscience, database systems, and policy analysis, emphasizing precision and scalability of privacy-preserving algorithms.
Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.
Sebastian Szyller serves as an Assistant Professor in the Department of Computer Science at Aalto University, Finland, where he is a core member of Adjunct Professor N. Asokan's research group. His academic role centers on advancing security frameworks for machine learning systems through rigorous theoretical and empirical research. His research expertise spans machine learning security , adversarial machine learning , and model ownership verification , with particular emphasis on defense mechanisms against model extraction attacks, unintended interactions among security measures, and intellectual property protection for AI models. Key contributions address the tension between model confidentiality and practical deployment requirements in real-world systems. Analysis of his 2019-2024 publications reveals an evolving research trajectory from foundational model extraction defenses (e.g., PRADA, 2019) to sophisticated analyses of defense interactions (SoK, 2024) and ownership resolution frameworks (False Claims, 2024). His work consistently bridges theoretical security principles with practical ML deployment challenges, establishing critical benchmarks for model protection. Dr. Szyller actively contributes to premier security venues including IEEE Symposium on Security and Privacy, USENIX Security Symposium, and AAAI conferences. His collaborations within Asokan's research group demonstrate strong interdisciplinary engagement in securing machine learning ecosystems, with recent work expanding into multimedia security and eCommerce fraud detection applications.
Franziska Boenisch is a tenure-track faculty member at the CISPA Helmholtz Center for Information Security , where she co-leads the SprintML lab for Secure, Private, Robust, Interpretable, and Trustworthy Machine Learning. Her research lies at the intersection of privacy-preserving machine learning and trustworthy ML , with a focus on differential privacy , model inversion attacks , and privacy risks in federated learning . She completed her PhD at Freie Universität Berlin and was a postdoctoral fellow at the Vector Institute for Artificial Intelligence under Prof. Nicolas Papernot. Her work has been recognized with awards such as the Academics Rising Start Award (3rd Prize) and the GI Junior-Fellow honor. Her research spans a wide range of topics including memorization in diffusion models , watermarking generative models , membership inference attacks , and privacy-preserving federated learning . She has published extensively in top-tier venues like ICML , NeurIPS , ICLR , and CVPR . She is actively involved in the academic community, serving as an Area Chair for NeurIPS , Track Chair for ACM AsiaCCS , and co-organizing workshops at ICML . She is currently hiring PhDs, postdocs, and research interns for her group.
