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
2015. Granted by the European Association of Software Science and
Technology (EASST) at this year’s European Joint Conferences on Theory
and Practice of Software (ETAPS) at Queen Mary University of London ,
the award went to Mirco Giacobbe, Calin Guet, Thomas Henzinger,
Ashutosh Gupta, Tiago Paixao, and Tatjana Petrov for their excellent
paper on “Model checking gene regulatory network”. EASST is a European
non-profit association that aims at promoting research, development
and applications in the area of systematic and rigorous engineering of
software and systems.