竇亮，女，博士，華東師範大學教師。
基本介紹
- 中文名：竇亮
- 職業：教師
- 學位/學歷：博士
- 專業方向：軟體工程、軟體方法及技術、形式化方法、定理證明
- 任職院校：華東師範大學
個人經歷,教育經歷,工作經歷,研究方向,開授課程,學術成果,代表性論文,科研項目,榮譽獎項,
個人經歷
教育經歷
1998.9-2002.6 華東師範大學，本科，計算機及套用
2002.9-2005.3 華東師範大學，碩士，計算機軟體與理論
2009.9-2015.5 華東師範大學，博士，計算機套用技術
2013.7-2014.8 美國加州大學歐文分校（UCI）信息和計算機科學系，訪問學者
工作經歷
2005-至今：華東師範大學計算機科學技術系/計算機科學與技術學院
研究方向
軟體工程、軟體方法及技術、形式化方法、定理證明
開授課程
編譯原理（本科生專業必修課，目前開設）
編譯原理實踐（本科生專業必修課，曾經開設）
現代軟體工程（本科生專業選修課，目前開設）
資料庫系統實踐（本科生專業必修課，目前開設）
計算機編程實踐（本科生專業必修課，曾經開設）
計算機導論實驗（本科生專業選修課，曾經開設）
資料庫技術（夜大學專業必修課，曾經開設）
學術成果
代表性論文
Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, Tao Xie. FinExpert: domain-specific test generation for FinTech systems. ESEC/SIGSOFT FSE 2019: 853-862.
Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang Dou, Liang He, Tao Xie. FACTS: automated black-box testing of FinTech systems. ESEC/SIGSOFT FSE 2018: 839-844.
Yi Chen, Aimin Zhou, Liang Dou. An evolutionary algorithm with a new operator and an adaptive strategy for large-scale portfolio problems, in Proceedings of the conference on Genetic and evolutionary computation (GECCO 2018), Kyoto, 2018: 247-248.
楊英明,丁寶寶,鄔桐,竇亮.企業架構設計規範研究與實踐[J].計算機系統套用,2018,27(10):99-105.
竇亮,徐飛,谷林濤.大數據背景下資料庫系統實踐課程的教學改革[J].計算機教育,2018,(4):117-120.
科研項目
主持科研項目
1.2020年，國家自然科學基金委青年科學基金項目，面向OJ訓練的適應性學習路徑推薦研究
2.2019年，國網能源研究院有限公司，數據融合實施方案研究
3.2018年，上海市科學技術委員會科研計畫項目，基於大數據的銀行間市場交易模型構建技術研究
4.2018年，中匯信息技術（上海）有限公司，Archimate架構描述方法論和軟體形式化實踐二期
5.2018年，國家新聞出版廣電總局出版融合發展（華東師大社）重點實驗室，知識驅動的計算思維訓練智慧型推薦技術研究
6.2017年，中匯信息技術（上海）有限公司，系統架構設計的形式規範及驗證——基於Archimate的系統架構設計規範
7.2016年，上海文廣科技（集團）有限公司，業務分析、預測算法研究及數據採集加工
主持和主要參與的教改項目
1.Google支持教育部產學合作協同育人項目-“人工智慧”必修課建設（項目負責人，國家級，2018-2019）
2.上海高校本科重點教學改革項目-人工智慧和大數據時代的計算機人才創新培養（主要參與人，省部級，2017-2019）
3.校級教學建設項目-大數據背景下“資料庫系統實踐”課程的教學改革研究（項目負責人，校級，2016-2017）
榮譽獎項
2016年 華東師範大學 本科教學貢獻獎
2009年 華東師範大學 實踐創新優秀指導教師獎
2008年 華東師範大學 優秀思想政治教育工作者
2007年 華東師範大學 青年教師課堂大獎賽（理科組）二等獎
2006年 華東師範大學 2005年級學生軍訓優秀輔導員
2005年 華東師範大學 信息科學技術學院優秀黨員
