讲师
王奇超
职称/职务:讲师
电话:
个人主页:
电子信箱:
研究方向:计算智能、形式语言、自动机理论
办公地点:

个人简介

王奇超,2017年9月获得德国卡塞尔大学(Universität Kassel)自然科学博士学位(Dr.rer.nat),研究领域为理论计算机科学,师从Friedrich Otto教授,在《Theoretical Computer Science》、《Fundamenta Informaticae》、《Soft Computing》等领域内高水平期刊及学术会议上发表各类论文近20篇,出版英文专著1部,并参与欧盟项目子课题1项。在德国高校有多年的科研和教学经历,近年来受邀赴德国、匈牙利、韩国、捷克等地做学术报告近20次,并作为组委会成员参与组织NCMA等国际学术会议,曾在欧洲最大的提款机制造商Wincor Nixdorf公司总部从事研发工作。现任德国计算机协会会员、中国计算机学会会员、形式化方法专业委员会通讯委员、CCF YOCSEF西安委员。现主持国家自然科学基金1项、省级重点实验室课题1项、中央高校基本科研业务费项目2项、参与国家自然科学基金1项。

学术论文

[1] Qicao Wang. Languages accepted by weighted restarting automata. Fundamenta Informaticae, accepted, 2021.

[2] Qichao Wang, Friedrich Otto. Weighted restarting automata and pushdown relations. Theoretical Computer Science, 635: 1-15, 2016.

[3] Friedrich Otto, Qichao Wang. Weighted restarting automata, 22(4): 1067-1083, 2018.

[4] Qichao Wang, Friedrich Otto. Weighted restarting automata as language acceptors. Proceedings of 21st International Conference on Implementation and Application of Automata (CIAA 2016), LNCS 9705, pp. 298-­309, 2016, Springer, Seoul, South Korea.

[5] Qichao Wang, Norbert Hundeshagen, Friedrich Otto. Weighted restarting automata and pushdown relations. Proceedings of 6th International Conference on Algebraic Informatics (CAI 2015), LNCS 9270, pp. 196-­207, 2015, Springer, Stuttgart, Germany.

[6] Qichao Wang, Yongming Li, Xiaoyin Chen. A Mahjong-strategy based on weighted restarting automata. Proceedings of The 3rd International Conference on Machine Learning and Machine Intelligence (MLMI 2020), pp.117-121, 2020, ACM, Hangzhou, China.

[7] Qichao Wang, Yongming Li, Xiaoyin Chen. Alternation of restarting automata. Proceedings of The 3rd International Conference on Machine Learning and Machine Intelligence (MLMI 2020), pp.133-138, 2020, ACM, Hangzhou, China.

[8] Qichao Wang, Yongming Li, Wei Zhou. Weighted two-dimensional finite automata. Proceedings of 13th International Conference on Algorithmic Aspects in Information and Management (AAIM 2019), LNCS 11640, pp.292-­303, 2019, Springer, Beijing, China.

[9] Qichao Wang, Yongming Li. Jumping restarting automata. Proceedings of Tenth Workshop on Non-­Classical Models of Automata and Applications (NCMA 2018), pp. 181-­196, 2018, Austrian Computer Society, Kosice, Slovakia.

[10] Qichao Wang. On the expressive power of weighted restarting automata. Proceedings of Ninth Workshop on Non-­Classical Models of Automata and Applications (NCMA 2017), pp. 227-­241, 2017, Austrian Computer Society, Prague, Czech Republic.

著作

[1] Qichao Wang. Weighted Restarting Automata. Kassel University Press, ISBN:978-­3-­7376-­0446-­8, 2018.

主持(或参与)的项目

[1] 国家自然科学基金:基于赋值幺半群的加权重启自动机及其表达能力分析的研究(2021.1-2023.12,主持)

[2] 广西省重点实验室项目:二元图片关系及其应用的研究(2020.5-2022.4,主持)

[3] 中央高校基本科研业务费项目:加权遗忘式计算模型及其应用的研究(2021.1-2022.12,主持)

[4] 中央高校基本科研业务费项目:加权二维计算模型以及图片语言的研究(2019.1-2020.12,主持)

[5] 国家自然科学基金:含不确定时态的定量时序逻辑及其检测问题研究(2021.1-2024.12,参与)

[6] 欧盟项目(EU-funded Project): Scalable and Adaptive Internet Solutions子课题NetInf(2010.10-2011.10,参与)

获奖

[1] 第六届中国国际“互联网+”大学生创新创业大赛陕西赛区银奖、校赛银奖(指导教师)

[2] 陕西师范大学第三届启夏青年节“创星杯”创业挑战赛一等奖(指导教师)

[3] 陕西师范大学第十二届青年教师教学基本功大赛三等奖

[4] 陕西师范大学第四届教师实验教学创新技能大赛优秀奖


 

点击量: 最近更新时间:2021/02/01 17:01:56