Research in the area of: (a) Advance and futuristic architecture and system including compiler and operating system support for architecture, (b) Advanced dependable system including formal verfication and VLSI testing, and (c) Computer Aided design of VLSI and hardware accelerator.
For further information about the lab, you can access the lab website