<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Dec 3, 2013 at 7:47 PM, Kristopher Micinski <span dir="ltr"><<a href="mailto:krismicinski@gmail.com" target="_blank">krismicinski@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div class="im"><br><div><br></div></div><div>I can think of a few potentially relevant points:</div>
<div> - The only reason to do a PhD is because you want to learn how to do research on a very specific problem.</div></div></div></div></blockquote><div><br><br></div><div>Thanks, Kristopher, you really made sense. What I hear you saying is that you get a PhD to do research on a problem that fascinates you. You shouldn't get a PhD if you are only doing it for what happens afterward.<br>
<br></div><div>Are there any MOOCs on reasoning about software correctness? I just remembered that I've always enjoy proving my programs correct (with the limited resources I had) but I don't know anything formal about this. This also seems like a practical topic... seeing how much of the vital world is run by software.<br>
<br></div><div>In the meantime I still have a lot of free time so I think I'm going to get out my calculus and discrete math books and start reviewing. Then I'll look over courses normally required for the BS and make sure I'm solid on them. Along the way I hope to run into a topic I like. I'll look up the local professors and see if they are looking for assistants, or even just volunteer tutoring. <br>
</div><div><br></div><div>There might not be any local profs doing software verification/correctness proofs so maybe I could find someone out of the area who would be open to a phone call and working by email.<br><br></div>
<div>Dennis<br><br></div><div><br><br></div></div></div></div>