1<!DOCTYPE html> 2<html> 3 4 <head> 5 <meta charset="utf-8"> 6 <meta http-equiv="X-UA-Compatible" content="IE=edge"> 7 <meta name="viewport" content="width=device-width, initial-scale=1"> 8 <title>THUFV Lab - Publications</title> 9 <meta name="description" content="THUFV Lab: Team members"> 10 <link rel="stylesheet" href="https://thufv.github.io/css/main.css"> 11 <link rel="canonical" href="https://thufv.github.io/team/"> 12<link rel="shortcut icon" type ="image/x-icon" href="https://thufv.github.io/images/favicon.ico"> 13 14
15<script>
vendor: 345 bytes, lines 15-21
15 16 (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ 17 (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), 18 m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) 19 })(window,document,'script','https://www.google-analytics.com/analytics.js','ga'); 20 21 ga('create', '
21UA-82472331-1
vendor: 39 bytes, lines 21-23
21', 'auto'); 22 ga('send', 'pageview'); 23
24</script>
24 25 26 27</head> 28 29 30 <body> 31 32 <div class="navbar navbar-default navbar-fixed-top" role="navigation"> 33 <div class="container-fluid"> 34 <div class="navbar-header"> 35 <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar-collapse-1" aria-expanded="false"> 36 <span class="sr-only">Toggle navigation</span> 37 <span class="icon-bar"></span> 38 <span class="icon-bar"></span> 39 <span class="icon-bar"></span> 40 </button> 41 42 <a class="navbar-brand" href="https://thufv.github.io/">Formal Verification Lab @ Tsinghua University</a> 43 </div> 44 <div class="collapse navbar-collapse" id="navbar-collapse-1"> 45 <ul class="nav navbar-nav navbar-right"> 46 <li><a href="https://thufv.github.io/">Home</a></li> 47 <li><a href="https://thufv.github.io/team">Team</a></li> 48 <li><a href="https://thufv.github.io/publications">Publications</a></li> 49 <li><a href="https://thufv.github.io/projects">Projects</a></li> 50 </ul> 51 </div> 52 </div> 53</div> 54 55 56 <div class="container-fluid"> 57 <div class="row"> 58 <div id="gridid" class="col-sm-12"> 59 <h1 id="group-members">Group Members</h1> 60 61<p><strong>We are looking for passionate new PhD students, Postdocs, and Master students to join the team! Do not hesitate to contact us if youâre interested to our research.</strong></p> 62 63<h2 id="faculty">Faculty</h2> 64 65<div class="row"> 66 67 <div class="col-sm-6 clearfix"> 68 <h4><a href="https://feihe.github.io/">Fei He</a></h4> 69 <p><i>Associate professor<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 70 <ul style="overflow: hidden"> 71 72 73 74 75 76 77 78 79 80 81 82 </ul> 83 </div> 84 85</div> 86 87<h2 id="students">Students</h2> 88 89<div class="row"> 90 91 <div class="col-sm-6 clearfix"> 92 <h4>Zhihang Sun</h4> 93 <p><i>PhD student, enrolled at 2020<br />email: <></i></p> 94 <ul style="overflow: hidden"> 95 96 97 98 99 100 101 102 103 104 </ul> 105 </div> 106 107 <div class="col-sm-6 clearfix"> 108 <h4>Yang Zhang</h4> 109 <p><i>Master student, enrolled at 2020<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 110 <ul style="overflow: hidden"> 111 112 113 114 115 116 117 118 119 120 </ul> 121 </div> 122 123</div> 124 125<div class="row"> 126 127 <div class="col-sm-6 clearfix"> 128 <h4>Zhilei Han</h4> 129 <p><i>PhD student, enrolled at 2021<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 130 <ul style="overflow: hidden"> 131 132 133 134 135 136 137 138 139 140 </ul> 141 </div> 142 143 <div class="col-sm-6 clearfix"> 144 <h4>Xingyu Xie</h4> 145 <p><i>Master student, enrolled at 2021<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 146 <ul style="overflow: hidden"> 147 148 149 150 151 152 153 154 155 156 </ul> 157 </div> 158 159</div> 160 161<div class="row"> 162 163 <div class="col-sm-6 clearfix"> 164 <h4>Biting Huang</h4> 165 <p><i>PhD student, enrolled at 2022<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 166 <ul style="overflow: hidden"> 167 168 169 170 171 172 173 174 175 176 </ul> 177 </div> 178 179 <div class="col-sm-6 clearfix"> 180 <h4>Zhijie Xu</h4> 181 <p><i>PhD student, enrolled at 2022<br />email: <></i></p> 182 <ul style="overflow: hidden"> 183 184 185 186 187 188 189 190 191 192 </ul> 193 </div> 194 195</div> 196 197<div class="row"> 198 199 <div class="col-sm-6 clearfix"> 200 <h4>Delong Zhang</h4> 201 <p><i>Master student, enrolled at 2022<br />email: <></i></p> 202 <ul style="overflow: hidden"> 203 204 205 206 207 208 209 210 211 212 </ul> 213 </div> 214 215 <div class="col-sm-6 clearfix"> 216 <h4>Pei Wang</h4> 217 <p><i>PhD student, enrolled at 2023<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 218 <ul style="overflow: hidden"> 219 220 221 222 223 224 225 226 227 228 </ul> 229 </div> 230 231</div> 232 233<h2 id="alumni">Alumni</h2> 234 235<div class="row"> 236 237 <div class="col-sm-6 clearfix"> 238 <h4>Jianhui Chen</h4> 239 <p><i>PhD student, started Sep 2016<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 240 <ul style="overflow: hidden"> 241 242 243 244 245 246 247 248 249 250 </ul> 251 </div> 252 253 <div class="col-sm-6 clearfix"> 254 <h4>Qianshan Yu</h4> 255 <p><i>PhD student, started Sep 2017<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 256 <ul style="overflow: hidden"> 257 258 259 260 261 262 263 264 265 266 </ul> 267 </div> 268 269</div> 270 271<div class="row"> 272 273 <div class="col-sm-6 clearfix"> 274 <h4>Hongyu Fan</h4> 275 <p><i>PhD student, started Sep 2018<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 276 <ul style="overflow: hidden"> 277 278 279 280 281 282 283 284 285 286 </ul> 287 </div> 288 289 <div class="col-sm-6 clearfix"> 290 <h4>Liu Yang</h4> 291 <p><i>Master student, started Sep 2018<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 292 <ul style="overflow: hidden"> 293 294 295 296 297 298 299 300 301 302 </ul> 303 </div> 304 305</div> 306 307<div class="row"> 308 309 <div class="col-sm-6 clearfix"> 310 <h4>Jitao Han</h4> 311 <p><i>Master student, started Sep 2018<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 312 <ul style="overflow: hidden"> 313 314 315 316 317 318 319 320 321 322 </ul> 323 </div> 324 325 <div class="col-sm-6 clearfix"> 326 <h4>Weichong Gan</h4> 327 <p><i>Master student, started Sep 2019<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 328 <ul style="overflow: hidden"> 329 330 331 332 333 334 335 336 337 338 </ul> 339 </div> 340 341</div> 342 343<div class="row"> 344 345 <div class="col-sm-6 clearfix"> 346 <h4>Rongchen Xu</h4> 347 <p><i>Master student, started Sep 2019<br />email: <a href="mailto:[email protected]">[email protected]</a></i></p> 348 <ul style="overflow: hidden"> 349 350 351 352 353 354 355 356 357 358 </ul> 359 </div> 360 361 <div class="col-sm-6 clearfix"> 362 <h4>Chong Ye</h4> 363 <p><i>Master student, enrolled at 2020<br />email: <></i></p> 364 <ul style="overflow: hidden"> 365 366 367 368 369 370 371 372 373 374 </ul> 375 </div> 376 377</div> 378 379<div class="row"> 380 381 <div class="col-sm-6 clearfix"> 382 <h4>Qi Yang</h4> 383 <p><i>enrolled at 2017<br />email: <></i></p> 384 <ul style="overflow: hidden"> 385 386 387 388 389 390 391 392 393 394 </ul> 395 </div> 396 397 <div class="col-sm-6 clearfix"> 398 <h4>Jiangyi Liu</h4> 399 <p><i>enrolled at 2019<br />email: <></i></p> 400 <ul style="overflow: hidden"> 401 402 403 404 405 406 407 408 409 410 </ul> 411 </div> 412 413</div> 414 415 416</div> 417 418 </div> 419 </div> 420 421 <div id="footer" class="panel"> 422 <div class="panel-footer"> 423 <div class="container-fluid"> 424 <div class="row"> 425 <div class="col-sm-6"> 426 427 <p>© 2020-2024 THUFV Lab. Powered by <a href="https://jekyllrb.com/">Jekyll</a>.</p> 428 429 <p><a href="https://thufv.github.io/aboutwebsite.html"></a></p> 430 431 <p>We are part of the <a href="http://www.thss.tsinghua.edu.cn/">
431School of Software</a> at <a href="https://www.tsinghua.edu.cn/en/index.htm">Tsinghua University</a>.</p> 432 </div> 433 434 <div class="col-sm-6"> 435 Contact:<br /> 436 Room 11-321, East Main Building, Tsinghua University<br /> 437 Beijing 100084, China (<a href="https://goo.gl/maps/QWusT3XwRCNY2Hn19">Maps</a>)<br /> 438 </div> 439 </div> 440 </div> 441 </div> 442</div> 443
444<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script>
vendor: 1 bytes, line 444
444
445<script src="https://thufv.github.io/js/bootstrap.min.js"></script>
445 446 447 448 </body> 449 450</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.