Research Areas
My research focuses on developing practical formal verification methods for various systems. I am particularly interested in bridging the gap between theoretical foundations and real-world applications.
Details about my research areas and projects are being prepared. Please check back soon or visit my publications page to see my recent work.