todiff.github.io/people.html at master · ToDiff/todiff.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<!DOCTYPE html>
<html lang="en" class="scroll-smooth">
<head>
  <meta charset="utf-8">
  <script>(function(){var t=localStorage.getItem("cs-lab-theme");if(t==="light")document.documentElement.setAttribute("data-theme","light");})()</script>
  <meta name="description" content="People of the The Lab for Compiler and Security Technology at Nanjing University.">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>People — The Lab for Compiler and Security Technology</title>

  <link rel="preconnect" href="https://fonts.googleapis.com">
  <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
  <link href="https://fonts.googleapis.com/css2?family=Inter:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,400;1,700&family=JetBrains+Mono&display=swap" rel="stylesheet">

  <link rel="stylesheet" href="static/css/fontawesome.all.min.css">
  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/academicons@1.9.2/css/academicons.min.css">
  <link rel="stylesheet" href="static/css/index.css">
  <link rel="icon" href="static/images/favicon.html">

  <script defer src="static/js/fontawesome.all.min.js"></script>
  <script src="static/js/index.js"></script>
</head>
<body>

<div class="bg-pattern"></div>
<div class="site-content">

<nav class="navbar" role="navigation" aria-label="main navigation">
  <div class="navbar-inner">
    <a id="nav-back" href="works.html" class="nav-back" style="display:none;">
      <span class="back-arrow">←</span>
      <span class="back-label"></span>
    </a>
    <a href="index.html" class="navbar-logo">
      <span class="navbar-logo-dot"></span>
      <span id="logo-text"></span>
    </a>
    <ul id="nav-links" class="navbar-links"></ul>
    <div class="navbar-actions">
      <button id="theme-toggle" class="theme-toggle" aria-label="Toggle theme">
        <span id="theme-toggle-icon">☀️</span>
      </button>
      <button class="navbar-burger" aria-label="menu" aria-expanded="false">
        <span aria-hidden="true"></span><span aria-hidden="true"></span><span aria-hidden="true"></span>
      </button>
    </div>
  </div>
</nav>

<section class="hero">
  <div class="hero-inner">
    <h1 class="hero-title">
      <span class="hero-title-line gradient-text">Our Team</span>
    </h1>
  </div>
</section>

<section class="section">
  <div class="section-inner">
    <h2 class="section-title reveal"><span class="gradient-text">Members</span></h2>
    <div class="maintainer-grid">
      <div class="card flat maintainer-card reveal">
        <img class="maintainer-avatar" src="static/images/image_sb.jpg" alt="Bing Shui">
        <div class="maintainer-info">
          <p><strong>Bing Shui</strong></p>
          <p>🎓 Ph.D. Candidate</p>
          <p>📧 <a href="mailto:bingshui@smail.nju.edu.cn">bingshui@smail.nju.edu.cn</a></p>
          <p><span class="icon"><i class="fab fa-github"></i></span> <a href="https://github.com/Shbinging" target="_blank">Shbinging</a></p>
        </div>
      </div>
      <div class="card flat maintainer-card reveal">
        <img class="maintainer-avatar" src="static/images/image_zyf.png" alt="Yufan Zhou">
        <div class="maintainer-info">
          <p><strong>Yufan Zhou</strong></p>
          <p>🎓 Ph.D. Candidate</p>
          <p>📧 <a href="mailto:yufanzhou@smail.nju.edu.cn">yufanzhou@smail.nju.edu.cn</a></p>
          <p><span class="icon"><i class="fab fa-github"></i></span> <a href="https://github.com/Z-Yivon" target="_blank">Z-Yivon</a></p>
        </div>
      </div>
      <div class="card flat maintainer-card reveal">
        <img class="maintainer-avatar" src="static/images/image_yhd.jpg" alt="Hengdi Ye">
        <div class="maintainer-info">
          <p><strong>Hengdi Ye</strong></p>
          <p>🎓 Ph.D. Candidate</p>
          <p>📧 <a href="mailto:ys.hd@smail.nju.edu.cn">ys.hd@smail.nju.edu.cn</a></p>
          <p><span class="icon"><i class="fab fa-github"></i></span> <a href="https://github.com/UshioA" target="_blank">UshioA</a></p>
        </div>
      </div>
    </div>
  </div>
</section>

<section class="section">
  <div class="section-inner">
    <h2 class="section-title reveal"><span class="gradient-text">About the Lab</span></h2>
    <div class="card flat reveal">
      <p><strong>The Lab for Compiler and Security Technology</strong> is a part of the School of Computer Science, Nanjing University, supervised by Dr. <a href="https://qingkaishi.github.io/" target="_blank">Qingkai Shi</a>. We deeply explore the security of routing protocols through both formal analysis and intelligent approaches, building practical tools that have uncovered critical bugs in widely-used open-source software.</p>
      <p style="margin-bottom:0;">Interested in collaborating? <a href="mailto:qingkaishi@nju.edu.cn">Get in touch</a>.</p>
    </div>
  </div>
</section>

<footer class="footer">
  <div class="footer-brand">The Lab for Compiler and Security Technology</div>
  <div class="footer-copy">
    School of Computer Science · Nanjing University &nbsp;|&nbsp;
    <a href="mailto:qingkaishi@nju.edu.cn">Contact</a>
  </div>
</footer>

</div>
</body>
</html>