Wen Fan
Hi, I am Wen Fan (范文), a fourth-year PhD student at Purdue ECE. I am advised by Prof. Jenna DiVincenzo. My research is on LLM for program verification.
| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 11 Dec 2025 02:23:52 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"693a2b38-1f42"
expires: Mon, 29 Dec 2025 08:52:19 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 2D48:1F53DD:888863:9963E5:69523EEA
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 08:42:19 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210093-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766997739.738173,VS0,VE626
vary: Accept-Encoding
x-fastly-request-id: f77051fecc9d173e3f79ddfc095935d3a0502ca3
content-length: 2599
Wen Fan - Wen Fan’s Homepage