Haiming Chen, Ph.D

锟斤拷

	Research Professor at
	Key Lab. of System Software, and State Key Lab. of Computer Science, Inst of Software, Chinese Academy of Sciences
	Beijing 100190, China
	Telephone: +86-10-62661612
	Fax: +86-10-62661627
	Email: chm_at_ios.ac.cn

锟斤拷	Our DEPSO Group 锟斤拷锟侥帮拷

---

Research Interests

锟斤拷	Web data and programming techniques, computation models, formal languages and automata theory,program analysis, software security, programming languages

锟斤拷

---

Selected Recent Publications

锟斤拷

---

Projects

锟斤拷

---

Tools

锟斤拷

---

Awards

锟斤拷

---

DEPSO Group

锟斤拷

---

Recruit

锟斤拷

More detailed CV available on request

Last modified: 2023-04-25