정형 컴퓨팅 및 인공지능

Decomposition: Break down large, complex components into smaller, simpler sub-components. Abstraction: Implement universal and simple abstractions for similar computing components. In response, we are dedicated to researching and developing theories, methodologies, and proofs aimed at significantly reducing, and ultimately eliminating, the costs associated with software failures, recognizing the imperative of securing our digital landscape in the face of evolving technologies. To achieve this ambitious goal, we are currently working with several collaborators listed here.