天津師範大學軟體學院是根據《教育部等九部門關於加快軟體人才培養和隊伍建設的若干意》(教高[2003]10號)和市政府《批轉市科委關於加快我市軟體產業發展實施意見的通知》精神,適應我國社會信息化迅速發展,加快培養軟體產業急需的軟體工程技術人才的需要,於2005年10月10日成立的。
基本介紹
- 中文名:天津師範大學軟體學院
- 地點:天津師範大學
- 類型:軟體科學學院
- 成立時間:2005年10月10日
學院簡介,教授風采,何積豐,馬希榮,教學特色,
學院簡介
軟體學院體制上是天津師大下屬的二級學院,接受學校的直接領導和管理,由中國科學院院士何積豐教授任名譽院長,馬希榮教授任院長。學院擁有一支理論基礎紮實、實踐經驗豐富的教學隊伍,其中大部分教師具有博士、碩士學位,此外,學院還聘用軟體企業工程師8人、外籍教師2人。學院按照“以學生為中心、以需求為導向、以創新求發展”的要求,培養懂技術、懂外語、懂管理的實用型、複合型軟體高級工程技術人才和軟體工程管理人才,為軟體產業的快速發展提供堅實的人才資源後盾。
學院的辦學理念是以市場需求為導向,堅持開放式辦學、堅持國際化道路,堅持工程特色,突出實踐技能和外語技能培養,已成為“天津市軟體人才培養培訓示範基地”正式掛牌單位。
教授風采
何積豐
計算機軟體專家。華東師範大學教授。1943年8月生於上海市。1965年畢業於復旦大學數學系。1965年起在華東師範大學工作,先後任助教、講師,1986年晉升為教授。1980年至1981年,在美國史丹福大學、舊金山大學做訪問學者;1983年至1988年在英國牛津大學計算機實驗室任高級研究員,1998年起任聯合國大學國際軟體技術研究所高級研究員。2002年至今,任華東師範大學軟體學院院長,2002年成為華東師範大學首批終身教授。2005年當選中國科學院院士。現任華東師範大學軟體學院院長,上海嵌入式系統研究所所長、教授、博士生導師。
1980年起,從事程式設計理論及其套用研究。1986年和C.A.R.Hoare提出了"程式分解運算元",並將規範語言與程式語言看成是同一類數學對象。接著又提出了採用"關係代數"作為程式和軟體規範的統一數學模型,使得關係代數可用來描寫程式的分解和組合過程,直接支持軟體的開發。在數據精化方面,給出了處理非確定性程式語言數據精化的完備方法。1995年,在總結了多類程式語言語義理論和方法的基礎上,與C.A.R.Hoare提出了程式設計統一理論和連線各類程式理論的數學法則。還提出了用形式化的界面理論溝通幾種程式語言,以及非確定性數據流的數學模型及代數定律。近年來,研究的軟硬體協同設計系統,為減少系統晶片設計時間和降低成本提供了有益的方法。
何積豐在國際上獲得的地位讓同行們仰視:聯合國大學國際軟體技術研究所高級研究員,英國牛津大學客座教授,牛津大學計算實驗室高級研究員,兩度獲最高科研獎——英國先進科技女皇獎。他被國際計算機科學界譽為面向模型軟體開發方法的奠基石。他在安全軟體設計方面的論著被國際軟體界廣泛引用。他率先提出關係程式設計語言,這項工作被歐洲計算機界認為是繼過程語言、函式程式、邏輯程式之後的第四類程式語言的先驅,他因而被歐洲軟體界權威人士贊之為“軟體設計技術上的一座里程碑”。
他是聯合國大學國際軟體技術研究所高級研究員,英國牛津大學客座教授,牛津大學計算實驗室高級研究員,兩度獲最高科研獎――英國先進科技女皇獎。他被國際計算機科學界譽為面向模型軟體開發方法的奠基人,他的學術成就被歐洲軟體界權威人士贊之為軟體設計技術上的一座里程碑。2005年他又當選為中國科學院院士。
簡要經歷:
1960.05~1965.02上海復旦大學數學系學習
1980.07-~1981.07美國坦福大學、舊金山大學進修
1965.03-~1985.07華東師範大學助教、講師
1984.12~1998.07英國牛津大學客座教授、高級研究員
1986.08~華東師範大學教授
1988~國家有突出貢獻中青年專家;
1995.08~華東師範大學博士生導師;
1996.08~上海交通大學兼職教授、博士生導師
1998.07~聯合國大學國際軟體技術研究所高級研究員
1998.08~南京大學兼職教授、博士生導師
2001.11~華東師範大學軟體學院院長
2002.12~華東師範大學終身教授
2003.05~浙江大學兼職教授、博士生導師
2005年評為中科院院士
馬希榮
女,教授、博士、碩士生導師。軟體學院院長兼天津師範大學計算機與信息工程學院院長。主要社會兼職
[1] “中國人工智慧學會”理事。
[2] “中國人工智慧學會教育工作委員會”副主任委員。
[3] “全國高等學校計算機教育研究會”理事。
[4] “全國高等師範學校計算機教育研究會”副理事長、常務理事。
研究方向
[1] 多Agent系統
[2] 情感計算
[3] 現代教育技術
研究工作簡歷
[1] 主持“基於多特徵融合的人機情感互動關鍵技術研究”,天津市自然科學基金項目(08JCYBJC13700),2007.12- 2009.12 ,10萬元。在研。
[2] 主持“和諧人機互動系統中情感計算的理論方法研究”,天津市科技攻關重點項目(編號:04310731R),2004.12- 2007.6,15萬元,已結題。
[3] 主持“基於多Agent與CORBA的分散式智慧型教學平台關鍵技術研究”,全國教育科學規劃重點課題,2003.7-2005.12,1.5萬元,已結題。
主要論著及出處:
[1] 馬希榮,王嶸,一種基於最近鄰決策的點集分類方法的確定與實現,計算機科學,2007年第34卷第12期,2007.12。
[2] Maxirong, Sunhuazhi. Study on Harmonious Human-Computer Interaction Platform Based on Multi-Agent for Distant Learning (IDS Number: BFD83),ICCSE - The 1st International Conference on Computer Science & Education。2006.07。
[4] 馬希榮,王志良,遠程教育中和諧人機情感互動模型的研究,計算機科學,2005年第32卷第9期,2005.9。
教學特色
軟體學院聘請國際知名學者何基豐院士擔任學院名譽院長,聘任天津師範大學計算機與信息工程學院院長馬希榮教授擔任院長。在兩位業內專家的支持下軟體學院將引入國際先進的教學理念,積極培育學生的實戰動手能力,塑造技術全面的高素質軟體開發及管理人才。
加強實踐環節,實行產、學、研結合。安排學生在軟體學院定點的五個實習基地參加企業實踐,並在企業導師指導下參與完成一些項目的研究和開發,以增強學生系統分析與設計能力、軟體開發能力和管理軟體項目的能力;積極進行訂單式培養模式的探索。
在教學課程方面軟體學院在完成學生的基本課程的基礎上將圍繞國際軟體行業的市場需求,不斷開發內容較新的軟體課程,並且在開設理論課的同時等比例設定實踐開發課程,使學生們告別紙上談兵,從而更好的適應軟體市場的就業環境。