March 31st, 2020 by Studio Pence | Posted in CSE | No Comments Tags: Algorithms, Languages & Databases (CSE), Security and Privacy (CSE) Subarno Banerjee uses program analysis to improve software systems’ safety and security.