Institute of Software Chinese Academy of Sciences

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <title>Institute of Software Chinese Academy of Sciences</title> <link href="../../images/style_en.css" rel="stylesheet" type="text/css"> </head> <body> <div id="main_container"> <div id="header"> <div id="logo"> <a href="#"><img src="http://english.is.cas.cn/images/en_logo.png" width="341" height="58" border="0" /></a> </div> <div class="banner_adds"> <ul> <li><a href="http://english.is.cas.cn">Home</a></li> <li><a href="http://english.is.cas.cn/sitemap/">Sitemap</a></li> <li><a href="http://english.is.cas.cn/au/ct/">Contact</a></li> <li><a href="http://www.is.cas.cn/" target="_blank">中文</a></li> <li style="border:none"><a href="http://english.cas.cn/" target="_blank">CAS</a></li> </ul> </div> <div class="menu"> <ul> <li><a href="http://english.is.cas.cn/au/">About us</a>   <ul> <li><a href="http://english.is.cas.cn/au/bi/">Brief Introduction</a></li> <li><a href="http://english.is.cas.cn/au/hy/">History</a></li> <li><a href="http://english.is.cas.cn/au/ds/">Director</a></li> <li><a href="http://english.is.cas.cn/au/aftd/">Address from the Director</a></li> <li><a href="http://english.is.cas.cn/au/an/">Organization</a></li> <li><a href="http://english.is.cas.cn/au/ct/">Contact</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/rh/">Research</a>    <ul> <li><a href="http://english.is.cas.cn/rh/rd/">Research Divisions</a></li> <li><a href="http://english.is.cas.cn/rh/rp/">Research Progress</a></li> <li><a href="http://english.is.cas.cn/rh/as/">Achievements</a></li> <li><a href="http://english.is.cas.cn/rh/rps/">Research Programs</a></li> <li><a href="http://english.is.cas.cn/rh/tt/">Technology Transfer</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/pe/">People</a>    <ul> <li><a href="http://english.is.cas.cn/pe/fas/">Faculty and Staff</a></li> <li><a href="http://english.is.cas.cn/pe/LT/">Managing Team</a></li> <li><a href="http://english.is.cas.cn/pe/cm/">CAS Members</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ic/">International Cooperation</a>    <ul> <li><a href="http://english.is.cas.cn/ic/in/">Introduction</a></li> <li><a href="http://english.is.cas.cn/ic/ip/">International Projects </a></li> <li><a href="http://english.is.cas.cn/ic/ic/">International Conferences </a></li> <li><a href="http://english.is.cas.cn/ic/ios/">International Organizations </a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ns/">News</a>    <ul> <li><a href="http://english.is.cas.cn/ns/es/">Events </a></li> <li><a href="http://english.is.cas.cn/ns/icn/">Int’l Cooperation News </a></li> <li><a href="http://english.is.cas.cn/ns/ue/">Upcoming Events</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/rs/">Resources</a>    <ul> <li><a href="http://english.is.cas.cn/rs/ma/">Multimedia</a></li> <li><a href="http://english.is.cas.cn/rs/fs/">Facilities</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/et/">Education & Training</a>    <ul> <li><a href="http://english.is.cas.cn/et/education_intro/">Introduction</a></li> <li><a href="http://english.is.cas.cn/et/Enrollment/">Enrollment </a></li> <li><a href="http://english.is.cas.cn/et/Fellowship_Scholarship/">Fellowship&Scholarship </a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ju/">Join Us</a></li> <li><a href="http://english.is.cas.cn/sp/">Societies & Publications</a></li> <li><a href="http://english.is.cas.cn/ls/">Links</a></li> </ul> </div> </div>  <div id="main_content">  <div class="column1">  <div class="left_box"> <div class="top_left_box"> </div> <div class="center_left_box"> <div class="box_title"><span>CAS Members</span> :</div> <div class="box_text"> </div> </div> <div class="bottom_left_box"> </div> </div>   <div class="left_box"> <div class="top_left_box"> </div> <div class="center_left_box"> <div class="box_title"><span>Find</span> information:</div> <div class="form"> <form name="searchform" action="http://english.is.cas.cn/Search/index.html" method="get" onSubmit="return search_check()" target="_top" style="margin:0px"/> <div class="form_row"> <label class="left">Search: </label> <input type="text" name="keyword" id="iptSword" onClick="javascript:if(this.value=='') this.value=''" value="" class="form_input" /> </div> <div style="float:right; padding:10px 25px 10px 0;"> <input type="image" src="http://english.is.cas.cn/images/go.gif" border="0" /> </div> </form> <script type="text/javascript"> function escapeTrs(str){//转义trs关键字 var arr = new Array("\\\\","!","@","#","\\$","\%","\\^","\&","\\*","\$","\$","\\_","\\+","\-","\=","\\{","\\}","\\|","\\[","\\]",";","'",":","\"","\<","\>","\\?","\,","\\.","\/"); for(var i=0;i<arr.length;i++){ var re = new RegExp(arr[i],"img"); str = str.replace(re, '\\' + arr[i]); } return str; } function dealKeywords(sword, relation) { var sTemp = ""; var swordtemp = ""; var sArray; if(sword.indexOf("*")<0&&sword.indexOf("+")<0&&sword.indexOf(")")<0&&sword.indexOf("(")<0&&sword.indexOf("\\")<0) { sword = escapeTrs(sword); //不含trs关键字 sArray = sword.split(" ");//输入框空格处理,空格表示 relation 关系 for(var i=0; i<sArray.length;i++) { sTemp = sArray[i].replace(/^\s+|\s+$/g,"");//去掉sword前后空格 if(sTemp!="") { swordtemp += "'"+ sTemp + "' "+relation+" ";/*加上''符号,处理trs带运算符的检索词报错的问题*/ } } if(swordtemp.lastIndexOf(" "+relation+" ")!=-1)//去掉relation结尾 { swordtemp = swordtemp.substring(0,swordtemp.length-relation.length-2); } } else//包含trs关键字 { if(sword.indexOf("\\")!=-1){ var re = new RegExp("\\\\","img"); sword = sword.replace(re, '\\\\'); } swordtemp = "'"+sword+"'"; } return swordtemp; } function search_check() { var sword =document.getElementById("iptSword").value.replace(/^\s+|\s+$/g,""); if (sword=='' || sword=='please enter keywords') { alert('please enter keywords!'); return false; } else { document.searchform.keyword.value = encodeURI(document.getElementById("iptSword").value);//传参前进行编码 document.searchform.submit(); } } </script> </div> </div> <div class="bottom_left_box"> </div> </div>  </div>   <div class="column_right_2"> <div class="column5"> <div class="small_title" style="color:#000000" ><a href="../../" title="Home" class="CurrChnlCls">Home</a> > <a href="../" title="People" class="CurrChnlCls">People</a> > <a href="./" title="CAS Members" class="CurrChnlCls">CAS Members</a></div> <div class="main_text_box"> <div class="main_text_box_5">  <P>Currently the following three researchers are members of the Chinese Academy of Sciences: </P> <P></P> <TABLE class=" FCK__ShowTableBorders" cellSpacing=1 cellPadding=1 width="100%" summary="" border=0> <TBODY> <TR> <TD width=200> <P align=center> </P></TD> <TD> </TD></TR> <TR> <TD> <P align=center> <IMG alt="" src="./200908/W020090813559378814147.jpg" OLDSRC=W020090813559378814147.jpg /></P></TD> <TD>  <P><FONT color=#ff6633>Prof. DONG Yunmei</FONT>, a member of Chinese Academy of Sciences, is one of the pioneers of computer software research and development in China. He has done a lot of systematic and creative work on theories, techniques, and tools of software, and on Chinese information processing. In early 1960s he developed with his colleagues the first pragmatic high level programming language BCY and its compiler in China, which had long been used and had significant effect in practice. He solved several issues in formal grammar, syntactical analysis, and program testing during 1960s and early 1970s, prior to some famous work in the world on the same issues. In 1980s he first proposed a method and implementation techniques for high quality Chinese font design on computers. He took the lead in investigating software reuse techniques in China in mid-1980s. His recent research interests include software specification and software design methodologies. </P></TD></TR> <TR> <TD> <P align=center> <IMG alt="" src="./200908/W020090813559379003320.jpg" OLDSRC=W020090813559379003320.jpg /></P></TD> <TD>  <P><FONT color=#ff6633>Prof.ZHOU Chaochen</FONT>, a member of Chinese Academy of Sciences, is one of the pioneers in the research of distributed programming theory in China. In 1991, he was interested in real-time systems, and jointly with Professor Hoare and Ravn proposed a continuous-time interval logic called Duration Calculus(DC) which can specify the real-time systems. Owing to its originality, DC has been well recognized in the formal methods area, and has attracted scientists from more than twenty countries to further develop it. From Aug. 1997 to Sep. 2002, Professor Zhou served as the director of the International Institute for Software Technology, United Nations University. </P></TD></TR> <TR> <TD> <P align=center> <IMG height=200 alt="" src="./200908/W020090813559379055795.jpg" width=150 OLDSRC=W020090813559379055795.jpg /></P></TD> <TD>  <P><FONT color=#ff6633>Prof. LIN Huimin</FONT>received Ph.D in Computer Science from the Institute of Software, Chinese Academy of Sciences, in 1986. He is currently a research professor and the director of the Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. He was elected a Member of Chinese Academy of Sciences in 1999. Prof. Lin’s research interests include: concurrency and mobility, model checking and modal logics, formal methods, tools and algorithms for concurrent systems. He designed and implemented Process Algebra Manipulator PAM/VPAM which is the first parameterised interactive proof tool for process algebras. He is a co-originator of the "symbolic bisimulation" theory for value-passing process algebras. Prof. Lin has published papers in a number of international journals(such as Acta Informatic,ACM Transactions on Programming Languages and Systems, Information and Computation, Theoretical Computer Science, Formal Aspects of Comuting) and conferences(such as ICALP, TAPSOFT, ETAPS, PSTV, CONCUR). He has served in program committees for many international conferences. </P></TD></TR></TBODY></TABLE> </div> </div> </div> </div>  </div>   <div id="footer"> <div id="copyright"> <div>©2011 Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn</div> </div> </div> </div>  </div> </body> </html>

CINXE.COM

Institute of Software Chinese Academy of Sciences