Projects

• Quatern: AI that writes robot code and proves it works.
• CollectiveTrace: finding which GPU kernels are holding up communication between GPUs during distributed training.