Prof. Aditya Thakur is one of the winners of the Facebook Testing and Verification Research Award 2018 . This research award opportunity looked for proposals that will lead to direct impact on the deployment and real world impact of Testing and Verification techniques in the technology sector.


Prof. Thakur’s project, titled “Efficient Concurrent Fixpoint Computation”, will lead to practical tools for program analysis by developing new foundational techniques for computing fixpoints in abstract interpretation of programs.