 The GCDA and GIDA are the government agencies initiating and monitoring the development of Greater Cochin area, mainly in developing infrastructure facilities for the city.Kochi is the seat of High Court of Kerala, the highest judicial body in the state of Kerala.The Kochi City Police is headed by a Police Commissioner, an Indian Police Service (IPS) officer.