计算机科学与技术学院
 
师资队伍

院士


大师讲席


教授


副教授

付 明


讲师


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>副教授

付 明

 

电 话:(0512)87161326

E- Mail:fuming@ustc.edu.cn

个人主页:http://staff.ustc.edu.cn/~fuming

 

主要研究方向:程序验证、操作系统内核验证、并发理论、程序设计语言理论

 

付明,男,1982年生,博士,特任副研究员。分别于2004年和2010年获中国科学技术大学学士和博士学位。2009年11月至2010年10月访问美国耶鲁大学计算机系。2010年11月至2016年7月任中国科学技术大学计算机学院博士后研究员。2016年8月起任中国科学技术大学计算机学院特任副研究员。主持国家自然科学基金青年科学基金项目、中国博士后科学基金面上资助项目。

 

主 要 论 著

   

[01]  Fengwei Xu, Ming Fu*, Xinyu Feng, Xiaoran Zhang, Hui Zhang and Zhaohui Li. A Practical Verification Framework for Preemptive OS Kernels. Proc. 28th International Conference on Computer Aided Verification (CAV'16),Toronto, Ontario, Canada, pages 59-79, July, 2016.
[02] Jingyuan Cao, Ming Fu* and Xinyu Feng. Practical Tactics for Verifying C Programs in Coq. Proc. 4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP'15), Mumbai,India, pages 97-108, January, 2015.
[03] Hongjin Liang, Xinyu Feng and Ming Fu. Rely-Guarantee-Based Simulation forCompositional Verification of Concurrent Program Transformations.ACM Transactions on Programming Languages and Systems(TOPLAS),Volume 36, Issue 1, Article No.3, March 2014.
[04] Yanni Kouskoulas, Ming Fu, Zhong Shao and Peter Kazanzides.Applying Mathematical Logic to Create Zero-Defect Software.JOHNS HOPKINS APL TECHNICAL DIGEST, VOLUME 32, NUMBER 2 (2013).
[05] Hongjin Liang, Xinyu Feng and Ming Fu. A Rely-Guarantee-Based Simulationfor Verifying Concurrent Program Transformations. Proc.39thACM SIGPLAN-SIGACT Symposium on Principles ofProgramming Languages (POPL'12), pages 455-468, January 2012.
[06] Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, and Yu Zhang.Reasoning about optimistic concurrency using a program logic forhistory, Proc. of 21st International Conference onConcurrency Theory (CONCUR'10), Paris, France, August 2010, pages 388-402, 2010
[07] Ming Fu, Yu Zhang and Yong Li. Formal verification of concurrentprograms with read-write locks. Frontiers of Computer Science (FCS}, 4(1): 65-77, Jan, 2010.
[08] Ming Fu, Yu Zhang and Yong Li. Formal reasoning about concurrentassembly code with reentrant locks. Proc. of 3rd IEEEInternational Symposium on Theoretical Aspects of SoftwareEngineering(TASE'09), July 29-31, 2009, Tianjin, China, pages 233-240.
[09] Ming Fu and Yu Zhang.Homomorphism resolving of XPath trees based on automata.Proc. of a joint conference of the 9th Asia-Pacific WebConference and the 8th International Conference on Web-AgeInformation Management (APWeb/WAIM'07), June16-18,Huang Shan, China.

 

CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027