-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
442 lines (339 loc) · 21.9 KB
/
index.html
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
<link rel="icon" type="image/png" href="images/icon.png">
<link href="css/metro-bootstrap.css" rel="stylesheet">
<!--<link href="css/metro-bootstrap-responsive.css" rel="stylesheet">-->
<link href="css/iconFont.css" rel="stylesheet">
<!-- Load JavaScript Libraries -->
<script src="js/jquery/jquery.min.js"></script>
<script src="js/jquery/jquery.widget.min.js"></script>
<!-- Metro UI CSS JavaScript plugins -->
<script src="js/load-metro.js"></script>
<!-- Local JavaScript -->
<script src="js/docs.js"></script>
<script src="js/github.info.js"></script>
<!--
百度统计
<script>
var _hmt = _hmt || [];
(function() {
var hm = document.createElement("script");
hm.src = "https://hm.baidu.com/hm.js?64f959af790892841b3288b38e6a2b20";
var s = document.getElementsByTagName("script")[0];
s.parentNode.insertBefore(hm, s);
})();
</script>
-->
<title>Yongwang ZHAO's Homepage</title>
<style>
.container {
width: 1040px;
}
</style>
</head>
<body class="metro" style="text-align:justify;">
<div class="container">
<div class="margin10 nrm nlm" data-load="header.html"></div>
<div class="main-content clearfix">
<div class="tab-control" data-role="tab-control" style="float:left;width:100%;">
<div class="frames" style="margin-top:0px;>
<div class="frame" id="_page_1">
<div class="panel" id="intro" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>简介 Introduction</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<table border="0" style="font-size:13pt">
<tr>
<td width="160px">
<img src="images/photo.jpg" alt="photo" width="130px">
</td>
<td width="550px">
<p>
<strong>Yongwang ZHAO, Ph.D, Full Professor</strong><!--, <strong>Master Thesis Supervisor</strong>--><br/>
<strong>赵永望，教授，博士生导师</strong> <br/>
<strong>移动终端安全技术浙江省工程研究中心 主任</strong><br/>
<strong><a href="https://jri.zju.edu.cn/" target="_blank">浙江大学嘉兴研究院</a> <a href="https://csi.jrizju.com/" target="_blank">数字安全创新中心</a> 副主任</strong><br/>
<strong><a href="https://www.tmslab.cn/" target="_blank">浙江省天目山实验室</a> 理事会理事</strong><br/>
<strong><a href="https://www.ccf.org.cn/Membership/Individual_member/Honor/" target="_blank">中国计算机学会CCF 杰出会员</a>，<a href="https://www.ccf.org.cn/Chapters/TC/TC_Listing/TFFM/" target="_blank">形式化方法专委会</a>、<a href="https://www.ccf.org.cn/Chapters/TC/TC_Listing/TCSS/" target="_blank">系统软件专委会</a>执行委员</strong><br/>
<br/>
<a href="http://www.cs.zju.edu.cn/" target="_blank">计算机科学与技术学院 College of Computer Science and Technology</a> <br/>
<a href="https://icsr.zju.edu.cn/" target="_blank">网络空间安全学院 School of Cyber Science and Technology</a> <br/>
<a href="https://www.zju.edu.cn/" target="_blank">浙江大学 Zhejiang University</a><br/>
Email: zhaoyw AT zju.edu.cn
</p>
<!--<p><strong>Address</strong>: <br/>
G506, New Main Building, Beihang University, Xueyuan Road 37, Haidian District, Beijing, China, 100191<br/>
北京市海淀区北京航空航天大学新主楼G座506室<br/>
<img src="images/contacts.jpg" width="300px">-->
<!--<br/><br/>
<strong><a class="fg-cobalt fg-hover-crimson" href="#">== (研究科学家) Research Fellow</a></strong><br/>
计算机科学与工程学院 - School of Computer Science and Engineering <br/>
新加坡南洋理工大学 - Nanyang Technological University <br/>
<strong> Address</strong>: <br/>
B2c-06, Block N4, 50 Nanyang Avenue,Singapore 639798<br/>
<img src="images/emailntu.jpg">
</p>-->
</td>
<td>
<p align="center">
微信号:<br/>
<img src="images/weixin_self.jpg" width="200px">
</p>
</td>
<td width="40px"> </td>
<td>
<p align="center">
微信公众号:<br/>
<img src="images/weixin.jpg" width="200px">
</p>
</td>
</tr>
</table>
</div>
</div>
<div class="panel" id="news_pan" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>新闻 News</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<ul style="font-size:12pt">
<li>
<a class="fg-cobalt fg-hover-crimson">[2024-12-19]</a>
Paper accepted by ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2025).
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2024-08-27]</a>
Paper accepted by ACM Transactions on Software Engineering and Methodology (TOSEM).
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2024-03-08]</a>
团队的论文被ACM Formal Aspects of Computing(FAC)期刊遴选为2023年度Featured Article， <a href="https://mp.weixin.qq.com/s/MTcJOiya4mKsLUKwZMoSYQ" target="_blank"><strong>详见新闻</strong></a>。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-10-26]</a>
<strong>【重大新闻】</strong>我们承担了小米自研TEE系统的形式化验证与EAL5+高等级安全认证工作，成为小米澎湃OS的安全技术底座。澎湃OS的高等级安全，由本人作为“安全代言人”，亮相10.26小米新品发布会。
同时，这两项工作 已在小米澎湃OS的官网发布，详见 <a href="https://hyperos.mi.com/" target="_blank"><strong>小米澎湃OS首页</strong></a>，“全域安全”板块的“观看视频”和内容介绍。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-09-01]</a>
本人领衔的翔云团队高安全航空机载平台FlyCube正式亮相，
<a href="https://mp.weixin.qq.com/s/aIbfE1fmWluV9Hr87GfrIA" target="_blank"><strong>详见新闻</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-08-01]</a>
我们编写的书籍《PiCore形式化方法与实践》已发布，内容不断更新中......
<a href="https://www.yuque.com/zhaoyongwang/picore" target="_blank"><strong>详见书籍网站</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-08-01]</a>
本人领衔的翔云团队高安全无人机FlyAir2.0试飞成功，
<a href="https://mp.weixin.qq.com/s/ETKa6W1n_cMuUxSuvvTrKw" target="_blank"><strong>详见新闻</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-07-11]</a>
经过我们形式化验证的小米TEEOS(MiTEE)获得CCRC颁发的国内首张最高安全认证等级EAL5+证书，详见
<a href="http://tech.cnr.cn/techph/20230711/t20230711_526324975.shtml" target="_blank"><strong>新闻1</strong></a>，
<a href="https://mp.weixin.qq.com/s/EUYHsCXddjAUej7-G80uUg" target="_blank"><strong>新闻2</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-06-06]</a>
担任浙江省天目山实验室 第一届理事会 理事，
<a href="https://mp.weixin.qq.com/s/rUSRrLcPrB_rpMkg6SlU0Q" target="_blank"><strong>详见新闻</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-04-15]</a>
我们研发的Isabelle定理证明云平台(Isabelle/Cloud)正式对外发布，
<a href="https://isabelle.info/" target="_blank"><strong>详见Isabelle/Cloud网站</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2023-02-25]</a>
第一届开放原子开源基金会OpenHarmony技术峰会 | 操作系统形式验证与安全认证，
<a href="https://mp.weixin.qq.com/s/VibV_r3MiUlCklb98ykySA" target="_blank"><strong>详见新闻及视频</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2022-12-28]</a>
带队获“2022金融密码杯全国密码技术大赛”一等奖，<a href="https://mp.weixin.qq.com/s/EObC1he6aUj-_cAmhxjo7Q" target="_blank"><strong>详见新闻</strong></a>。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2022-12-11]</a>
本人领衔的翔云团队基于自主操作系统研发的无人机系统试飞成功，<a href="https://mp.weixin.qq.com/s/_jdckEeAIuTYeGybe4fPQQ" target="_blank"><strong>详见新闻</strong></a>。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2022-09-23]</a>
形式化验证大有可为，<a href="https://mp.weixin.qq.com/s/dXHGirvDlBxEjuDzo6oMbw" target="_blank"><strong>详见新闻</strong></a>。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2022-07-01]</a>
由本人领衔、依托浙江大学嘉兴研究院的翔云创新团队正式成立，聚焦高安全实时操作系统的研发与应用，<a href="https://flyair2.github.io/" target="_blank"><strong>详见官网</strong></a>。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2021-12-06]</a>
与中国电子技术标准化研究院联合主办嵌入式操作系统标准研讨会，汇聚了国内主要的嵌入式实时操作系统厂商、院所和高校。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2021-09-24]</a>
本人当选中国计算机学会(CCF)杰出会员，详见<a href="https://www.ccf.org.cn/Membership/Individual_member/" target="_blank">CCF官网</a>。
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2021-03-03]</a>
我们团队在编程语言安全领域取得突破，浙大首次在TOPLAS期刊发表论文，
<a href="https://mp.weixin.qq.com/s/mAOxLOPL3xh47ln1dBamzA" target="_blank"><strong>详见新闻</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2021-07-01]</a>
我们编写的书籍《函数式程序设计与证明》已发布，内容不断更新中......
<a href="https://www.yuque.com/zhaoyongwang/fpp" target="_blank"><strong>详见书籍网站</strong></a>
</li>
</ul>
</div>
<script type="text/javascript">
function showdiv1(){
document.getElementById("morediv").style.display="block";
document.getElementById("showbtn1").innerHTML="收起-";
document.getElementById("showbtn1").href="javascript:hidediv1()";
}
function hidediv1(){
document.getElementById("morediv").style.display="none";
document.getElementById("showbtn1").innerHTML="展开更多+";
document.getElementById("showbtn1").href="javascript:showdiv1()";
}
</script>
<div id="morediv" class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-35pt;margin-bottom:-5pt;display:none">
<ul style="font-size:12pt">
<li>
<a class="fg-cobalt fg-hover-crimson">[2020-12-30]</a>
作为发起人之一，发起成立TPChina定理证明开放社区，
<a href="https://tpchina.github.io/" target="_blank"><strong>详见官网</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2020-11-25]</a>
受邀在Symposium on Dependable Software Engineering: Theories, Tools and Applications(SETTA 2020)做大会特邀报告：Rely-guarantee Reasoning about Concurrent Reactive Systems: Framework, Languages Integration and Applications。
<a href="http://lcs.ios.ac.cn/setta2020/" target="_blank"><strong>详见主页</strong></a>
</li>
<li>
<a class="fg-cobalt fg-hover-crimson">[2019-12-23]</a>
经过3年的努力，本人参与研制的ARINC 653新版标准正式发布。该标准委员会由美国波音公司和法国空客公司担任主席，包括霍尼韦尔、GE航空、法国泰雷兹、美国柯林斯，以及操作系统厂商风河、绿山等联合编写。
<a href="https://www.aviation-ia.com/products/653p1-5-avionics-application-software-standard-interface-part-1-required-services" target="_blank"><strong>see webpage</strong></a>
</li>
<li><a class="fg-cobalt fg-hover-crimson">[2018-11-14]</a> 受法国空中客车公司邀请，到空客访问，并和空客航电产品、机载计算机、机载软件等部门的研发人员，讨论IMA分区操作系统、形式化方法、操作系统标准等成果和应用合作。
</li>
<li><a class="fg-cobalt fg-hover-crimson">[2018-06-01]</a> 本人受邀成为Common Criteria(CC)的操作系统内核工作组成员，起草(多核)操作系统内核的security protection profile。
</li>
<li><a class="fg-cobalt fg-hover-crimson">[2018-04-15]</a> ARINC653操作系统标准委员会会议在法国Thales总部召开。波音、空客、霍尼韦尔、四大安全关键操作系统厂商(美国风河，绿山，DDC-I，德国SYSGO)、北京航空航天大学等单位参会。会上专题讨论了我们发表在IEEE Trans. on Dependable and Secure Computing的论文，对我们发现的安全漏洞进行确认，并相应修改标准。风河vxworks团队提出与我们合作的意愿。 <a href="https://mp.weixin.qq.com/s/geBK8NbMwbR0jYvYdTfxgA" class="fg-cobalt fg-hover-crimson" target="_blank"><strong>查看详情</strong></a> </li>
<li><a class="fg-cobalt fg-hover-crimson">[2018-03-05]</a> 我们在操作系统隔离内核方面的5篇研究论文，被著名的开源操作系统内核POK引为重要的参考文献。POK是法国几个大学开发的开源内核，已经被开发成商业操作系统JetOS，并应用到俄罗斯民航客机上。[<a href="https://pok-kernel.github.io/documentation/" class="fg-cobalt fg-hover-crimson" target="_blank">见POK官网</a>] </li>
<li><a class="fg-cobalt fg-hover-crimson">[2017-05-20]</a> 参加在法国空客公司总部举行的ARINC653实时操作系统标准委员会会议，并正式成为委员会成员(中国首个成员)。
委员会聚集了国际上几乎所有航空航天制造商：两大整机厂商波音、空客；四大系统供应商GE航空、霍尼韦尔Honeywell、泰雷兹Thales、罗克韦尔Rockwell Colins；
四大操作系统软件供应商 风河WindRiver、绿山Green Hills、DDC-I、SYSGO(PikeOS)。[<a href="http://mp.weixin.qq.com/s/e4iRlQrnlOdc6h_SsJwWMQ" class="fg-cobalt fg-hover-crimson" target="_blank">查看详情</a>] </li>
<li><a class="fg-cobalt fg-hover-crimson">[2016-10-14]</a>
I received an acknowledgement email from Boeing and Airbus for our formal verification of ARINC 653 standard. </br>
<span class="list-title fg-darkRed">实时操作系统标准研究成果得到美国波音公司等认可和接纳</span>
<span class="panel-content margin10 fg-dark nlp nrp" style="font-size:10pt"> </br>
我们收到来自美国波音公司Associate Fellow、ARINC653国际标准委员会主席的致谢邮件，对我们在ARINC653航空航天实时操作系统标准的研究成果表示认可，并将在ARINC653标准新版本中对存在的安全缺陷进行修复。<br/>
该项研究成果主要利用形式化方法对ARINC653标准进行完整的建模，并通过自动化手段完成1600多个定理的形式证明，最终发现了该标准的6个安全缺陷。相关成果已发表在ISSRE 2015国际会议（软件可靠性领域顶级会议）和IEEE Transactions on Industrial Informatics期刊。论文被ARINC653标准委员会高度关注， 2016年10月标准委员会年会上召开Workshop专门讨论上述论文的成果。最终，标准委员会确认ARINC653存在上述安全缺陷，并计划在其新版本中进行修复。<br/>
ARINC653标准是国际航空航天工业界实时操作系统的事实性标准，已有20年历史，被航空航天领域绝大多数实时操作系统所遵循，已应用到空客A380、波音787、F22、NASA猎户座飞船等。该标准委员会主席由来自波音和空客的两位资深专家担任，成员包括波音、空客、洛克希德马丁、GE航空、霍尼韦尔、达索航空、风河、法国泰雷兹等。
</span>
</li>
</ul>
</div>
<a href="javascript:showdiv1();" id="showbtn1">展开更多+</a><br/>
</div>
<div class="panel" id="research" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>研究方向 Research Interests</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<p class="fg-cobalt fg-hover-crimson" style="font-size:13pt;">
<!-- <b>目前，主要研究操作系统及形式验证(<a href="taiji.html">Taiji项目</a>)、形式化方法理论与技术(<a href="corin.html">CORIN项目</a>)、编程语言及可信编译(<a href="trust.html">TRust<sup>2</sup>项目</a>)。</b> -->
</p>
<table width="100%" border=0>
<tr>
<td align="center"><img src="images/research1.png" alt="picore" width="400px"></td>
<td align="center"><img src="images/research2.png" alt="picore" width="500px"></td>
</tr>
</table>
<ul>
<li><a href="#" class="fg-cobalt fg-hover-crimson" target="_blank" style="font-size:12pt">形式逻辑与验证 (Formal Logic & Verification)</a> </li>
<ul style="font-size:12pt">
形式化方法 (Formal Methods, Event-B), 并发系统 (Concurrency, Rely-Guarantee)</br>
定理证明 (Theorem Proving, Isabelle/HOL), 程序验证 (Program Verification, Why3)
</ul>
<li><a href="#" class="fg-cobalt fg-hover-crimson" style="font-size:12pt">操作系统内核及安全 (Operating Systems/Security/Safety)</a></li>
<ul style="font-size:12pt">
内存管理及逻辑框架(Memory Management and its Logic Framework) </br>
嵌入式虚拟化 (Embedded Hypervisor), 微内核/分区内核/隔离内核 (Micro/Partitioning/Separation Kernels)</br>
ARINC 653标准 (ARINC 653 standard), 多核操作系统 (Multicore)</br>
形式模型与安全验证 (Formal Specification and Verification of OSs)
</ul>
<li><a href="#" class="fg-cobalt fg-hover-crimson" style="font-size:12pt">编程语言 (Programming Languages</a>)</li>
<ul style="font-size:12pt">
函数式编程 (Functional Programming), 程序语义 (Formal Semantics)</br>
程序证明 (Program Proofs), 并发语言 (Concurrent Languages)
</ul>
<li><a href="#" class="fg-cobalt fg-hover-crimson" style="font-size:12pt">安全攸关系统与软件 (Safety/Security Critical Systems & Software</a>)</li>
<ul style="font-size:12pt">
安全认证(Safety/Security Certification), DO-178/Common Criteria (CC)
</ul>
<ul style="font-size:12pt">
模型驱动方法 (Model-driven Development, AADL), 信息流安全 (Information Flow Security)
</ul>
<ul style="font-size:12pt">
无人车系统 (Autonomous Vehicle), 无人机系统(Unmanned Aerial Vehicle)
</ul>
<li><a href="#" class="fg-cobalt fg-hover-crimson" target="_blank" style="font-size:12pt">智能/学习 (AI/Learning)</a> </li>
<ul style="font-size:12pt">
模型学习 (Model Learning), 基于学习的程序验证/合成 (Learning-based Program Verification/Synthesis)
</ul>
</ul>
</div>
</div>
<div class="panel" id="awards" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt"><span class="fg-darker"><b>获奖和荣誉 Awards</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<ul>
<li><a href="#" class="fg-cobalt fg-hover-crimson" target="_blank" style="font-size:12pt">2021年9月 中国计算机学会(CCF) 杰出会员 (CCF Distinguished Membership)</a> </li>
<li><a href="#" class="fg-cobalt fg-hover-crimson" target="_blank" style="font-size:12pt">2017年 山东省科技进步一等奖 (First Prize, Science and Technology Award of Shandong Province, China)</a> </li>
<li><a href="#" class="fg-cobalt fg-hover-crimson" target="_blank" style="font-size:12pt">2011年 中国电子学会电子信息科技一等奖 (First Prize, Information Science and Technology Award, Chinese Association of Electronics)</a> </li>
</ul>
</div>
</div>
<!--
<div class="panel" id="edu" data-role="panel" style="width:770px;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker">Education</span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="font-size:11pt">
<ul>
<li>
2009 Doctor of Philosophy in Computer Science,
Beihang University, Beijing, China
</li>
<li>
2004 Master of Science in Computer Science,
Beihang University, Beijing, China
</li>
<li>
2002 Bachelor of Science in Management Information System,
Beijing Information Techonlogy Institute, Beijing, China
</li>
</ul>
</div>
</div>
<div class="panel" id="teach" data-role="panel" style="width:770px;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker">Teaching Experience</span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="font-size:11pt">
<ul>
<li>2011 - , Undergraduate student, Formal Language and Automata Theory 形式语言与自动机</li>
<li>2011 - , Graduate student, Services Computing 服务计算</li>
<li>2013 - , Graduate student, Software Architecture and Middleware 软件体系结构与中间件</li>
</ul>
</div>
</div>
-->
</div>
</div>
</div>
</div> <!-- End first group -->
</div>
</div> <!-- End of tiles -->
<footer data-load="footer.html">
</footer>
</div>
<script src="js/hitua.js"></script>
</body>
</html>