with colleagues at FST/TCS, Bangalore