We investigate about AI Safety, Programming Language Design & Implementation, Compilers & Runtimes for machine learning hardware or deep learning systems, and build machine learning models for Computer Vision & Natural Language Processing and also explore AI/ML Systems Software with verification, concurrency and parallelism at heart to understand the next generation intelligent systems.
The Lab has close national and international collaborations with other universities, research institutes and industrial partners.