Arup Kumar Ghosh
Arup studies adolescent online safety in the mobile context. The long-term goal of his dissertation research is to design and develop tools that help teens to be safe online without sacrificing their personal privacy. Prior to his current work, he conducted research in formal verification and developed a technique for detecting rare events in stochastic systems. In the future, he would like to use his expertise in formal verification, along with his newly acquired expertise in HCI, to develop better solutions for online safety and security in general. He holds a BS in Information Technology, and an MS in Computer Engineering.