日本北陸先端科學技術大學院大學小川瑞史教授訪問深圳先進院

2020-12-13 中國科學院

6月28日,應中科院深圳先進技術研究院數字所嵌入式軟體系統研究中心方菱副研究員邀請,日本北陸先端科學技術大學院大學(Japan Advanced Institute of Science and Technology, JAIST)小川瑞史教授在深圳先進技術研究院進行學術交流,並作了題為Backend Tools for Code-level Formal Method的學術報告。

小川瑞史教授以系統驗證的重要性和必要性為切入點,展示了他所領導的研究團隊在形式化方法的理論研究和應用上所取得的成果,並從SAT/SMT工具和模型驗證(Model Checking)兩個方向詳盡闡述了形式化方法(Formal Method)的基本理論。在本次報告中,小川教授講述了兩個形式化方法的應用實例,分別是程序模型中對於捨入/溢出(Roundoff/Overflow)錯誤的分析,和單線程的Java程序的上下文相關性解析。

講座過程中,小川教授就模型驗證與分析,形式化方法理論和應用等方面與科研人員及研究生進行了深入交流,現場氣氛活躍。

相關焦點

  • 日本北陸先端科學技術大學院大學代表團訪問天津大學並籤署合作協議
    本站訊(通訊員 劉辛未 攝影 唐蒙)12月5日,日本北陸先端科學技術大學院大學校長Asano Tetsuo教授率代表團訪問天津大學。校黨委書記李家俊、副校長王樹新同來賓會見會談,智算學部、理學院、國教學院、材料學院、研究生院和國際處相關負責同志參加會見。
  • 日本留學:冷門大學—北陸先端科學技術大學院(JAIST)
    本期東學君給大家介紹一個冷門大學——北陸先端科學技術大學院北陸先端科學技術大學院大學,簡稱為「JAIST」。是一所沒有本科課程只有大學院的國立研究型大學。知名度不算高,但是科研水平能力極強,有很多日本排名一流的專業。
  • 理工科學生不得不看的學校,北陸先端科學技術大學院大學!
    北陸先端科學技術大學院大學,英文名稱是Japan Advanced Institute of Science and Technology,是於1990年設立的研究院性質日本國立大學。學校位於日本石川縣能美市,地區優美又遠離喧譁的環境,比起東京更適宜潛心研究。學校的簡稱為「JAIST」。
  • 國家留學基金委與日本北陸先端科學技術大學院大學合作獎學金選派...
    2021年國家留學基金管理委員會(以下簡稱國家留學基金委)將繼續與日本北陸先端科學技術大學院大學(以下簡稱JAIST)開展合作,選派具有較大發展潛力的優秀人才赴JAIST攻讀博士學位、碩士學位或從事研究工作。有關選派信息如下:  1.選派類別:訪問學者、博士後、博士研究生、碩士研究生。
  • 科研超強的奈良先端科學技術大學院大學
    在日本,本科階段稱為學部;研究生階段稱為大學院,對應中國的研究生院。日本的大學根據學校性質可以分為國立、公立和私立。國立大學是日本文部省(相當於國家教育部)直接設立的,公立大學由地方政府設立,私立大學是主要由民間資本所維持運營的大學。之前東進君為大家介紹過許多著名的日本國公立大學和私立大學。
  • 日本北陸先端科學技術大學申仲榮博士訪問福建物構所
    10月29日,日本北陸先端科學技術大學申仲榮博士應邀訪問中國科學院福建物質結構研究所,並作了題為「納米晶體的控制生長以及綠色器件的製備」的報告。   申仲榮博士現為日本北陸先端科學技術大學綠色器件研究中心的助理教授,長期從事綠色低成本製備納米材料及器件的應用研究,研究領域涉及到電子器件,燃料電池,太陽電池以及鋰電池等相關材料以及技術,在納米生長以及低成本的液相法合成納米器件方面做出了一系列創新性成果,在J. Am. Chem. Soc.
  • 日本北陸先端科技大學黨建武教授受聘為我校客座教授
    12月31日,日本北陸先端科技大學黨建武教授受聘儀式在我校友誼校區國際會議中心第二會議室舉行。黨建武是語音科學家,現兼任國立大學法人日本北陸先端科學技術大學院大學信息科學學院教授。1984-88年天津大學計算機科學與技術系任教;1988年赴日本國立靜岡大學大學院留學,92年獲得工學博士;1992-
  • 天津大學與日本北陸先端科學技術大學院大學舉行線上防疫物資捐贈...
    本站訊(通訊員 董會麗 攝影 唐蒙) 5月28日,天津大學與日本北陸先端科學技術大學院大學防疫物資捐贈儀式在網上舉行,共同見證兩校患難與共的深厚情誼。日本北陸先端科學技術大學院大學(JAIST)校長寺野稔、副校長飯田弘之、西山和德、水田博,天津大學校長、中國工程院院士金東寒,副校長胡文平出席捐贈儀式。JAIST信息學院、天津大學國際處、智算學部相關負責同志參加儀式,儀式由JAIST總務處長山本修主持。
  • 日本名校介紹——奈良先端科學技術大學院大學(翼搏教育原創)
    翼搏教育奈良先端科學技術大學院大學(Nara Institute of Science and Technology ),位於奈良縣生駒市高山町的日本國立大學,是於1991大學的簡稱為「NAIST」。奈良先端科學技術大學院大學,做為不設學部(本科)的大學院大學,於1991年起步,在有關情報、生物科學、物質創成科學等分野向國內外發表最先端的優秀研究成果的同時,不斷培養出優秀的人材。
  • 日本衝繩先端科學技術大學院大學是怎樣的存在
    先端科學技術大學院大學之「衝繩先端科學技術大學院大學」衝繩縣是日本最南端的一個行政區,風景宜人,有「日本的夏威夷」之稱。衝繩先端科學技術大學院大學(英文:Okinawa Institute of Science and Technology Graduate University ,簡稱:OIST)就誕生在在這座美麗的海島上。
  • 元英進率團訪問日本科研機構 調研WPI運行情況
    本站訊(通訊員 郭璟)受國家自然科學基金委的委託,4月2日至6日,天津大學副校長元英進率團訪問日本北陸先端科學技術大學(JAIST)、日本國立材料研究所(NIMS)等研究機構,深入調研日本世界頂級國際研究中心計劃(WPI)運行情況。科研院、變革性化學與未來技術研究院(分子+研究院)相關同志陪同訪問。
  • JAIST 北陸先端,比你想像的高端
    北陸先端科學技術大學院大學是一所什麼樣的大學呢,很多在國內的同學們應該都沒有聽說過。耳熟能聞的日本大學應該沒有超過15所。今天李老師來給大家科普一下。1.2.獎學金雖然遠,但是他是一所非常正宗的國立大學,授業費是統一的535800日元,還提供了種類豐富的獎學金(如下圖)3.
  • 日本考試的面試演講怎麼複習?致遠塾學員這樣做,一舉奪得北陸先端...
    盧同學,國內普通二本大學畢業生標籤:常州工學院 / 本科專業日語合格:北陸先端科學技術大學院大學 考試流程北陸沒有筆試,面試為30分鐘,前7分鐘根據提前做好的PPT介紹研究計劃。後23分鐘,教授根據研究計劃提問。面試前,找語言學校老師和班主任進行了幾次模擬面試,也得到了很多改進的建議,前後修改了很多次,所以雖然很緊張但是心裡也有底。面試北陸是3個老師面試,一個是相關研究室的教授。問的問題有關於研究計劃書展開的,比如對研究背景裡迄今存在的課題有什麼想法?
  • 冷門大學——奈良先端科學技術大學(NAIST)情報學研究科
    奈良先端科學技術大學院大學(NAIST)情報學研究科入試日本有三所特別的國立研究型大學院大學:北陸/奈良/衝繩先端科學技術大學院大學。他們的特點是沒有本科教育,擁有非常雄厚的科研資源且研究項目前沿、開放、交融性強。
  • 日本留學:冷門大學——衝繩科學技術大學院大學(OIST)
    衝繩科學技術大學院大學,(簡稱OIST),是一所經日本政府特殊立法(名為私立,實為中央政府出資補助),鉅額投資,於2011年在日本衝繩建立的高度國際化的精英大學院大學,致力於學術研究的最前沿。OIST校園位於衝繩島中部的恩納村,享有衝繩最優美的海景。
  • 2018年日本大學排名
    作為與QS、US News、ARWU軟科世界大學學術排名等各類全球大學排名地位相當的一項綜合性高校排名,THE在全球範圍的受關注度和公信力均首屈一指。引路留學的維波君今天帶你一起來看看《2018 THE日本大學最新排名》!
  • 致遠塾學員日本考試逆襲經歷:看普通二本生,如何靠勤奮拿下北陸先端
    羅同學,國內普通二本大學標籤:天津工業大學 / 日語專業合格:北陸先端科學技術大學大學院 知識マネジメント領域日本考試流程只有30分鐘的面試。其中7分鐘是用ppt來發表自己的研究計劃書,23分鐘是根據事前提交的小論文內容以及エントリーシート進行提問。
  • 日本考試經驗細談:從零開始,致遠塾學員拿下北陸先端學術範面試
    趙同學,國內普通二本大學畢業生標籤:天津工業大學 / 本科專業日語 / N1>合格:北陸先端科學技術大學院大學 知識管理研究科考試流程北陸的考試只有面試,時間是30分鐘。不要教授一問就すみません,那樣其他教授想幫你下臺都不好幫。
  • 留學夥伴們看看日本各地區都有哪些名校
    之前翔泰君介紹了日本考取大學的流程,常見問題以及熱門專業解析,今天翔泰君為夥伴們介紹一下日本各地區都有哪些名校呢?法政大學國際基督教大學東京理科大學學習院大學日本大學長崗造型大學都留文科大學長野大學北陸地區金澤大學北陸先端科學技術大學
  • 美國北卡大學教堂山分校Otto Zhou教授訪問深圳先進院
    應中國科學院深圳先進技術研究院院長樊建平邀請,10月8日至10日,著名碳納米管材料及碳基X射線光源成像專家、美國北卡羅來納大學教堂山分校(The University of North Carolina at Chapel Hill)Otto Zhou教授到該院進行學術交流,並向全院科研人員作了題為Nanotechnology enabled x-ray