Research Statement Towards Usable Program

The goal of the research is to build usable formal verifiers, which naturally integrates the specification of correctness properties in the development process and are tested in real-world programs.