![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Satnam Singh, Software Engineer, Harmonic.
Thursday 26 February 2026, 14:00-15:00
Computer Lab, FW26
Contact: No managers listed
0 upcoming talks View 16 archived talks
Computer Laboratory Systems Research Group Seminar
Automatically Formally Verified Hardware using Aristotle
Cambridge ML Systems Seminar Series
Learning Under Constraints: From Federated Collaboration to Black-Box LLMs
Cambridge ML Systems Seminar Series
Building Organizational Resilience with AI Malfunction Drills
Cambridge ML Systems Seminar Series
Learning Rate Schedules, Scaling Laws, and Techniques for Pretraining LLMs
Cambridge ML Systems Seminar Series
Training LLMs Anywhere: Enabling Large-Scale Decentralized Learning on Your Mobiles Devices
Cambridge ML Systems Seminar Series
Energy Efficient Edge AI using Ensembles and Hyperdimensional Computing
ML@CL Ad-hoc Seminar Series
Accelerate lunchtime seminar series
NLIP Seminar Series
Investigating Reasons for Disagreement in Natural Language Inference
NLIP Seminar Series
Improving Model Robustness for Natural Language Inference
NLIP Seminar Series
Rethinking the role of tokenization in the NLP pipeline
NLIP Seminar Series
Claim-Dissector: An Interpretable Fact-Checking System with Joint Re-ranking and Veracity Prediction
NLIP Seminar Series
Measuring Causal Effects of Data Statistics on Language Model Predictions
NLIP Seminar Series
Neuro-Symbolic Deep Natural Language Understanding
Logic and Semantics Seminar (Computer Laboratory)
Aspects of my formal development work
Logic and Semantics Seminar (Computer Laboratory)
Formal Foundations for Provably Safe Web Components
Logic and Semantics Seminar (Computer Laboratory)
A Profunctorial Finiteness Semantics
Please see above for contact details for this list.