曹永知，博士，北京大學信息科學技術學院教授。
基本介紹
- 中文名：曹永知
- 學位/學歷：博士
- 職業：教師
- 專業方向：計算機理論
- 任職院校：北京大學
研究方向,個人經歷,榮譽獎項,學術成果,
研究方向
主要研究方向
形式化方法及其套用、隱私性與安全性、不確定性推理
個人經歷
科研/教育經歷
2007，博士後，清華大學
2003，博士，北京師範大學
榮譽獎項
主要榮譽與獲獎
2014年 教育部自然科學二等獎（排名1/3）
學術成果
研究成果概況
系國家精品課程“離散數學”主講教師，IEEE高級會員和美國《數學評論》評論員。作為項目負責人主持國家自然科學基金4項，作為研究骨幹參與科技部973課題多項。在IEEE Trans. Autom. Contr., IEEE Trans. Comput., Inform. Comput., J. Comput. Syst. Sci.等國際知名刊物上發表SCI期刊論文30餘篇。在不確定性系統的隱私性，噪音環境下移動系統的建模、行為分析、可靠性度量及改進，事件具有隨機或模糊不確定性的離散事件系統的建模與行為分析等方面取得了一些具有原創性的研究成果。論文已引起計算機科學、決策、控制、機器人及腦認知等多個領域學者關注，SCI他引近200次，且被10餘部國外專著引用。
主要科研項目：
1. 國家自然科學基金面上項目，61772035，不確定性系統隱私性的建模與分析，2018/01-2021/12，65萬元，主持。
2. 國家自然科學基金面上項目，61370053，移動情境感知系統的實時性與可靠性，2014/01-2017/12，76萬元，主持。
3. 國家自然科學基金面上項目，60973004，噪音環境下移動進程的可靠性與安全性，2010/01-2012/12，30萬元，主持。
4. 國家自然科學基金青年項目，60505011，具有不確定性的多Agent系統的監控，2006/01-2008/12，23萬元，主持。
Selected Publications
1. J. Yang, Y. Cao*, and H. Wang, Differential privacy in probabilistic systems, Information and Computation, 254 (2017), 84-104.
2. H. Pan, Y. Li, Y. Cao*, D. Li, Reachability in fuzzy game graphs, IEEE Transactions on Fuzzy Systems, 25 (2017), 972-984.
3. H. Pan, Y. Li, Y. Cao*, Z. Ma, Model checking computation tree logic over finite lattices, Theoretical Computer Science, 612 (2016), 45-62.
4. W. Chen, Y. Cao*, and H. Wang, Conditional anonymity with non-probabilistic adversary, Information Sciences, 324 (2015), 32-43.
5. Y. Cao*, L. Xia, and M. Ying, Probabilistic automata for computing with words, Journal of Computer and System Sciences, 79 (2013), 152-172.
6. Y. Cao*, S. X. Sun, H. Wang, and G. Chen, A behavioral distance for fuzzy- transition systems, IEEE Transactions on Fuzzy Systems, 21 (2013), 735-747.
7. Y. Cao*, Reliability of mobile processes with noisy channels, IEEE Transactions on Computers, 61 (2012), 1217-1230.
8. S. Huang, Y. Cao*, H. Wang, and W. Qu, Value-passing CCS with noisy channels, Theoretical Computer Science, 433 (2012), 43-59.
9. Y. Cao* and Y. Ezawa, Comments on “State-feedback control of fuzzy discrete- event systems”, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, 41 (2011), 1170-1172.
10. Y. Cao*, G. Chen, and E. E. Kerre, Bisimulations for fuzzy-transition systems, IEEE Transactions on Fuzzy Systems, 19 (2011), 540-552.
11. Y. Cao* and G. Chen, A fuzzy Petri nets model for computing with words, IEEE Transactions on Fuzzy Systems, 18 (2010), 486-499.
12. Y. Cao*, M. Ying, and G. Chen, State-based control of fuzzy discrete-event systems, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, 37 (2007), 410-424.
13. Y. Cao*, M. Ying, and G. Chen, Retraction and generalized extension of computing with words, IEEE Transactions on Fuzzy Systems, 15 (2007), 1238-1250.
14. Y. Cao* and M. Ying, Similarity-based supervisory control of discrete-event systems, IEEE Transactions on Automatic Control, 51 (2006), 325-330.
15. Y. Cao* and M. Ying, Observability and decentralized control of fuzzy discrete-event systems, IEEE Transactions on Fuzzy Systems, 14 (2006), 202-216.
16. Y. Cao* and M. Ying, Supervisory control of fuzzy discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, 35 (2005), 366-371.
