Home > Science > Finishing PhD

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!

Categories: Science
  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s

%d bloggers like this: