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

CS thesis that requires traveling, tell us more! What's the topic? :)


Perhaps the Italian girlfriend was not where the mainframe on which the theorem prover ran? ;)

If I had been in Italy, perhaps my Ph.D. would never have been finished...


I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: