foopdoopfoop

Hi there, I'm at the end of my MSc. studies in CS. At the moment, I can choose to graduate in a month or two, or stay-on for another 9 months doing research in interactive theorem proving that will potentially lead to a…