[Haskell-cafe] PhD at age 45?

[Dennis Raddle]

On Tue, Dec 3, 2013 at 7:47 PM, Kristopher Micinski
<krismicinski at gmail.com>wrote:

>
>
> I can think of a few potentially relevant points:
>  - The only reason to do a PhD is because you want to learn how to do
> research on a very specific problem.
>


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.

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.

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.

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.

Dennis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131203/fe1c4079/attachment.html>