Thesis is in and I am waiting for reviews. Now! I have begun thinking about next phase of research. I need to decide the problems to attack. I am planning to read lots of papers in next 2 months.
I have been very much focused one kind of research in software verification, i.e., CEGAR (verification jargon). I need to venture out in new directions. May be program synthesis, may be towards developing efficient implementations of verification algorithms.
Let the reading begin!