Side note - did you do a PhD in formal verification? I'd love to hear more about... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		exdsq on Jan 20, 2020 \| parent \| context \| favorite \| on: How Amazon Web Services Uses Formal Methods (2015)... Side note - did you do a PhD in formal verification? I'd love to hear more about it? I am seriously considering it myself.

amortize_ on Jan 20, 2020 [–]

I have not, but like you am considering getting a PhD in this area.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact