3 ms·

I'm assuming this was a while back, mind sharing how far he went or what he was able to produce with this focus?

• jasonwatkinspdx 11d ago
  He was planning to go into academia, but ended up abandoning his PhD ABD because he got exposed to the negative interpersonal politics that can happen in academia and realized that was not for him. So he went to go work a dozen years at a hedge fund and then retire to be a stay at home dad. His primary research interest was logical frameworks, constructive mathematics, etc. His PhD topic was on using linear logic to verify concurrent programs.
  • bbkane 11d ago
    Good for him! That's the dream!