Finishing PhD

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!


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s