IS2Lab.github.io/research.html at main · IS2Lab/IS2Lab.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>IS² Lab — Research</title>
<meta name="description" content="Research themes of the IS2 Lab: software engineering for trustworthy AI, and formal analysis of system security.">
<link rel="icon" href="favicon.ico">
<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:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;600;700&family=Noto+Sans+SC:wght@400;500;700&display=swap" rel="stylesheet">
<link rel="stylesheet" href="assets/css/styles.css">
</head>
<body>
<header class="nav">
  <div class="nav-inner">
    <a class="brand" href="index.html"><span class="mark">IS<sup>2</sup></span><span><span class="bt">IS² Lab</span><span class="bs">Zhejiang University</span></span></a>
    <nav class="nav-links" id="navLinks">
      <a href="index.html" data-i18n="nav.home">Home</a>
      <a href="team.html" data-i18n="nav.team">Team</a>
      <a href="research.html" class="active" data-i18n="nav.research">Research</a>
      <a href="publications.html" data-i18n="nav.publications">Publications</a>
      <a href="news.html" data-i18n="nav.news">News</a>
      <a href="vacancies.html" data-i18n="nav.join">Join Us</a>
    </nav>
    <div class="nav-tools">
      <button class="btn-ghost lang-btn" id="langBtn" aria-label="Switch language"><span class="lang-en on">EN</span><span class="sep">/</span><span class="lang-zh">中文</span></button>
      <button class="btn-ghost" id="themeBtn" aria-label="Toggle theme"><span class="theme-ic">☾</span></button>
      <button class="nav-burger" id="burger" aria-label="Menu">☰</button>
    </div>
  </div>
</header>
<noscript><div class="noscript-note" data-i18n="noscript">This site uses JavaScript to load content and switch languages. Please enable JavaScript.</div></noscript>
<section style="padding-top:52px;">
  <div class="wrap">
    <div class="sec-head">
      <p class="sec-kicker" data-i18n="research.kicker">// research</p>
      <h1 class="sec-title" data-i18n="research.title">Research</h1>
      <p class="sec-sub" data-i18n="research.sub"></p>
    </div>
    <div class="stats" style="margin-bottom:40px;">
      <div class="stat"><div class="n">3</div><div class="l" data-i18n="stat1">Research tracks</div></div>
      <div class="stat"><div class="n">40+</div><div class="l" data-i18n="stat2">Papers at top venues</div></div>
      <div class="stat"><div class="n">3</div><div class="l" data-i18n="stat3">Best-paper honors</div></div>
      <div class="stat"><div class="n">4+</div><div class="l" data-i18n="stat4">Industrial partners</div></div>
    </div>
    <div id="research-mount"></div>
    <p class="tagline" style="text-align:center;margin-top:8px;" data-i18n="research.more">… and more.</p>
    <div class="sponsors-wrap">
      <h4 class="sponsors-h" data-i18n="sponsors.h">Supported by</h4>
      <div class="sponsor-grid" id="sponsors-mount"></div>
    </div>
  </div>
</section>
<footer class="foot">
  <div class="wrap">
    <div class="foot-grid">
      <div><p class="lab">IS² Lab</p><p data-i18n="foot.tag">Establishing formal trust for intelligent systems.</p></div>
      <div><h4 data-i18n="foot.explore">Explore</h4><ul>
        <li><a href="team.html" data-i18n="nav.team">Team</a></li>
        <li><a href="research.html" data-i18n="nav.research">Research</a></li>
        <li><a href="publications.html" data-i18n="nav.publications">Publications</a></li>
        <li><a href="news.html" data-i18n="nav.news">News</a></li>
        <li><a href="vacancies.html" data-i18n="nav.join">Join Us</a></li>
      </ul></div>
      <div><h4 data-i18n="foot.contact">Contact</h4><ul>
        <li><a href="mailto:wangjyee@gmail.com">wangjyee@gmail.com</a></li>
        <li data-i18n="foot.addr">Yuquan Campus, Zhejiang University, 310027 Hangzhou, China</li>
      </ul></div>
    </div>
    <div class="foot-base">
      <span data-i18n="foot.partof">Part of the College of Control Science and Engineering, Zhejiang University.</span>
      <span>© <span id="yr"></span> <span data-i18n="foot.rights">IS² Lab, Zhejiang University.</span></span>
    </div>
  </div>
</footer>
<script src="assets/js/i18n.js"></script>
<script src="assets/js/data.js"></script>
<script src="assets/js/main.js"></script>
<script>document.getElementById("yr").textContent=new Date().getFullYear();</script>
</body>
</html>