nkrusch / dissertation Star 0 Code Issues Pull requests My doctoral dissertation ❀ programming-languages formal-methods augusta-university static-program-analysis implicit-computational-complexity Updated Aug 17, 2025 TeX