From the website of Patrick Cousot: "I work on formal methods (i.e. how to use mathematics to design programs) as opposed to software engineering (i.e. how to design programs avoiding any use of mathematics or rigorous reasoning)."
Holy shit lmao
It worked first time reviews weren't straight insults
Thank god i will die at 27
My favourite is the one with the tesseract
of tesseracts of program logics
Running some balistics calculations to decide if it's worth to present my paper