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!




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

Search: