-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
479 lines (467 loc) · 28.1 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
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
<!doctype html>
<html lang="zh-CN">
<head>
<meta charset="utf-8">
<title>计算理论与技术研究所（广州）</title>
<link rel="shortcut icon" href="./imgs/favicon.png">
<link rel="stylesheet" href="./css/style.css">
</head>
<body>
<body>
<!-- ***** Header Area Start ***** -->
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no" />
<meta name="description" content="" />
<meta name="author" content="" />
<title>ICTT介绍页面 - htmlpage.cn</title>
<link href="./css/bootstrap.min.css" rel="stylesheet" />
<link rel="stylesheet" href="./css/fontawesome.css" />
<link rel="stylesheet" href="./css/htmlpage-digimedia-v2.css" />
<link rel="stylesheet" href="./css/animated.css" />
<link rel="stylesheet" href="./css/owl.css" />
<header data-wow-duration="0.75s" data-wow-delay="0s" class="header-area header-sticky wow slideInDown">
<div class="container">
<div class="row">
<div class="col-12">
<nav class="main-nav">
<!-- ***** Logo Start ***** --><a href="#" class="logo"--><img src="./imgs/logo-xdg.png" alt="HTMLPAGE" height="40" /></a><!-- ***** Logo End ***** -->
<!-- ***** Menu Start ***** -->
<ul class="nav">
<li class="scroll-to-section"><a href="index.html" class="active">首页</a></li>
<li class="scroll-to-section"><a href="people.html">团队成员</a></li>
<li class="scroll-to-section"><a href="publication.html">科研成果</a></li>
<li class="scroll-to-section"><a href="news.html">新闻动态</a></li>
<li class="scroll-to-section"><a href="contact.html">联系我们</a></li>
<li class="scroll-to-section">
<div class="border-first-button"><a href="#contact">Quote</a></div>
</li>
</ul><a class="menu-trigger"><span>Menu</span></a><!-- ***** Menu End ***** -->
</nav>
</div>
</div>
</div>
</header><!-- ***** Header Area End ***** -->
<div id="top" data-wow-duration="0.2s" data-wow-delay="0.2s" class="main-banner wow fadeIn">
<div class="container">
<div class="row">
<div class="col-lg-12">
<div class="row">
<div class="col-lg-6 align-self-center">
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="left-content show-up header-text wow fadeInLeft">
<div class="row">
<div class="col-lg-12">
<h6>西安电子科技大学广州研究院</h6>
<h2>高可信软件工程技术实验室</h2>
<h5>暨计算理论与技术研究所（广州）</h5>
<h5><b>I</b>nstitute of <b>C</b>omputing <b>T</b>heory and <b>T</b>echnology (Guangzhou), ICTT (GZ)</h5>
<p><br/>软件工程，精益求精。<br/>人工智能，创新引领。<br/>可信技术，保障安全。<br/>产教融合，智慧未来。</p>
</div>
<div class="col-lg-12">
<div class="border-first-button scroll-to-section"><a href="#contact">Quote</a></div>
</div>
</div>
</div>
</div>
<div class="col-lg-6">
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="right-image wow fadeInRight"><img src="./imgs/xdgyy.jpg" alt="" width="100%"/></div>
</div>
</div>
</div>
</div>
</div>
</div>
<div id="portfolio" class="our-portfolio section">
<div class="container">
<div class="row">
<div class="col-lg-12">
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="section-heading wow fadeInLeft">
<h6>Introduction</h6>
<h4>团队介绍</h4>
<div class="line-dec"></div>
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="left-content show-up header-text wow fadeInLeft">
<div class="row">
<div class="col-lg-12">
<br>
<h5>我们的研究团队隶属于西安电子科技大学广州研究院，是由校本部计算理论与技术研究所（Institute of Computing Theory and Technology, ICTT）原班核心成员建立和发展起来的，由田聪教授担任团队负责人，秦教授担任顾问及指导，小组核心成员由<B>2</B>名广研院全职教师、<B>4</B>名西电本部兼职教师、<B>7</B>名硕士研究生组成。实验室于2023年6月创建，并拟命名为计算理论与技术研究所（广州），即ICTT（广州），以“保障大规模软件质量和可信性”为使命，重点关注人工智能、应用软件、工控系统等领域的软件质量和可信性，致力于科研创新，利用大语言模型、形式化验证、模糊测试、静态分析与符号执行等技术，进行软件的测试与验证，以及软件缺陷的自动挖掘与理解，实现大规模软件系统的质量评估。</h5>
<br>
<div class="col-lg-6">
<img src="./imgs/ictt.jpeg" alt="" width="100%"/>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div id="portfolio" class="our-portfolio section">
<div class="container">
<div class="row">
<div class="col-lg-5">
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="section-heading wow fadeInLeft">
<h6>Our Team</h6>
<h4>师资队伍</h4>
<div class="line-dec"></div>
</div>
</div>
</div>
</div>
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="container-fluid wow fadeIn">
<div class="row">
<div class="col-lg-12">
<div class="loop owl-carousel">
<div class="item"><a href="https://www.xidian.edu.cn/info/1020/23467.htm?eqid=a4bcb648000c63e2000000066470c948" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-tiancong.png" alt="" /></div>
<div class="down-content">
<h4>田聪</h4><span>教授</span>
</div>
</div>
</a></div>
<div class="item"><a href="https://scqin.github.io/" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-shengchao.jpeg" alt="" /></div>
<div class="down-content">
<h4>秦老师</h4><span>教授</span>
</div>
</div>
</a></div>
<div class="item"><a href="https://faculty.xidian.edu.cn/wencheng" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-wencheng.jpg" alt="" /></div>
<div class="down-content">
<h4>文成</h4><span>准聘副教授（讲师）</span>
</div>
</div>
</a></div>
<div class="item"><a href="" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-sujie.jpg" alt="" /></div>
<div class="down-content">
<h4>苏杰</h4><span>博士后</span>
</div>
</div>
</a></div>
<div class="item"><a href="https://faculty.xidian.edu.cn/YUBIN/zh_CN/index.htm" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-yubin.png" alt="" /></div>
<div class="down-content">
<h4>于斌</h4><span>准聘副教授（讲师）</span>
</div>
</div>
</a></div>
<div class="item"><a href="" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-mazhi.png" alt="" /></div>
<div class="down-content">
<h4>马智</h4><span>准聘副教授（讲师）</span>
</div>
</div>
</a></div>
<div class="item"><a href="https://faculty.xidian.edu.cn/YUBIN/zh_CN/index.htm" target="_blank">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/profile-luxu.jpg" alt="" /></div>
<div class="down-content">
<h4>陆旭</h4><span>副教授</span>
</div>
</div>
</a></div>
</div>
</div>
</div>
</div>
</div>
<div id="services" class="services section">
<div class="container">
<div class="row">
<div class="col-lg-12">
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="section-heading wow fadeInDown">
<h6>Our Research</h6>
<h4>研究方向</h4>
<div class="line-dec"></div>
</div>
</div>
<div class="col-lg-12">
<div class="naccs">
<div class="grid">
<div class="row">
<div class="col-lg-12">
<p><B>背景</B>：软件已成为国民经济、国防建设和人民生活基础设施的核心，“软件定义一切”、“软件使能一切”已然成为一种客观需求，并呈现快速发展态势。然而，软件的可信性令人担忧。特别是在芯片设计、航空航天、无人驾驶等安全攸关基础软件领域，微小的程序缺陷都可能导致机毁人亡的严重后果。因此，我们的研究团队一直致力于从事可信软件基础理论研究与自主可控软件测试验证平台建设。由于计算机软件的蓬勃发展离不开其坚实的理论基础和不断拓展的前沿技术应用，我们团队一方面长期坚持软件的基础理论研究，包括形式化方法、程序设计语言、可信软件工程技术等，另一方面在理论研究的基础上，不断拓展前沿技术应用，兼顾创新引领与落地应用，研究方向包括人工智能使能软件开发与验证和工业技术软件化等。</p>
<br>
<div class="menu">
<div class="first-thumb active">
<div class="thumb"><span class="icon"><img src="./imgs/service-icon-03.png" alt=""/></span>
形式化方法 & <br/>程序设计语言
</div>
</div>
<div>
<div class="thumb"><span class="icon"><img src="./imgs/service-icon-02.png" alt=""/></span>
<br/>高可信软件工程
</div>
</div>
<div>
<div class="thumb"><span class="icon"><img src="./imgs/service-icon-01.png" alt=""/></span>
人工智能使能 & <br/>软件开发与验证
</div>
</div>
<div>
<div class="thumb"><span class="icon"><img src="./imgs/service-icon-04.png" alt=""/></span>
<br/>轻量级软件分析
</div>
</div>
<div class="last-thumb">
<div class="thumb"><span class="icon"><img src="./imgs/service-icon-01.png" alt=""/></span>
<br/>工业技术软件化
</div>
</div>
</div>
</div>
<div class="col-lg-12">
<ul class="nacc">
<li class="active">
<div>
<div class="thumb">
<div class="row">
<div class="col-lg-6 align-self-center">
<div class="left-text">
<h4>形式化方法 & 程序设计语言</h4>
<p>形式化方法是基于严格数学基础，对计算机硬件和软件系统进行描述、开发和验证的技术。团队致力于研究形式化方法的数学基础、形式系统的表达能力、形式系统的推理系统及其可靠性和完备性，以及在计算系统开发和生命周期各个阶段的理论、方法、技术、工具和应用方式等。团队的主要研究成果体现在下面几个方面：（1）程序分析基础理论，包括基于抽象解释和不动点计算的技术；（2）程序逻辑与程序验证，包括对指针程序的验证和推理技术、基于分离逻辑的程序验证技术，以及弱内存程序的验证逻辑；（3）程序统一理论、形式语义、形式化规范述语言、形式化建模与分析。</p>
</div>
</div>
<div class="col-lg-6 align-self-center">
<div class="right-image"><img src="./imgs/artificial-intelligence.jpeg" alt="" /></div>
</div>
</div>
</div>
</div>
</li>
<li>
<div>
<div class="thumb">
<div class="row">
<div class="col-lg-6 align-self-center">
<div class="left-text">
<h4>高可信软件工程</h4>
<p>软件工程以提高软件生产率和软件质量为目标，高可信软件工程是其面向可信性性质的重要技术组成。团队致力于探索以形式化方法为基础的高可信软件工程技术，研究如何在软件的设计、开发和验证等阶段保证软件具有正确性、可靠性、安全性等高可信性质。团队的在研课题包括：（1）软件设计阶段可信技术：基于Event-B的系统级建模与分析方法研究、面向协议文本描述的自动或辅助建模技术研究、SysML/AADL行为模型到形式化模型到转换技术研究；（2）软件开发阶段可信技术：基于非正确性分离逻辑（Incorrectness Separation logic）的静态分析技术研究、基于高阶分离逻辑的Rust编译器验证技术研究；（3）软件验证阶段可信技术：基于抽象解释的C程序内存安全验证技术研究、C程序循环不变式自动生成技术研究、汇编代码验证技术研究。</p>
</div>
</div>
<div class="col-lg-6 align-self-center">
<div class="right-image"><img src="./imgs/services-image-02.jpg" alt="" /></div>
</div>
</div>
</div>
</div>
</li>
<li>
<div>
<div class="thumb">
<div class="row">
<div class="col-lg-6 align-self-center">
<div class="left-text">
<h4>人工智能使能 & <br/>软件开发与验证</h4>
<p>作为人工智能与软件工程交叉融合的研究方向，智能化“软件工程”侧重于在为解决各种软件工程任务而研发的方法中灌输智能，而“智能软件”工程专注于解决智能软件应用领域的各种软件工程任务。近期，以ChatGPT为代表的大语言模型技术对于包括软件工程在内的很多领域都带来了巨大的冲击，它对于软件开发的颠覆性影响应该是可以预见的。本团队未来将重点关注如何结合大语言模型来生成、优化、测试和验证软件，以提高软件开发的效率和质量。本团队目前已取得的研究成果包括基于机器学习的缺陷诊断与定位方法，基于ChatGPT的程序缺陷检测及修复实证研究，团队在研的课题包括基于大语言模型的软件规约生成技术研究。</p>
</div>
</div>
<div class="col-lg-6 align-self-center">
<div class="right-image"><img src="./imgs/services-image-04.jpg" alt="" /></div>
</div>
</div>
</div>
</div>
</li>
<li>
<div>
<div class="thumb">
<div class="row">
<div class="col-lg-6 align-self-center">
<div class="left-text">
<h4>轻量级软件分析</h4>
<p>轻量级软件分析技术旨在面向大规模复杂软件系统（高性能、高并发、多模块、嵌入式、包含汇编代码、十万行代码以上等），基于程序静态分析、程序动态分析、自动化测试等技术相结合的技术手段，研究可扩展、高精准的软件缺陷检测和质量分析技术，解决大规模复杂软件系统的缺陷与质量分析中可扩展性低、准确率低、误报率高等问题，突破软件逻辑错误、内存安全漏洞、并发缺陷难检测、难定位的难题，从而助力测试效率与软件质量的提升。团队目前已取得突破性研究成果的课题包括智能模糊测试、并发软件分析与测试、Rust程序静态分析、Rust库自动化测试、移动软件能耗分析等方面，发现百余个真实的软件缺陷和漏洞（71 CVEs），相关软件分析工具已在华为公司中得到实际部署和使用。</p>
</div>
</div>
<div class="col-lg-6 align-self-center">
<div class="right-image"><img src="./imgs/services-image-03.jpg" alt="" /></div>
</div>
</div>
</div>
</div>
</li>
<li>
<div>
<div class="thumb">
<div class="row">
<div class="col-lg-6 align-self-center">
<div class="left-text">
<h4>工业技术软件化</h4>
<p>工业软件是承载了工业知识和经验，面向工业领域，解决研发设计、生产制造、运维服务、经营管理等场景需求的一类软件。工业软件是工业的大脑，是辅助工业进行设计、创新、管理的载体，是支撑工业发展全过程的技术产物。然而工业软件技术壁垒高，研发周期长。我国工业软件国产化率低，核心技术受控，面临卡脖子风险。本团队致力于研究如何设计“构造即正确”的工业软件、如何开发“工业知识与计算机技术跨学科技术融合”的工业软件，以及如何验证工业软件的正确性、安全性和可靠性等关键问题，旨在以可信性新技术不断促进我国工业软件创新发展，推动工业软件国产化。团队目前已在芯片设计领域探索过领域特定的形式化建模验证流程及共性方法，积累了工业领域知识，为芯片设计EDA软件的开发和验证提供了指导方法。</p>
</div>
</div>
<div class="col-lg-6 align-self-center">
<div class="right-image"><img src="./imgs/industrial-software.jpg" alt="" /></div>
</div>
</div>
</div>
</div>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<!--div id="portfolio" class="our-portfolio section">
<div class="container">
<div class="row">
<div class="col-lg-5">
<div data-wow-duration="0.6s" data-wow-delay="0.3s" class="section-heading wow fadeInLeft">
<h6>Student</h6>
<h4>团队学生</h4>
<div class="line-dec"></div>
</div>
</div>
</div>
</div>
<div data-wow-duration="0.6s" data-wow-delay="0.7s" class="container-fluid wow fadeIn">
<div class="row">
<div class="col-lg-12">
<div class="loop owl-carousel">
<div class="item"><a href="#">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/portfolio-01.jpg" alt="" /></div>
<div class="down-content">
<h4>A</h4><span>博士生</span>
</div>
</div>
</a></div>
<div class="item"><a href="#">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/blog-post-02.jpg" alt="" /></div>
<div class="down-content">
<h4>B</h4><span>硕士生</span>
</div>
</div>
</a></div>
<div class="item"><a href="#">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/portfolio-02.jpg" alt="" /></div>
<div class="down-content">
<h4>C</h4><span>硕士生</span>
</div>
</div>
</a></div>
<div class="item"><a href="#">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/blog-post-03.jpg" alt="" /></div>
<div class="down-content">
<h4>D</h4><span>硕士生</span>
</div>
</div>
</a></div>
<div class="item"><a href="#">
<div class="portfolio-item">
<div class="thumb"><img src="./imgs/blog-post-04.jpg" alt="" /></div>
<div class="down-content">
<h4>D</h4><span>硕士生</span>
</div>
</div>
</a></div>
</div>
</div>
</div>
</div>
</！div-->
<div id="contact" class="contact-us section">
<div class="container">
<div class="row">
<div class="col-lg-6 offset-lg-3">
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="section-heading wow fadeIn">
<h6>Contact Us</h6>
<h4>Get In Touch With Us <em>Now</em></h4>
<div class="line-dec"></div>
</div>
</div>
<div data-wow-duration="0.2s" data-wow-delay="0.2s" class="col-lg-12 wow fadeInUp">
<form id="contact-2" action="" method="post">
<div class="row">
<div class="col-lg-12">
<div class="contact-dec"><img src="./imgs/contact-dec-v2.png" alt="" /></div>
</div>
<div class="col-lg-5">
<div id="map" class="c29285">
</div>
<p>广东省广州市黄埔区九龙大道206号西安电子科技大学广州研究院</p>
</div>
<div class="col-lg-7">
<div class="fill-form">
<div class="row">
<div class="col-lg-4">
<div class="info-post">
<div class="icon"><img src="./imgs/location-icon.png" alt="" /><a href="#">广州市黄埔区</a></div>
</div>
</div>
<div class="col-lg-4">
<div class="info-post">
<div class="icon"><img src="./imgs/email-icon.png" alt="" /><a href="#" id="ivvinf">wencheng[AT]xidian.edu.cn</a></div>
</div>
</div>
<div class="col-lg-4">
<div class="info-post">
<div class="icon"><img src="./imgs/phone-icon.png" alt="" /><a href="#">510555</a></div>
</div>
</div>
<div class="col-lg-6">
<fieldset><input type="name" name="name" id="name" placeholder="Name" autocomplete="on" required /></fieldset>
<fieldset><input type="text" name="email" id="email" pattern="[^ @]*@[^ @]*" placeholder="Your Email" required /></fieldset>
<fieldset><input type="subject" name="subject" id="subject" placeholder="Subject" autocomplete="on" /></fieldset>
</div>
<div class="col-lg-6">
<fieldset><textarea name="message" type="text" id="message" placeholder="Message" required class="form-control"></textarea></fieldset>
</div>
<div class="col-lg-12">
<fieldset><button type="submit" id="form-submit" class="main-button">Send Message Now</button></fieldset>
</div>
</div>
</div>
</div>
</div>
</form>
</div>
</div>
</div>
</div>
<footer>
<div class="container">
<div class="row">
<div class="col-lg-12">
<p>Copyright © 2024 xidian.work All Rights Reserved.<br /></p>
</div>
</div>
</div>
</footer><!-- Scripts -->
<script src="./js/jquery.min.js"></script>
<script src="./js/bootstrap.bundle.min.js"></script>
<script src="./js/owl-carousel.js"></script>
<script src="./js/animation.js"></script>
<script src="./js/imagesloaded.js"></script>
<script src="./js/custom.js"></script>
<script type="text/javascript" src="https://api.map.baidu.com/api?type=webgl&v=1.0&ak=E7Alnx3LcTI1QE3dHSxmlzGXI6RzBUUv"></script>
<script type="text/javascript">
setTimeout(() => {
// GL版命名空间为BMapGL
// 按住鼠标右键，修改倾斜角和角度
if (window.BMapGL) {
var map = new BMapGL.Map("map"); // 创建Map实例
map.centerAndZoom(new BMapGL.Point(113.578847,23.311594), 18); // 初始化地图,设置中心点坐标和地图级别
map.enableScrollWheelZoom(true); //开启鼠标滚轮缩放
map.setHeading(64.5);
map.setTilt(73);
}
}, 2000)
</script>
</body>
</body>
<html>