LeakIX - Host youl.org

Open service 104.21.83.141:8443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=%2FtNqzOg01Qpj52dvOosm%2FG1V%2FPvIo%2B2dW2cLXOXDPEkeqfCCeqr2GvugnwuqRLFypbXY7bKKsIdA2tGOF4e3q0Hja5wzbs%2Fm"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb1679fec6142-SJC
alt-svc: h3=":8443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#6910061c47050029041a07470a0604"><span class="__cf_email__" data-cfemail="037a6c762d6f6a436e706d2d606c6e">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 2606:4700:3034::6815:538d:443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=XI%2FFoHsLqtOAs3K9CwY0oST37vb%2Frj5c8N51MpvVdqU0ZrgovrBRqyJF2BiOHY4cTFkXuSHygFPiS67m52NEIbOX%2Fm3Y26WPZ0y5TqZXyJc9TvoS"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb166ed88bdbc-EWR
alt-svc: h3=":443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#8df4e2f8a3e1e4cde0fee3a3eee2e0"><span class="__cf_email__" data-cfemail="7801170d56141138150b16561b1715">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 2606:4700:3034::6815:538d:80 · youl.org

2026-01-22 14:20

HTTP/1.1 301 Moved Permanently
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Length: 0
Connection: close
Location: https://youl.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=QSKkKsQgz%2BbyFhtDY%2BHR1lU5dAE4nmYor18KPjdE4QlVV551AhVM1EqUV4pjPkrQz6uAfN9EM%2F6DXQUQm6%2B4sJ5DenmfXgu4Emz6j3v%2BD5VWufrM"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c1fb1669950ff99-BOM

Found 2026-01-22 by HttpPlugin

Create report

Open service 2606:4700:3036::ac43:b145:80 · youl.org

2026-01-22 14:20

HTTP/1.1 301 Moved Permanently
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Length: 0
Connection: close
Location: https://youl.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=3kHknWKvN9zctEpw2oUXCF8uCS0nA3uVvOrgRfKRtKJvLgtATfZf6EczdliftqFczKGF3ZCRutmi5zUbnR%2FEsMNFpaFiuDQGdb4QBO0ymS2nWHDF"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c1fb1666bda320a-AMS

Found 2026-01-22 by HttpPlugin

Create report

Open service 2606:4700:3034::6815:538d:8443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=QmH1gaEmODvIuWATSW1VKjgH%2Fhzmhf7sH55ZTwFiMnNTDLGFm9ilm4rFFYxiI%2FwW6ZP09v08hWmjHYzCGUWoA3RxNOrM86fKP76JRSg6qDm7Mm%2Bg"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb166c994bdee-EWR
alt-svc: h3=":8443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#057c6a702b696c4568766b2b666a68"><span class="__cf_email__" data-cfemail="88f1e7fda6e4e1c8e5fbe6a6ebe7e5">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 172.67.177.69:443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=FGygGdQnTp8inBXq9b11KAziYolHOM9oGz%2FKQncu%2FXix0ciJLePUY9ZUR2R8uCZGx2mMe4yc1M0vlPflut3%2Fv490Y%2BgnW9xe"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb166af933860-LHR
alt-svc: h3=":443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#1861776d36747158756b76367b7775"><span class="__cf_email__" data-cfemail="037a6c762d6f6a436e706d2d606c6e">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 2606:4700:3036::ac43:b145:443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=OLePXEZqaoEIUg9F7vCH9Q6zaveGKqQukbt6F%2FofWf1kKaXXQRMwfzUbt0fwRBX3lZu0tW4e%2BBHALAj1Bhxq9D3zmDvb0YgtD0RcYM3PEb6vAa1H"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb1665ef35e80-EWR
alt-svc: h3=":443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#4c3523396220250c213f22622f2321"><span class="__cf_email__" data-cfemail="3b42544e1557527b56485515585456">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 104.21.83.141:443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=QWhp4gWVGPOOplO2pTWoOnjergLd%2BawuJCzXwAZbmruBLPVdB14%2FvwMHAn09fBqy7ncB79I4Uxp9JKBaRiUsT2BdOh5efxGe"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb1663b37c094-EWR
alt-svc: h3=":443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#245d4b510a484d6449574a0a474b49"><span class="__cf_email__" data-cfemail="c1b8aeb4efada881acb2afefa2aeac">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 172.67.177.69:80 · youl.org

2026-01-22 14:20

HTTP/1.1 301 Moved Permanently
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Length: 0
Connection: close
Location: https://youl.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=xNptiqIWR0QjaoKvZNbn9UMI8xlkXqcjz03zoq4ffYzSEMADYgNmt1DjiddSZPSDmJU7BgTrVHCgvSazdZB8IeR2IStrDQQU"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c1fb165dd714dbd-FRA

Found 2026-01-22 by HttpPlugin

Create report

Open service 104.21.83.141:80 · youl.org

2026-01-22 14:20

HTTP/1.1 301 Moved Permanently
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Length: 0
Connection: close
Location: https://youl.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=zo5Z0SGuNU8yy2z%2B9EAz4Hscte%2Ffpo%2B%2FPvJU8cgNwpsObOPz338YKbsi%2FKaUCOAyid8AopHtSt%2FtsQoYcDFv54zwjGKRJ3E5"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c1fb1664e66423b-EWR

Found 2026-01-22 by HttpPlugin

Create report

Open service 2606:4700:3036::ac43:b145:8443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=MeqSKRffIwb56amiyMTbfSglOJEPbyuyBkzgMEW54dfLHGIXw5wXPp%2B3QXsPIl%2BDRnV9ui%2F%2BMCH9%2F0IjIY4aQev4S0k6Ag4uiv%2F0k8DknmW3Gaiy"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb16628d49491-LHR
alt-svc: h3=":8443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#176e7862397b7e577a64793974787a"><span class="__cf_email__" data-cfemail="c3baacb6edafaa83aeb0adeda0acae">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Create report

Open service 172.67.177.69:8443 · youl.org

2026-01-22 14:20

HTTP/1.1 200 OK
Date: Thu, 22 Jan 2026 14:20:36 GMT
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked
Connection: close
Access-Control-Allow-Origin: *
Cache-Control: public, max-age=0, must-revalidate
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=EenEPLQNH%2B8flVHJAgAzGd2hYyQZo0xa%2F2t4DYSbyZOluY2neBHw9PJyZfkX0xEqI7xWUvdbfvRbL5xNwl0INHszegF9ZvKE"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9c1fb165b9a88ed5-FRA
alt-svc: h3=":8443"; ma=86400

Page title: Home

<!DOCTYPE html>
<html lang="en">
<!-- Adapted from: https://github.com/mkenworthy/mkenworthy.github.io -->

<meta charset="utf-8"/>
<title>Home</title>

<link rel="stylesheet" href="tufte.css"/>
<link rel="stylesheet" href="latex.css"/>
<link rel="stylesheet" href="tufte_navbar.css"/>

<meta name="description"
content="You Li's Homepage.">

<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
</head>

<body>

  <header class="header">
    <a href="index.html" class="logo">Home</a>
    <input class="menu-btn" type="checkbox" id="menu-btn" />
    <label class="menu-icon" for="menu-btn"><span class="navicon"></span></label>
    <ul class="menu">
      <li><a href="publication.html">Publication</a></li>
      <li><a href="research.html">Research</a></li>
    </ul>
  </header>

  <article>
    <section>
<p><label for="fig-mak" class="margin-toggle">&#8853;</label><input type="checkbox" id="fig-mak" class="margin-toggle"/><span class="marginnote"><img src="img/skyline.png" alt="Chicago Skyline in 2023" /></span></p>

      <h1 id="Home">You Li, Ph.D.</h1>

      <p class="subtitle">Postdoctoral Fellow at The University of Texas at Austin</p>

      <ul>
        <li>AI-assisted design generation with correctness guarantees;</li>
        <li>Theoretical foundations of symbolic model checking;</li>
        <li>Formal verification in VLSI design automation;</li>
        <li>Hardware security and trust;</li>
        <li>Security analysis for AI and network systems.</li>
      </ul>
      <p>I am currently a member of the <a href="https://www.cerc.utexas.edu/utda/">UTDA</a> Lab, mentored by Prof. <a href="https://users.ece.utexas.edu/~dpan/">David Z. Pan</a>. I obtained my Ph.D. degree from Northwestern University, advised by Prof. <a href="http://www.eecs.northwestern.edu/~haizhou/">Hai Zhou</a>. I was advised by Prof. <a href="https://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html">Weikang Qian</a> during my undergraduate study at Shanghai Jiao Tong University.</p>

      
      <h2 id="Contact">Contact</h2>

      <ul>
        <li>Email: <a href="/cdn-cgi/l/email-protection#641d0b114a080d2409170a4a070b09"><span class="__cf_email__" data-cfemail="e0998f95ce8c89a08d938ece838f8d">[email&#160;protected]</span></a></li>
      </ul>

      <h2 id="Vita">Vita</h2>

      <ul>
        <li> <a href="doc/academic_vitae_1125.pdf">Academic CV</a></li>
      </ul>

    </section>
  </article>

<!-- Cloudflare Pages Analytics --><script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "3611a53950e442619cff3148b8f5d5c8"}'></script><!-- Cloudflare Pages Analytics --></body>
</html>

Found 2026-01-22 by HttpPlugin

Domain youl.org

Software information

Create report

Create report

Create report

Create report

Create report

Create report

Create report

Create report

Create report

Create report

Create report

Create report

youl.org

Domain summary

IP summary