Skip to main content

Vijay D'Silva

Vijay Victor D'Silva

Doctoral Student


I am currently a postdoc in Computer Science at the University of California, Berkeley. My current research is about combining various techniques to detect malware on Android phones. I was a DPhil student in Oxford from August 2008 to September 2011. During that period, I worked on interpolation-based model checking, program analysis, and SAT and SMT solvers. In my pre-doctoral life, I had hardware inclinations and worked on timing analysis of sequential circuits, and the design of bus protocols. I have always had a strong interest in automata theory and logic, but have not published much in those areas. 


I defended my DPhil in March 2012 and my dissertation was accepted by the committee in December 2012. I received the degree of Diplom. Wirtschaftsinformatik from the University of Zurich in 2006 and a Bachelor of Technology in Computer Science and Engineering from IIT Bombay in 2002. 

Selected Publications

View AllManage publications