Akash Lal

Microsoft Research, Bangalore

Improved software quality using automated verification

Aakash invented a new automated verification tool to improve software quality. It verifies concurrent programs 30 times faster than the currently existing tool.

Fahad Azad

Robosoft Systems

DuctBot: Duct cleaning robot to improve quality of air we breathe.

The toy-car sized robot, DuctBot will effectively clean the dirt and grime deposits in air –conditioning ducts in buildings- a process which will improve the quality of air and reduces power consumption by the air conditioning system. Earlier the process was done by sending humans inside these narrow passages with dusting equipment.

Manav Bhatia

Alcatel-Lucent, Bangalore

Securing the Internet service provider's routing network.

Bhatia’s new security and authentication algorithms make the routing protocols secured and less susceptible to attacks like traffic redirection and denial of service.