Domain profile · Jun–Aug 2026Status · Live

nayeong.dev↗

Nayeong Kim

#11,124,902Link-graph rank

Top 9.3%of 119.7M domains

PageRank #28,366,420By links pointing at it

1 hostSubdomains in the link graph

About

I'm a PhD Student in Mathematics at UC Santa Barbara. I'm studying Topological Quantum Field Theory under the supervision of Professor Zhenghan Wang. I'm currently very interested in proof formalization through Lean and mathematics with AI. This is my CV. You can reach me

Technologies

Infrastructure & security · 1

HSTS

Site details

Website	nayeong.dev ↗
GitHub	grace12021 ↗
Site language	American English
Last read	29 Sep 2026

Similar sites

Sites ranked next to it

Rank	Site	Description	Technologies
11124905	xpm.dkxpm.dk	Portfolio of interaction designer Tobias Thyrrestrup.	Google AnalyticsGoogle Tag Manager+3+4
Ad	Serpex Search APIserpex.dev	The fast, affordable search API for AI & data projects.	Google AnalyticsNext.js

Is this your site? Request removal of the nayeong.dev page.