My work leverages program analysis techniques for the detection of malware in mobile applications. Our tool, DroidSafe, summarizes a program's security behaviors and proves properties about them. DroidSafe has achieved an order-of-magnitude improvment in diagnosis accuracy over other state-of-the-art analysis systems in DARPA-organized engagements.
I am a Faculty Director for MIT Global Startup Labs, bootstrapping technology entrepreneurship in emerging regions. We partner with universities across the globe to deliver mobile technology incubator courses. We also organize local capacity to nurture startups.
My prior research focused on automatic parallelization of stream programs. I am one of the original designers and developers of the StreamIt programming language, focusing on multicore parallelization technologies.
For more of my photographs, please visit my flickr page.
Smart Phone Technologies and Androiddelivered at Strathmore University in Kenya.
Mobile Innovation in AfricaPanel at Orange Lab's Annual Research Day in Paris.