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.