嶄猟井 | English
Undergraduate,
Graduate and
International Programs
Professors and
Associate Professors
Address:School of Computer Science
and Telecommunication Engineering
JiangSu University ,ZhenJiang,JiangSu
Province 32mail.
Associate Professors  
 
Chen Weihe
  Name  Weihe Chen 
Title and Position  Associate Professor 
Research Interests  Research interests include Formal Methods and their applications in Software Security and Reliability, Program Analysis and Attack, Intrusion Detection, Database Security and Privacy  
Office Phone  88780375-416 
E-mail  chenweiheujs@yahoo.com.cn 
Curriculum Vitae
I am an associate professor of Computer Science, Jiangsu University, People¨s Republic of China. I earned my Ph.D. degree from Nanjing University, People¨s Republic of China. My work focuses on Access Control Models and their Analysis, Model Checking, formal techniques to problems of computer security. My current research interest is on Type Theory and its applications on computer security and the reliability and formal proof of software/hardware. I am also interested in machine learning and its applications in information security, data mining and software test.
Teaching and research achievements
Research on the Detection Methods of Covert Channel, The Third Prize of Science and Technology Advancement, Awarded by the government of Zhenjiang, Jiangsu, China, 2008
 
Copyright © 2008 - 2012 School of Computer Science and Telecommunication Engineering · All Rights Reserved
Address:School of Computer Science and Telecommunication Engineering JiangSu University ,ZhenJiang,JiangSu Province 32mail Post Code:212013