36,742 followers
RT @thattai: Our latest: "A formal methods approach to predicting new features of the eukaryotic vesicle traffic system". We encode vesicle…
1,304 followers
RT @thattai: Our latest: "A formal methods approach to predicting new features of the eukaryotic vesicle traffic system". We encode vesicle…
4,011 followers
Congratulations to @thattai, #AnkitShukla and all the other authors! @NCBS_Bangalore @jkulinz @NUSComputing @NUSingapore @iitbombay @SimonsFdn
141 followers
RT @thattai: Our latest: "A formal methods approach to predicting new features of the eukaryotic vesicle traffic system". We encode vesicle…
1,210 followers
Great interdisciplinary work. Hopefully the start of training more transdisciplinary researchers like Ankit.
143 followers
RT @thattai: Our latest: "A formal methods approach to predicting new features of the eukaryotic vesicle traffic system". We encode vesicle…
396 followers
RT @thattai: Our latest: "A formal methods approach to predicting new features of the eukaryotic vesicle traffic system". We encode vesicle…
9,960 followers
Our latest: "A formal methods approach to predicting new features of the eukaryotic vesicle traffic system". We encode vesicle traffic as a Boolean satisfiability problem. This work was entirely driven by a talented computer science student, Ankit Shukla.