The Secure, Reliable, and Intelligent Systems (SRI) Lab is a research group in the Department of Computer Science at ETH Zurich. Our research focuses on reliable, secure, and trustworthy machine learning, with emphasis on large language models. We currently study issues of controllability, security and privacy, and reliable evaluation of LLMs, their application to mathematical reasoning and coding, as well as generative AI watermarking, AI regulations, federated learning privacy, robustness and fairness certification, and quantum computing. Our work has led to six ETH spin-offs: NetFabric (AI for systems), LogicStar (AI code agents), LatticeFlow (robust ML), InvariantLabs (secure AI agents; acquired), DeepCode (AI for code; acquired), and ChainSecurity (security verification; acquired). To learn more about our work see our Research page, recent Publications, and GitHub releases. To stay up to date follow our group on Twitter.