2017, Aalok Thakkar’s internship

Aalok studied the effect of temporal vs permanent mutations in a discrete biological network, in view of finding strategies for reprogramming. His results — which will give rise to a publication submission — include a complete characterization of state independent temporal reprogramming strategies (SITRep) that can be described in a novel tree logic that Aalok developed for this purpose; in addition, he showed the problem of finding a SITRep strategy, for obtaining a fixed goal, to be in PSPACE.