中文版
English
副研究員  |  穆信成  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Research Grants
 

與院內合作之計畫

資訊所
編號 年度 計劃名稱 主持人 協同主持人 類別
12017/01符應社會歸責之資料二次使用隱私框架-穆信成穆信成  主題研究與人才培育

與院外合作之計畫

資訊所
編號 起迄年月 計劃編號 計劃名稱 主持人 協同主持人 補助單位
12019/08–2020/07MOST108-2221-E-001-005共時程式之型別系統與邏輯基礎  穆信成
 科技部
22018/08–2019/07MOST107-2221-E-001-003多重單子副作用之性質推理 穆信成
 科技部
32017/08–2018/10MOST106-2221-E-001-001單子程式之代數推導 穆信成
 科技部
42016/08–2017/10MOST105-2221-E-001-022單子式副作用處理之代數性質推理 穆信成
 科技部
52015/08–2016/10MOST104-2221-E-001-004以模組化資料結構實現單子式副作用處理 穆信成
 科技部
62012/08–2013/07NSC101-2221-E-001-005形式化程式建構、分析、驗證之方法與應用-子計畫一:並行程式正確性之靜態型別檢驗(I) 穆信成
 國科會
72011/08–2012/07NSC100-2221-E-001-003以依值型別與對話型別確保並行程式之正確性 穆信成莊庭瑞
 國科會
82008/08–2011/10NSC97-2221-E-001-003-MY3程式之模組性與擴充性:驗證方法與工具-總計畫 莊庭瑞穆信成、王柏堯
 國科會
92008/08–2011/07NSC97-2221-E-001-005-MY3程式之模組性與擴充性:驗證方法與工具-子計畫二:模組化、可擴充之依賴形態程式設計典範 穆信成莊庭瑞
 國科會
102008/08–2011/07NSC97-2221-E-001-004-MY3程式之模組性與擴充性:驗證方法與工具-子計畫ㄧ:ML程式語言的模組化驗證 莊庭瑞穆信成
 國科會
112007/08–2008/07NSC96-2221-E-001-013一個有反函數功能的函數程式語言 穆信成
 國科會
 
 
bg