My research focuses on AI safety, formal methods, and software engineering. I am particularly interested in designing algorithms to tackle real-world challenges, while still appreciating theoretical studies in certain areas. For more details, please refer to my publications. I welcome collaborations from both academia and industry.
| CARVIEW |
Select Language
HTTP/2 301
date: Mon, 29 Dec 2025 08:59:45 GMT
server: nginx/1.27.2
content-type: text/html; charset=UTF-8
content-length: 0
permissions-policy: private-state-token-redemption=(self "https://www.google.com" "https://www.gstatic.com" "https://recaptcha.net" "https://challenges.cloudflare.com" "https://hcaptcha.com"), private-state-token-issuance=(self "https://www.google.com" "https://www.gstatic.com" "https://recaptcha.net" "https://challenges.cloudflare.com" "https://hcaptcha.com")
x-redirect-by: WordPress
location: https://sunjun.site/research/
cache-control: max-age=300
expires: Mon, 29 Dec 2025 09:04:44 GMT
host-header: c2hhcmVkLmJsdWVob3N0LmNvbQ==
x-endurance-cache-level: 2
x-server-cache: true
x-proxy-cache: MISS
HTTP/2 200
date: Mon, 29 Dec 2025 08:59:45 GMT
server: nginx/1.27.2
content-type: text/html; charset=UTF-8
permissions-policy: private-state-token-redemption=(self "https://www.google.com" "https://www.gstatic.com" "https://recaptcha.net" "https://challenges.cloudflare.com" "https://hcaptcha.com"), private-state-token-issuance=(self "https://www.google.com" "https://www.gstatic.com" "https://recaptcha.net" "https://challenges.cloudflare.com" "https://hcaptcha.com")
link: ; rel="alternate"; title="JSON"; type="application/json", ; rel=shortlink
cache-control: max-age=300
expires: Mon, 29 Dec 2025 09:04:45 GMT
vary: Accept-Encoding
content-encoding: gzip
host-header: c2hhcmVkLmJsdWVob3N0LmNvbQ==
x-endurance-cache-level: 2
x-server-cache: true
x-proxy-cache: MISS
Research – SUN Jun