4 ms·
CS thesis that requires traveling, tell us more! What's the topic? :)
by simgt 1y ago
CS thesis that requires traveling, tell us more! What's the topic? :)
- jll29 1y agoPerhaps 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...
- tekne 1y agoI work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!