-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathacts.html
513 lines (392 loc) · 25.1 KB
/
acts.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
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
<!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>
<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%;">
<ul class="tabs">
<li class="active"><a href="#_page_1">Home <i class="icon-arrow-right-5"></i> Activities </a></li>
</ul>
<div class="panel" id="prof_act" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>学术活动 Professional Activities</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>
[2024-11-23] 受邀参加鸿蒙生态大会 HEC 2024，并做主题报告《鸿蒙生态高等级安全认证技术及应用》。
</li>
<li>
[2024-08-09 ~ 12] 受邀参加中国计算机学会(CCF)秀湖论坛，并做主题报告《操作系统形式化验证的一些实践和下一步思考》。<a href="https://mp.weixin.qq.com/s/Q_kivIZFp3QHXne252mMCw" target="_blank"><strong>(详见新闻)</strong></a>
</li>
<li>
[2024-08-01] 在"2024华为形式化方法研讨会-智能时代下的形式化验证技术"做主题报告《CC信息安全认证的形式化方法——GPTEE PP标准的形式化建模与验证-赵永望》。<a href="https://www.chaspark.com/#/live/1030301090375839744" target="_blank"><strong>(详见华为黄大年茶思屋视频回放)</strong></a>
</li>
<li>
[2024-07-06] 在2024 ACM中国图灵大会 “泛在智能操作系统”论坛做主题报告《操作系统形式化验证：技术、工具与应用》。<a href="https://www.acmturc.com/2024/#/OSUIC" target="_blank"><strong>(详见官网)</strong></a>
</li>
<li>
[2024-05-28] 在国防科学技大学 麒麟讲堂 作报告《CC信息安全高等级认证及形式化方法》。
</li>
<li>
[2024-05-16] 华为“磐石大师汇” 第六期：CC信息安全高等级认证及形式化方法，给华为可信理论、技术与工程实验室 做专题讲座。
</li>
<li>
[2024-01-17] 为 中国工程物理研究院 做形式化方法技术讲座。
</li>
<li>
[2023-12-02] 应邀在2023 “航天软件行业自主创新发展”主题专家论坛 (中国载人航天工程软件工程和数字化技术发展与管理中心 举办)，做特邀报告《关键软硬件的形式化验证与高安全级认证》。
</li>
<li>
[2023-12-02] 作为论坛主席，召集并组织2023年中国软件大会(ChinaSoft 2023)的“形式化方法教育”论坛，并获得大会优秀论坛。<a href="https://mp.weixin.qq.com/s/4EK0bjWLgR2kk725T3fKlg" target="_blank"><strong>(详见新闻)</strong></a>
</li>
<li>
[2023-12-01] 应邀在2023年中国软件大会(ChinaSoft 2023)的“安全攸关软件的智能化开发方法”论坛，做特邀报告《安全攸关软件形式化验证工具探索》。
</li>
<li>
[2023-11-15] 在南京航空航天大学 计算机科学与技术学院/软件学院 做学术报告《区块链智能合约形式化验证技术》。
</li>
<li>
[2023-10-27] 应邀在2023操作系统标准与应用大会，做特邀报告《嵌入式操作系统研发和标准建设的思考》。<a href="https://mp.weixin.qq.com/s/4FpLrGdhBLjT6nDVVZ9LQw" target="_blank"><strong>(详见新闻)</strong></a>
</li>
<li>
[2023-10-26] 担任论坛主席：中国计算机大会(CNCC 2023) - “电力操作系统关键技术与应用” 论坛。并做主题报告。 <a href="https://ccf.org.cn/cncc2023/schedule_d_4014" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2023-08-04] 应邀在华为第四届ICT软件技术大会，做特邀报告《操作系统形式验证与安全认证》。
</li>
<li>
[2023-07-13] 应邀在2023 CCF自主可控计算机大会，做主题报告《操作系统高安全级认证技术与应用》。
</li>
<li>
[2023-06-02] 应邀在2023网络空间安全大会，做主题报告《智能合约形式化验证技术》<a href="https://csc.cie.org.cn/" target="_blank"><strong>(详见主页)</strong></a>。
</li>
<li>
[2023-02-25] 应邀在OpenHarmony技术峰会，做主题报告《操作系统形式验证与安全认证》<a href="https://www.openharmony.cn/summit" 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>
[2022-12-17] 应邀在第四届国产嵌入式操作系统技术与产业发展论坛，做主题报告《操作系统的安全认证》<a href="https://www.esbf.org/2022/12/01/%e7%ac%ac%e5%9b%9b%e5%b1%8a%e5%9b%bd%e4%ba%a7%e5%b5%8c%e5%85%a5%e5%bc%8f%e6%93%8d%e4%bd%9c%e7%b3%bb%e7%bb%9f%e6%8a%80%e6%9c%af%e4%b8%8e%e4%ba%a7%e4%b8%9a%e5%8f%91%e5%b1%95%e8%ae%ba%e5%9d%9b%e5%8d%b3/" target="_blank"><strong>(详见主页)</strong></a>。
</li>
<li>
[2022-12-09] 应邀在中国计算机大会(CNCC 2022)的“计算机软硬件系统安全性形式化验证”论坛，做学术报告《系统安全形式化验证：从交互式到自动化》<a href="https://ccf.org.cn/cncc2022/schedule_d_4088" target="_blank"><strong>(详见主页)</strong></a>。
</li>
<li>
[2022-12-06] 为中车株洲电力机车研究所做形式化方法讲座。
</li>
<li>
[2022-11-25] 担任论坛主席：CCF中国软件大会(ChinaSoft 2022)“约束求解与定理证明”技术论坛，并组织软件学报论文专刊。详见<a href="http://chinasoft.ccf.org.cn/schedule/special/3.html" target="_blank"><strong>(会议官网)</strong></a>和<a href="http://www.jos.org.cn/jos/news/view/20220311132624001" target="_blank"><strong>(软件学报征文)</strong></a>。
</li>
<li>
[2022-11-18] 首都师范大学信息工程学院建院二十周年系列学术报告。
</li>
<li>
[2022-11-17] 为vivo公司 (https://www.vivo.com.cn/) 做形式化方法讲座。
</li>
<li>
[2022-11-12] 应邀在中国计算机学会(CCF)学科前沿讲习班ADL 133期-安全系统软件，做学术讲座《并发反应式系统形式化验证：理论技术与工具案例》<a href="https://www.ccf.org.cn/Media_list/adl/2022-10-25/775722.shtml" target="_blank"><strong>(详见主页)</strong></a>。
</li>
<li>
[2022-07-13] 计算机科学前沿技术发展与应用研讨会（浙江工业大学） 做学术报告。
</li>
<li>
[2022-03-31] 为小米移动 (https://www.mi.com/) 做 形式化方法讲座。
</li>
<li>
[2022-03-15] 为理想汽车 (https://www.lixiang.com/) 做 形式化方法讲座。
</li>
<li>
[2021-12-26] 第九届开源操作系统年度技术会议（OS2ATC 2021），学术报告《操作系统形式化验证：现状、应用与挑战》 <a href="https://www.bagevent.com/event/7946359/p/487058" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2021-12-25] 中国软件大会(ChinaSoft 2021) 形式化方法教育论坛，学术报告《形式化方法教育的一些实践与想法》 <a href="http://chinasoft.ccf.org.cn/schedule/education/3.html" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2021-12-24] 担任论坛主席：中国软件大会(ChinaSoft 2021) - “定理证明理论与应用” 技术论坛 <a href="http://chinasoft.ccf.org.cn/schedule/special/9.html" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2021-12-16] 担任论坛主席：中国计算机大会(CNCC 2021) - “安全攸关软件设计与验证：技术前沿与工业应用” 技术论坛 <a href="https://cncc.ccf.org.cn/web/html15/dayMeetZhibo.html?dayMeetNewsId=8a9e362c7a6699b3017a84a6943c00c1&globalId=m8271748750546083841617255458379" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2021-12-17] 担任论坛共同主席：中国计算机大会(CNCC 2021) - “安全程序设计语言” 技术论坛 <a href="https://cncc.ccf.org.cn/web/html15/dayMeetZhibo.html?dayMeetNewsId=8a9e362c7af1ba09017af25055c00001&globalId=m8271748750546083841617255458379" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2021-12-06] 作为会议发起者，在中国电子技术标准化研究院和浙江大学联合主办下，筹划并组织《嵌入式操作系统标准研讨会》。</a>
</li>
<li>
[2021-10-12] 第二届中国航空机载高峰论坛，特邀报告《航空机载软件形式化验证：现状与展望》
</li>
<li>
[2021-07-31] 中国图灵大会 高可信软件技术论坛，特邀报告《操作系统形式化验证技术》<a href="https://c.eqxiu.com/s/TdocXW68?bt=yxy&eqrcode=1&share_level=1&from_user=20210718c17657fd&from_id=286b10eb-6&share_time=1627013380309" target="_blank"><strong>(详见微信)</strong></a>
</li>
<li>
[2021-07-25] 安全程序设计语言研讨会，学术报告《程序验证及编程语言研究》
</li>
<li>
[2021-06-24] 中国军事科学院，学术讲座《CC安全评估标准及形式化验证》
</li>
<li>
[2021-05-09] 2021全国大学生计算机系统能力大赛-操作系统设计大赛，特邀报告《操作系统正确性及其验证技术》<a href="https://os.educg.net/" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2021-04-29] 北京广利核系统工程有限公司，技术讲座《操作系统形式化验证技术与应用》
</li>
<li>
[2021-04-27] 智能嵌入式软件学术研讨会，特邀报告《系统安全形式化验证：现状与展望》
</li>
<li>
[2021-01-30] 载人航天软件工程未来发展专家研讨会，特邀报告《形式化验证：现状与展望》
</li>
<li>
[2021-01-05] 南京航空航天大学 线上学术报告《并发反应式系统组合验证：框架、语言集成及应用》
</li>
<li>
[2020-12-31] 航天一院，技术讲座《形式化方法：概念、技术与应用》
</li>
<li>
[2020-12-19] 智能工厂与场景操作系统研讨会，特邀报告《ARINC653操作系统标准研发与验证》
</li>
<li>
[2020-12-16] 上海交通大学 John Hopcroft中心系列讲座，学术报告《并发反应式系统组合验证：框架、语言集成及应用》
</li>
<li>
[2020-12-15] 华东师范大学 线上学术报告《操作系统并发内存管理的形式化验证》
</li>
<li>
[2020-11-27] 浙江理工大学，学术报告《操作系统安全形式化验证技术与应用》
</li>
<li>
[2020-11-25] Keynote Speaking, "Rely-guarantee Reasoning about Concurrent Reactive Systems: Framework, Languages Integration and Applications", The 6th Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2020), Guangzhou, China, November 24-28, 2020. <a href="http://lcs.ios.ac.cn/setta2020/" target="_blank"><strong>(详见主页)</strong></a>
</li>
<li>
[2020-11-24] 中国电子技术标准化研究院，技术讲座《高安全软件的认证标准及验证技术》
</li>
<li>
[2020-11-21] 中国软件大会ChinaSoft2020 -- 系统软件安全技术论坛，特邀报告《操作系统安全形式化验证技术与应用》
</li>
<li>
[2020-10-24] 中国计算机大会CNCC2020 -- 形式化方法实践论坛，特邀报告《安全攸关操作系统形式化验证-技术与应用实践》
</li>
<li>
[2020-10-23] 中国科学院信息工程研究所，学术报告《安全攸关操作系统形式化验证-技术与应用实践》
</li>
<li>
[2020-10-16] 中国计算机学会(CCF) 软件前沿进展线上系列讲座，学术讲座《操作系统并发内存管理的形式化验证》
</li>
<li>
[2020-09-16] 大唐电信 数据通信科学技术研究所，学术报告《形式化方法：概念、技术与应用》
</li>
<li>
[2020-08-11] 浙江大学网络空间安全暑期学校，学术讲座《安全关键软件形式化方法：概念、技术与应用》
</li>
<li>
[2020-06-22] 中国计算机学会(CCF) 新基建安全技术 系列讲座，学术讲座《安全关键软件形式化方法：概念、技术与应用》
</li>
<li>
[2020-05] 在软件学报担任《系统软件构造与验证技术》专刊编委，专刊正式出版 <a href="http://jos.org.cn/jos/article/issue/2020_31_5" target="_blank"><strong>(详见软件学报专刊)</strong></a>
</li>
<li>
[2019-11-30] 全国形式化方法与应用会议 青年学者论坛(YR-FMAC 2019)，特邀报告《一种并发反应式系统组合验证的方法、实现及应用》
</li>
<li>
[2019-11-26] 中国航天科技集团有限公司 高可靠软件开发与验证技术研讨会，特邀报告《航天安全关键软件形式化验证技术与应用》
</li>
<li>
[2019-11-22] 担任论坛主席：全国软件与应用学术会议(NASAC 2019) - 系统软件构造与验证 技术论坛
</li>
<li>
[2019-07-20] 2019中国核心技术创新发展峰会，特邀报告《ARINC653操作系统验证与认证》
</li>
<li>
[2019-07-12] 2019中国密码学会密码测评学术会议，特邀报告《形式化验证与安全认证技术》
</li>
<li>
[2019-06-01] 中国软件分析与验证研讨会(SAVE 2019)，特邀报告《Zephyr物联网操作系统并发内存管理的形式化验证》
</li>
<li>
[2019-04-25] 蚂蚁金服 大安全科研基金 学者面对面，学术讲座《形式化方法：概念、技术与应用》
</li>
<li>
[2018-10-14] 中国Linux内核开发者大会，特邀报告《并发式伙伴内存管理C代码的形式验证》
</li>
<li>
[2018-09-15] 中国软件工程研究与产业峰会，特邀报告《物联网操作系统：形式验证与安全认证》
</li>
<li>
[2018-08-07] 中国网络安全年会CNCERT，特邀报告《物联网操作系统：形式验证与安全认证》(详见
<a href="https://mp.weixin.qq.com/s/1sf3JY4gOZl89Lo_yj2NxQ" class="fg-cobalt fg-hover-crimson" target="_blank"><strong>微信公众号文章</strong></a>)
</li>
<li>
[2018-05-26] 中国软件分析与验证研讨会(SAVE 2018)，特邀报告《ARINC653标准应用及分析验证》
</li>
<li>
[2018-03-21] 北京大学 数学科学学院，学术报告《安全攸关操作系统的形式化验证》
</li>
<li>
[2017-11-24] Invitied Talk, School of Computer Science and Engineering at Nanyang Technological University, Singapore, "Refinement-based Security Analysis of Separation Kernels"
</li>
<li>
[2017-09-06] 中国计算机学会(CCF)启智会，特邀报告《欧洲形式化数学项目》
</li>
<li>
[2017-03-26] 国产操作系统创新应用研讨会，特邀报告《安全攸关操作系统及形式验证技术》
</li>
<li>
[2016-12-13] 南京航空航天大学 学术报告，《符合工业标准的操作系统内核形式规约与安全分析》
</li>
<li>
[2016-12-12] 中国计算机学会(CCF)系统软件专委会 学术报告，《符合工业标准的操作系统内核形式规约与安全分析》
</li>
<li>
[2016-12-09] 载人航天软件工程技术交流会，特邀报告《安全攸关操作系统内核形式验证技术》
</li>
<li>
[2016-11-27] 北京大学信息科学理论研究前沿论坛，特邀报告《符合工业标准的操作系统内核形式规约与安全分析》
</li>
<li>
[2016-11-03] 全国软件与应用学术会议(NASAC 2016)软件验证学组讨论会，特邀报告《操作系统隔离内核的形式规约与安全分析》
</li>
</ul>
</div>
<a href="javascript:showdiv1();" id="showbtn1">展开更多+</a><br/>
</div>
<div class="panel" id="prof_exp" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>学术任职 Professional Experience</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>
2022年12月 - 至今，<a href="https://www.tmslab.cn/" class="fg-cobalt fg-hover-crimson" target="_blank">浙江省天目山实验室</a> 第一届理事会 理事
</li>
<li>
2018 - present, Member of OS Separation Kernel Technical Committee under Common Criteria for Information Technology Security Evaluation [<strong>国际信息技术安全评估委员会(Common Criteria, CC) - 操作系统内核技术委员会(SK TC) 委员</strong>]
</li>
<li>
2018 - present, Member of Hypervisor Technical Committee under Common Criteria for Information Technology Security Evaluation [<strong>国际信息技术安全评估委员会(Common Criteria, CC) - 虚拟化技术委员会 委员</strong>]
</li>
<li>
2017 - present, Member of ARINC653 Standard Commitee [<strong>国际ARINC653实时操作系统标准委员会 委员</strong>]
</li>
<li>
2016 - present, Member of <a href="http://www.ccf.org.cn/tc/zwmd/xshffzyz/" class="fg-cobalt fg-hover-crimson" target="_blank">
CCF Task Force on Formal methods [中国计算机学会形式化方法专业组 委员] </a>
</li>
<li>
2017 - present, Member of <a href="http://www.ccf.org.cn/tc/zwmd/xtrj/" class="fg-cobalt fg-hover-crimson" target="_blank">
CCF Technical Committee on System Software [中国计算机学会系统软件专业委员会 委员] </a>
</li>
<li>
2021/09 - present, 浙江省网络空间安全协会 工业互联网安全专业委员会 副主任</a>
</li>
<li>
2021/08 - present, Distinguished Membership of <a href="http://www.ccf.org.cn" class="fg-cobalt fg-hover-crimson" target="_blank">
China Computer Federation(CCF) [中国计算机学会 杰出会员]</a>
</li>
<li>
2013 - 2021/08, Senior Member of <a href="http://www.ccf.org.cn" class="fg-cobalt fg-hover-crimson" target="_blank">
China Computer Federation(CCF) [中国计算机学会 高级会员]</a>
</li>
<li>
2015 - 2016, Senior Research Fellow, Nanyang Technological University, Singapore</a> [新加坡南洋理工大学 高级研究员]
</li>
<li>2013, Visiting Researcher of <a href="http://www.irit.fr" class="fg-cobalt fg-hover-crimson" target="_blank">
IRIT [法国图卢兹计算机信息研究所(IRIT) 访问学者]</a></li>
<li>
2010 - present, Member of <a href="http://www.yocsef.org.cn/" class="fg-cobalt fg-hover-crimson" target="_blank">
CCF YOCSEF Committee [中国计算机学会 YOCSEF委员] </a>
</li>
<li>2010 - 2013, Convener of 12207-SOA Study Group under ISO/IEC JTC1 SC7/WG7 [国际标准化组织 ISO/IEC JTC1 SC7/WG7 SOA研究组组长]</li>
<!--<li>2009 - present, Member of Technical Committee of <a href="http://www.ow2.org" class="fg-cobalt fg-hover-crimson" target="_blank">OW2</a> [国际开源中间件联盟OW2技术委员会成员]</li>-->
<li>2009 - present, Member of <a href="http://www.nits.org.cn/soa" class="fg-cobalt fg-hover-crimson" target="_blank">
SOA subcommittee under China National Information Technology Standardization Committee [全国信息技术标准化技术委员会 SOA 分技术委员会专家]</a></li>
<li>2007, Visiting researcher of INRIA Sophia Antipolis [法国自动化所(INRIA) 访问学者]</li>
</ul>
</div>
</div>
<div class="panel" id="pcmember" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>会议程序委员会 Program Committee Member</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>
TASE 2023/2021, ICFEM 2023, SETTA 2023, PROOFS 2021/2020, 全国形式化方法与应用会议 FMAC 2016/2017/2018/2019, 中国软件大会 ChinaSoft 2020/2021/2022, ISORC 2015/2016, ForMABS 2016, ACM SAC 2015 - OS Track, 中国计算机大会CNCC 2014, SafeMOVE 2013 ...</li>
</ul>
<!--
<ul style="font-size:12pt">
<li><a href="http://fmac2018.ecnu.edu.cn/" class="fg-cobalt fg-hover-crimson" target="_blank">第三届全国形式化方法与应用会议(FMAC 2018)</a>, Chongqing, November 3 - 4, 2018.</li>
<li><a href="http://basics.sjtu.edu.cn/news/fmac2017/" class="fg-cobalt fg-hover-crimson" target="_blank">第二届全国形式化方法与应用会议(FMAC 2017)</a>, Changsha, October 21 - 22, 2017.</li>
<li><a href="http://lcs.ios.ac.cn/setta/fmac2016/" class="fg-cobalt fg-hover-crimson" target="_blank">第一届全国形式化方法与应用会议(FMAC 2016)</a>, Beijing, November 12 - 13, 2016.</li>
<li><a href="http://isorc2016.org/" class="fg-cobalt fg-hover-crimson" target="_blank">19h IEEE Symposium on Real-time Computing (ISORC 2016)</a>, York, UK, May 17 - 20, 2016.</li>
<li><a href="http://www.acm.org/conferences/sac/sac2015/" class="fg-cobalt fg-hover-crimson" target="_blank">30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2015)</a> - <i>Operating Systems Track</i>, Salamanca, Spain, April 13 - 17, 2015.</li>
<li><a href="http://isorc2015.org/" class="fg-cobalt fg-hover-crimson" target="_blank">18th IEEE Symposium on Real-time Computing (ISORC 2015)</a>, Auckland, New Zealand, April 13 - 17, 2015.</li>
<li>1st International Conference on Safety-critical Software-intensive System Modeling and Verification (SafeMOVE 2013), Beijing, China, October 9 - 11, 2013.</li>
<li>CCF China National Computer Congress (CNCC 2014)</li>
<li>The International Conference on Cloud and Service Computing (CSC 2013)</li>
<li>National Software Application Conference (NASAC 2010)</li>
</ul>
-->
</div>
</div>
<!--
<div class="panel" id="editor" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>国际期刊编委 Editorship</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>Associate Editor, IEEE Access Journal (<a href="http://ieeeaccess.ieee.org/" class="fg-cobalt fg-hover-crimson" target="_blank">IEEE Access期刊副主编</a>), Impact factor 3.557, 5 year impact factor 4.199</li>
</ul>
</div>
</div>-->
<div class="panel" id="jreviewer" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>期刊评阅人 Journal Reviewer</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>IEEE Transactions on Reliability, IEEE Transactions on Automation Science and Engieering, The Computer Journal, Computers & Security, Concurrency and Computation: Practice and Experience, Acta Informatica, Journal of Logical and Algebraic Methods in Programming, Journal of Computer Science and Technology, SCIENCE CHINA Information Sciences, International Journal of Software Engineering and Knowledge Engineering, Frontiers of Computer Science, Journal of Systems Architecture, IET Computer & Digital Techniques, 计算机学报, 软件学报, ...</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>