The City of Dublin, Ohio, USA, is a city of 50,000 residents. Under the leadership of its Chief Information Officer, Doug…