My photo!

Hi, I'm Paul. I have spent my undergrad exploring diverse domains, including NLP, Web3, Computer Vision, Fuzzy Expert Systems, Software Testing, LLMs, Smart Home and Formal Methods. In a rainy day on June 23, I fell in love with Formal Method. Imagine proving the world around you (spec) mathematically <3

Here is a great SMT tutorial from Stanford University in Python!

I am actively looking for research opportunities in Formal Methods.

Latest News

Visit counter For Websites

Research Path & Development Skills

Development Skills
Research Path