Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Publication
The Next Horizon of System Intelligence
Group
Software-Hardware Co-design (SHARC)
The goal of our research is to make AI systems more efficient, reliable, and secure across all software and hardware layers. Our current projects span agentic AI operations, intelligent model serving, hardware introspection, and hardware…
Tool
TrainVerify
TrainVerify is a verification tool to ensure parallelization equivalence in distributed model training. It guarantees that the parallelized model is arithmetically equivalent to its original single-device version, thereby eliminating errors such as incorrect tensor transformations or faulty…