MORUSLEAF.GITHUB.IO

I am a Ph.D. student in Yale FLINT group supervised by Zhong Shao. I am interested in doing research on programming language and formal methods. In my view, the process of specifying and verifying software is just as critical as implementing it. Thus, I believe that incorporating these practices into the development cycle and making them an industrial standard is essential for the future. I am of the opinion that creating correct software should be just as simple as implementing it. Programmers typically possess informal specifications and proofs in their minds or in their documentation. As such, I focus on developing frameworks and tools that assist them in formally writing down specifications and obtaining machine-verifiable proof of software correctness.