編者:劉關俊|責編:楊凱
劉關俊，男，教授，博士生導師。2011年獲得同濟大學電腦軟體與理論專業博士學位，同年赴新加坡科技設計大學從事博士后研究工作；2013年回國，並進入同濟大學電腦科學系任教，同年獲得德國洪堡基金資助，赴柏林洪堡大學從事博士后研究工作。
主要從事形式化方法、模型檢測、Petri網等方面的理論與應用研究，目前也從事機器學習及其在網路交易欺詐檢測方面的研究。已出版學術專著1本，發表學術論文90余篇，包括Science China Information Sciences、ACM Transactions on Embedded Computing Systems、ACM Transactionson Cyber-Physical Systems、IEEE Transactions on Services Computing、IEEE Transactions on Industrial Informatics等期刊論文近50篇，以及國際Petri網年會（International Conference on Application and Theory of Petri Nets and Concurrency）等會議論文40余篇。
劉關俊主持國家自然科學基金面上項目與青年基金項目、上海市曙光計劃人才項目、中央高校交叉項目（重大）等多項，獲得國家科技進步獎二等獎、上海市科技進步獎一等獎、中國電子學會自然科學一等獎、吳文俊人工智慧技術發明獎一等獎、上海市優秀博士論文獎以及首屆教育部國務院學位委員會博士研究生學術新人獎等。劉關俊是中國電腦學會形式化方法專委會委員、中國自動化學會網路信息服務專委會委員、中國人工智慧學會智能空天系統專委會委員、IEEESenior Member。
[