Dr.Hariharan Narayanan joins the School of Technology and Computer Science as a Reader. Hariharan's research interests include manifold learning, randomized algorithms and convex geometry.

Dr. Ramprasad Saptharishi joins the School of Technology and Computer Science as a Reader. Ramprasad's research interests include Arithmetic complexity, pseudorandomness and derandomization.

Dr. Ashutosh Gupta's paper "Model Checking Gene Regulatory Networks,
TACAS 2015" co-authored with M. Giacobbe, C. Guet, T. Henzinger, T.
Paixao, and T. Petrov received the ETAPS EASST best paper award for

Dr. Ashutosh Gupta joins the School of Technology and Computer Science as a Reader. Ashutosh's research interests include formal verification, theorem proving, model checking, program analysis and constraint solving.