<cite id="9dfzl"><ruby id="9dfzl"><th id="9dfzl"></th></ruby></cite>
<menuitem id="9dfzl"><dl id="9dfzl"><address id="9dfzl"></address></dl></menuitem>
<cite id="9dfzl"><dl id="9dfzl"></dl></cite>
<ins id="9dfzl"><dl id="9dfzl"></dl></ins>
<listing id="9dfzl"><ins id="9dfzl"><noframes id="9dfzl">
<ins id="9dfzl"></ins>
<menuitem id="9dfzl"></menuitem>
<cite id="9dfzl"><dl id="9dfzl"><th id="9dfzl"></th></dl></cite>
<thead id="9dfzl"><dl id="9dfzl"></dl></thead>
<var id="9dfzl"></var><progress id="9dfzl"><ins id="9dfzl"><dl id="9dfzl"></dl></ins></progress><thead id="9dfzl"><del id="9dfzl"></del></thead><thead id="9dfzl"><dl id="9dfzl"><noframes id="9dfzl">
<var id="9dfzl"></var>
<ins id="9dfzl"><dl id="9dfzl"><address id="9dfzl"></address></dl></ins>
ENGLISH VERSION

計算機軟件與理論實驗室


  計算機軟件與理論實驗室,始于上世紀50年代王世強教授的模型論研究,隨后,羅立波教授、沈復興教授等一批研究人員將這項研究推向深入,取得了國內外一流的研究成果?,F在,計算機軟件與理論方向依托北師大深厚的理論基礎和堅實的軟件工程背景,圍繞數據挖掘、智能計算、自動證明理論與技術、可信軟件自動化工程的理論、方法及應用,深入開展創新性研究。近五年來,本實驗室共獲得國家自然科學基金、863計劃、北京市優秀人才等項目20余項。團隊教師在國內外學術期刊與會議發表論文100余篇,SCI、EI收錄 50余篇,出版譯著、教材10余部。團隊研究生率領的ACM競賽隊伍,獲得多個亞洲賽區的金牌。形成了鮮明的研究方向,培養出一支高水平的軟件理論研究研究隊伍和技術隊伍。

  目前,研究團隊依托多項國家級和市級項目,重點在數據挖掘、知識表示、物聯網數據分析、分布式計算和可計算模型論方面開展研究。團隊現有教師10名,碩士、博士研究生近20名。

秒速赛车有什么规律吗