188滚球网 2011年開設的三門暑期課程“計算機係統概論”、“計算機應用技術前沿”、“計算機軟件與理論前沿”日前已全部順利結束。三門課程均邀請了計算機相關領域國際知名學者進行主講。課程開設得到學校、教務處等相關部門的大力支持。
“計算機係統概論”課程由美國德克薩斯大學奧斯汀分校電子與計算機工程係Yale N. Patt教授（http://mail.ustc.edu.cn/~wbdai/dragonstar/index.html）主講。Yale N.Patt教授是計算機體係結構世界頂級會議ISCA發起人之一。1991年當選ACM Fellow，1992年當選IEEE Fellow，1995年獲IEEE Emanuel R. Piore Award獎，1996年獲IEEE/ACM Eckert Mauchly Award獎，1999年IEEE Wallace W. McDowell Award獎，2000年獲ACM Karl V. Karlstrom 傑出教育家獎，2005年獲IEEE Charles Babbage Award獎。鑒於他在計算機發展曆程中的貢獻及對計算機科學教育的深刻理解和傾心投入，被IEEE Spectrum評為美國計算機界的卓越泰鬥。
該課程於8月1日開始，21日結束。Patt教授從介紹計算機係統的底層基礎知識開始，逐步上升到操作係統和高級語言程序的接口層，將軟件和硬件聯係起來，闡述從問題描述到算出結果的七個層次的轉換過程，為初學者建立起對計算機係統的完整認識。在此基礎上，從介紹彙編語言程序設計，到高級語言中的物理設備的輸入和輸出機製、操作係統的陷入機製和子程序調用和返回機製，以及棧和數據轉換的原理和機製。
為了激發學生的學習興趣，Yale N.Patt教授使用的招數是“I have lots of examples”，就是用大量生活中的例子去說明一個個重要的概念，用幽默的語言去深深地吸引每一位學生。通過大量的舉例和經常性的提問，把計算機係統中的許多基本概念像講故事一樣講給同學們聽。Patt教授要求助教必須非常熟悉教材，必須隨堂聽課，事先完成所有的作業和實驗。如此要求之下，8個助教天天忙得不可開交：每天上午為學生答疑，下午隨堂聽課，晚上輔導上機。Yale N.Patt教授上課從來不帶教科書，完全不用投影儀，自始至終隻用“黑板＋粉筆”的授課方式，讓學生隨他一起演繹對問題的思考過程。
通過本門課程的教學實踐，我們目睹了世界一流計算機大師的授課風采和敬業精神，理解了應當如何為低年級的學生上好計算機入門課，為後繼課程的學習打下牢固的基礎，對於實施計算機學院的計算機教育改革，提高本科教學質量具有重要的啟發意義。
Yale N. Patt正在授課
Yale N.Patt在校教學期間，副校長陳初升會見了Yale Patt教授，與他進行了深入交談，並對他的辛勤工作表示感謝。此外，Yale N.Patt教授在8月13日參加了由我校計算機學院與教育部高等學校計算機科學與技術專業教學指導分委員會、機械工業出版社華章分社在我校聯合舉辦了“2011年高等學校計算機專業人才國際化教育論壇係列活動之計算機係統基礎課程教學專題研討會”。會上，Yale Patt做了 “A First Course in Computing for all CS and EE students”和“Computer Systems Curriculum in the US”兩個特邀報告，與國內的計算機教學同行充分交流和分享他多年的教學和學術研究經驗和體會。北京大學、南京大學、浙江大學、上海交通大學、188金宝慱体育版 等高校做了主題報告，交流各高校計算機專業基礎課和核心課程的教學情況。會議開始時，Yale Patt愉快地接受了計算機學院聘請他為客座教授的邀請，陳華平院長向他頒發了聘書。
Yale N.Patt客座教授授聘儀式
“計算機應用技術前沿”課程於7月11日至15日進行。本課程結合計算機學院承辦的國家自然科學基金委員會資助，龍星計劃委員會負責的“龍星計劃”課程“數據挖掘”進行開設。該課程由數據挖掘領域的國際知名學者、我校校友、美國羅格斯-新澤西州立大學熊輝教授主講。計算機學院的部分高年級本科生、研究生以及相關院係感興趣的百餘位同學選修了本課程。此外，來自全國數十所兄弟院校和研究所的師生也慕名參加了本次課程的學習。
熊輝教授正在授課
在本課程中，熊輝老師係統全麵地介紹了數據挖掘的應用背景、基本問題、常用算法和數據處理過程，涵蓋了數據挖掘領域基本的分類、聚類、關聯規則挖掘和異常檢測的四類主要問題。深入淺出的講解佐以詳實生動的案例，使同學們對數據挖掘各個方麵的知識有了較為深入了解。同時，熊輝老師還結合自身科研經曆，以所在課題組在國際頂級會議SIGKDD上的工作及科研項目為例，為同學們介紹了大量科研、治學和論文寫作方麵的經驗，從而使同學們在學習專業知識同時，也能夠得到更多自身發展的全麵指導。
本課程加強了同學們對於計算機應用前沿技術的了解，近距離接觸了技術前沿和研究難點。在課餘的討論時間，許多同學積極與熊輝教授展開討論，並表現出對於這一技術領域的濃厚興趣和深入學習的意願。
龍星計劃——計算機科學技術學術交流係列活動，是一個傑出的海外華人教授回國係統講授研究生課程的計劃。該計劃由國家自然科學基金委員會資助，龍星計劃委員會負責。自2002年該計劃實施以來，已資助並促成了數十位海外傑出華人教授在國內多所大學講授計算機專業課程近百場，是國內最富有盛名的研究生教育交流活動之一。
暑期課程“計算機軟件與理論前沿”於8月13日開始，為期9天。本課程以第三屆亞太地區形式化方法暑期學校方式，在188金宝慱体育版 蘇州研究院開設。多位著名國際學者應邀為本次暑期學校授課，來自國內外21所高校與科研院所的81名學員踴躍報名並積極參加了暑期學校。
來自法國波爾多第一大學Pierre Casteran教授正在授課
亞太地區形式化方法暑期學校由中法信息、自動化與應用數學聯合實驗室（LIAMA）於2009年發起。本次暑期學校由法國國家信息與自動化研究院的Yves Bertot研究員和法國波爾多第一大學的Pierre Casteran教授係統地講授形式化方法的一些基礎理論，並介紹與之相關的定理證明輔助工具Coq；由法國雷恩第一大學的Sandrine Blazy教授介紹處於國際前沿的CompCert編譯器驗證技術；由《科技創業》雜誌列舉的防崩潰代碼方麵的國際知名專家——美國微軟研究院Chris Hawblitzel博士、耶魯大學邵中教授（我校大師講席教授）和188金宝慱体育版 馮新宇教授——進行防崩潰代碼的研究專題介紹。參加暑期學校的學員有來自中科院、清華大學、北京大學、南京大學、華東師範大學、浙江大學、國防科學技術大學等工作在國內高校一線的研究生與教師，也有來自法國約瑟夫•傅裏葉大學、美國普林斯頓大學和香港中文大學的學生。學員的專業涵蓋了計算機科學、計算機工程、軟件工程、數學及物理等各個專業。本次暑期學校還作為188金宝慱体育版 本科生“計算機軟件與理論前沿”暑期課程，28名來自中科大計算機、數學和少年班等學院的本科生選修了本課程。
來自法國INRIA的Yves Bertot研究員正在授課
為了使得學員能夠更好地理解所講授的知識，本次暑期學校采取了理論聯係實際的課程安排。上午的課程為理論教學，下午的課程為上機實驗。課上課下專家們與學員開展了大量的交流與討論。中科大-耶魯高可信軟件聯合研究中心派出10多名師生承擔上機實驗的助教工作，幫助學員熟悉實驗環境，解答疑難問題。學員們一致認為獲益匪淺。在課程的最後一天，來自國內外5所大學的研究團隊的代表還展示了在形式化方法領域取得的最新的研究成果，使學員了解到所學內容在前沿研究領域的應用與最新進展，並進一步加深了學員之間的交流。
