自動化量子程式形式驗證 – 規格語言和演算法設計
- 中央研究院深耕研究計畫核定通過名單 @ 學術及儀器事務處

計畫名稱(中)自動化量子程式形式驗證 – 規格語言和演算法設計的計畫主持人(中)是陳郁方, 組別是數理科學組, 研究所處中心是資訊科學研究所, 計畫編號是AS-IV-114-M07-ASSA, 西元年是2025, 執行期間(起)是2025/1/1, 執行期間(迄)是2029/12/31.

序號	195
西元年	2025
組別	數理科學組
研究所處中心	資訊科學研究所
計畫編號	AS-IV-114-M07-ASSA
計畫名稱(中)	自動化量子程式形式驗證 – 規格語言和演算法設計
計畫名稱(英)	Automated Quantum Program Verification – Specification Language and Algorithm Design
計畫主持人(中)	陳郁方
計畫主持人(英)	CHEN \| YU-FANG
職稱(中)	研究員
職稱(英)	Research Fellow
執行期間(起)	2025/1/1
執行期間(迄)	2029/12/31
備註	(空)

序號

195

西元年

2025

組別

數理科學組

研究所處中心

資訊科學研究所

計畫編號

AS-IV-114-M07-ASSA

計畫名稱(中)

自動化量子程式形式驗證 – 規格語言和演算法設計

計畫名稱(英)

Automated Quantum Program Verification – Specification Language and Algorithm Design

計畫主持人(中)

陳郁方

計畫主持人(英)

CHEN | YU-FANG

職稱(中)

研究員

職稱(英)

Research Fellow

執行期間(起)

2025/1/1

執行期間(迄)

2029/12/31

備註

(空)

根據識別碼 AS-IV-114-M07-ASSA 找到的相關資料

無其他 AS-IV-114-M07-ASSA 資料。

[ 搜尋所有 AS-IV-114-M07-ASSA ... ]

根據名稱資訊科學研究所找到的相關資料

(以下顯示 8 筆) (或要:直接搜尋所有 資訊科學研究所 ...)

OpenISDM (開放式災害管理資訊系統)	計畫主持人(中): 何建明 \| 李德財 \| 蕭景燈 \| 張韻詩 \| 計畫編號: AS-101-TP2-A01 \| 計畫主持人所屬單位(中): 中研院資訊科學研究所 \| 中研院資訊科學研究所 \| 中研院資訊科技創新研究中心 \| 中研院資訊科學研究所 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所 \| 中研院資訊科技創新研究中心 \| 國立成功大學規劃與設計學院 \| 國立台灣師範大學地理學系 \| 國立成功大學都市計劃學系 \| 中研院環境變遷研究中心 \| 中央氣象局氣象科技研究... \| 西元年: 2011 \| 執行期間(起): 2012-01-01 \| 執行期間(迄): 2012-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
智慧型手機應用育成平台：開發平台、社群資料探勘、及感測技術	計畫主持人(中): 林一平 \| 易志偉 \| 曾煜棋 \| 彭文志 \| 陳伶志 \| 梁家銘 \| 計畫編號: AS-102-TP-A06 \| 計畫主持人所屬單位(中): 中研院資訊科學研究所 \| 國立交通大學資訊工程學系 \| 中研院資訊科技創新研究中心 \| 國立交通大學資訊工程學系 \| 中研院資訊科學研究所 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所 \| 國立交通大學資訊工程學系 \| 中研院資訊科技創新研究中心 \| 西元年: 2012 \| 執行期間(起): 2013-01-01 \| 執行期間(迄): 2015-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
普通型高中數理及資訊學科能力競賽培養明日之星	刊登日期: 2025-01-07 \| 書籤: 政策 \| 內容: 為了提高學生對基礎科學及資訊研究的興趣，教育部國教署舉辦「113學年度普通型高級中等學校數理及資訊學科能力競賽」，決賽已於去年12月陸續在北、中、南共4所大學舉辦完畢，全國共有299位學生參與決賽，各... @ 國立教育廣播電臺文教新聞(即時)
國民身分識別、戶籍管理與身分證的晶片數位化	creator: 邱文聰 \| date: 2020-07-29 \| contributor: 法律學研究所 \| language: zh \| description.note: 已出版;沒有審查制度 \| relation: 數位世代下的國民身分證與身分識別研討會 (台北：中央研究院 : 中央研究院法律學研究所資訊法中心、中央研究院資訊科學研究所、中央研究院社會學研究所、中央研究院資訊科技創新研究中心、台灣人權促進會、開放... \| type: conference @ 中央研究院研討會論文目錄
府中15館慶影展「未來城市」 AI新紀元打頭陣	訊息發送時間: 2019/12/11T15:29:34.0 \| 發布者單位: 文化局 \| 發布者姓名: 曾翊涵 \| 發布者電話: \| 公告內容: 【新北市訊】府中15八週年館慶影展「未來城市」，歡迎市民來府中看電影。今(11)日《AI新紀元》特映，邀請臺灣頂尖「人工智慧音樂」研究學者中研院蘇黎助研究員，為觀眾分享臺灣社會如何與人工智慧接軌，12... @ 新北市政府新聞稿_下載附件版
OpenISDM開放式災害管理資訊系統	計畫主持人(中): 何建明 \| 蕭景燈 \| 張韻詩 \| 計畫編號: AS-102-SS-A04 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所 \| 中研院資訊科技創新研究中心 \| 國立成功大學都市計畫學系 \| 國立臺灣師範大學地理學系 \| 中研院環境變遷研究中心 \| 交通部中央氣象局氣象科技研究中心 \| 中研院地球科學研... \| 西元年: 2013 \| 執行期間(起): 2012-01-01 \| 執行期間(迄): 2014-12-31 @ 中央研究院永續科學研究計畫核定通過名單
果蠅大腦嗅覺運算	計畫主持人(中): 黃文良 \| 簡正鼎 \| 計畫編號: AS-102-TP-B09 \| 計畫主持人所屬單位(中): 中研院資訊科學研究所 \| 中研院分子生物研究所 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所 \| 中研院分子生物研究所 \| 國立清華大學生物科技研究所 \| 東海大學物理系 \| 中研院細胞與個體生物學研究所 \| 國立陽明大學神經科學研究所 \| 國立清華大學電機工程系 \| 國... \| 西元年: 2012 \| 執行期間(起): 2013-01-01 \| 執行期間(迄): 2015-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
善用巨量開放資料與互聯網於強化災防應對與社區復原能力	計畫主持人(中): 何建明 \| 張韻詩 \| 李德財 \| 施吉昇 \| 計畫編號: AS-105-SS-A03 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所 \| 國立臺灣大學資訊工程學系 \| 亞洲大學 \| 國立成功大學都市計劃學系 \| 國立台灣師範大學地理系 \| 中研院地球科學研究所 \| 中央氣象局地震測報中心地震監測課 \| 中研院歷... \| 西元年: 2016 \| 執行期間(起): 2016-01-01 \| 執行期間(迄): 2018-12-31 @ 中央研究院永續科學研究計畫核定通過名單

OpenISDM (開放式災害管理資訊系統)

@ 中央研究院主題研究計畫核定通過名單

智慧型手機應用育成平台：開發平台、社群資料探勘、及感測技術

@ 中央研究院主題研究計畫核定通過名單

普通型高中數理及資訊學科能力競賽培養明日之星

刊登日期: 2025-01-07 | 書籤: 政策 | 內容: 為了提高學生對基礎科學及資訊研究的興趣，教育部國教署舉辦「113學年度普通型高級中等學校數理及資訊學科能力競賽」，決賽已於去年12月陸續在北、中、南共4所大學舉辦完畢，全國共有299位學生參與決賽，各...

@ 國立教育廣播電臺文教新聞(即時)

國民身分識別、戶籍管理與身分證的晶片數位化

@ 中央研究院研討會論文目錄

府中15館慶影展「未來城市」 AI新紀元打頭陣

訊息發送時間: 2019/12/11T15:29:34.0 | 發布者單位: 文化局 | 發布者姓名: 曾翊涵 | 發布者電話: | 公告內容: 【新北市訊】府中15八週年館慶影展「未來城市」，歡迎市民來府中看電影。今(11)日《AI新紀元》特映，邀請臺灣頂尖「人工智慧音樂」研究學者中研院蘇黎助研究員，為觀眾分享臺灣社會如何與人工智慧接軌，12...

@ 新北市政府新聞稿_下載附件版

[ 搜尋所有 資訊科學研究所 ... ]

根據姓名陳郁方找到的相關資料

(以下顯示 8 筆) (或要:直接搜尋所有 陳郁方 ...)

字串型態的使用者行為分布建模	作者: 陳彥杰 \| 指導教授: 溫演福陳郁方 \| 學位類別: 碩士 \| 畢業學年度: 106 \| 論文名稱(外文): Distribution of User Behavior in String Type Modeling \| 系所名稱: 資訊管理研究所 \| 學校名稱: 國立臺北大學 @ 國家圖書館臺灣博碩士論文知識加值系統
芸香苷經由不同機制延緩乙烯誘導的甘藷葉片老化過程	作者: 陳郁方 \| 指導教授: 陳顯榮 \| 學位類別: 碩士 \| 畢業學年度: 107 \| 論文名稱(外文): Rutin Alleviates Ethephon-Induced Leaf Senescence via Multiple Diverse Mechanisms in Sweet Potato \| 系所名稱: 生物科學系研究所 \| 學校名稱: 國立中山大學 @ 國家圖書館臺灣博碩士論文知識加值系統
優信人資管理顧問有限公司(陳郁方)	處分日期: 20200814 \| 罰鍰金額: 40000 \| 公告日期: 20201021 \| 處分字號: 新北府勞檢字第1094788252號 \| 違反法規內容: 工資未定期給付勞工或未提供勞工工資各項目計算方式明細 @ 違反勞動法令事業單位-勞動基準法
觀賞者之環境態度建構初探——以海洋環境保護影片為例	作者: 陳郁方 \| 指導教授: 方偉達 \| 學位類別: 碩士 \| 畢業學年度: 110 \| 論文名稱(外文): The construction of environmental attitudes of viewers–a case study of marine environmental movie cl... \| 系所名稱: 環境教育研究所 \| 學校名稱: 國立臺灣師範大學 @ 國家圖書館臺灣博碩士論文知識加值系統
賴珮玲 \| 邱昭軒 \| 許英倫 \| 陳郁方	得獎專利名稱: 萃取裝置與萃取方法 \| 獎項別: 發明金 \| 年度: 111 @ 國家發明創作獎得獎名單
陳郁方	職稱: 監察人 \| 持有股份數: 0 \| 所代表法人: \| 優耐精密工業股份有限公司 \| 統一編號: 16864229 @ 董監事資料集
陳郁方	職稱: 董事 \| 持有股份數: 1591468 \| 所代表法人: \| 慶發漁具工廠股份有限公司 \| 統一編號: 91511425 @ 董監事資料集
陳郁方	聘書職級: 教授 \| 專兼任: 兼任 \| 單位名稱: 資訊管理研究所 \| 學校名稱: 國立臺北大學 \| 教師專長: 軟件驗證，模型檢測，自動機理論，演算式機器學習 @ 大學校院教師學術專長彙整表

字串型態的使用者行為分布建模

@ 國家圖書館臺灣博碩士論文知識加值系統

芸香苷經由不同機制延緩乙烯誘導的甘藷葉片老化過程

@ 國家圖書館臺灣博碩士論文知識加值系統

優信人資管理顧問有限公司(陳郁方)

處分日期: 20200814 | 罰鍰金額: 40000 | 公告日期: 20201021 | 處分字號: 新北府勞檢字第1094788252號 | 違反法規內容: 工資未定期給付勞工或未提供勞工工資各項目計算方式明細

@ 違反勞動法令事業單位-勞動基準法

觀賞者之環境態度建構初探——以海洋環境保護影片為例

@ 國家圖書館臺灣博碩士論文知識加值系統

賴珮玲 | 邱昭軒 | 許英倫 | 陳郁方

得獎專利名稱: 萃取裝置與萃取方法 | 獎項別: 發明金 | 年度: 111

@ 國家發明創作獎得獎名單

陳郁方

職稱: 監察人 | 持有股份數: 0 | 所代表法人: | 優耐精密工業股份有限公司 | 統一編號: 16864229

@ 董監事資料集

陳郁方

職稱: 董事 | 持有股份數: 1591468 | 所代表法人: | 慶發漁具工廠股份有限公司 | 統一編號: 91511425

@ 董監事資料集

陳郁方

聘書職級: 教授 | 專兼任: 兼任 | 單位名稱: 資訊管理研究所 | 學校名稱: 國立臺北大學 | 教師專長: 軟件驗證，模型檢測，自動機理論，演算式機器學習

@ 大學校院教師學術專長彙整表

[ 搜尋所有 陳郁方 ... ]

姓名陳郁方找到的公司登記或商業登記

(以下顯示 1 筆) (或要:查詢所有陳郁方)

公司地址	負責人	統一編號	狀態
謙順企業高雄市橋頭區南溝路金福一巷5號1樓	陳郁方	85479448	核准設立 - 獨資 (核准文號: 10960083000)

謙順企業

登記地址: 高雄市橋頭區南溝路金福一巷5號1樓 | 負責人: 陳郁方 | 統編: 85479448 | 核准設立 - 獨資 (核准文號: 10960083000)

在『中央研究院深耕研究計畫核定通過名單』資料集內搜尋:

與自動化量子程式形式驗證 – 規格語言和演算法設計同分類的中央研究院深耕研究計畫核定通過名單

連結珊瑚和共生內生桿菌之代謝互聯網	計畫主持人(中): 湯森林 \| 組別: 生命組 \| 研究所處中心: 生物多樣性研究中心 \| 計畫編號: AS-IA-109-L05 \| 西元年: 2020 \| 執行期間(起): 2020/1/1 \| 執行期間(迄): 2024/12/31 \| 備註: NULL
以異源合成生物學策略合成高生物活性非天然天然化合物	計畫主持人(中): 李宗璘 \| 組別: 生命組 \| 研究所處中心: 基因體中心 \| 計畫編號: AS-IA-109-L06 \| 西元年: 2020 \| 執行期間(起): 2020/1/1 \| 執行期間(迄): 2024/12/31 \| 備註: NULL
媒介與感性：戰後台灣文學的姿態	計畫主持人(中): 李育霖 \| 組別: 人文組 \| 研究所處中心: 中國文哲研究所 \| 計畫編號: AS-IA-109-H01 \| 西元年: 2020 \| 執行期間(起): 2020/1/1 \| 執行期間(迄): 2024/12/31 \| 備註: NULL
台灣所得與財富大數據資料的建構與分析	計畫主持人(中): 朱敬一 \| 組別: 人文組 \| 研究所處中心: 經濟研究所 \| 計畫編號: AS-IA-109-H02 \| 西元年: 2020 \| 執行期間(起): 2020/1/1 \| 執行期間(迄): 2024/12/31 \| 備註: NULL
帝國的處方：十九世紀西方醫學在中國	計畫主持人(中): 李尚仁 \| 組別: 人文組 \| 研究所處中心: 歷史語言研究所 \| 計畫編號: AS-IA-109-H03 \| 西元年: 2020 \| 執行期間(起): 2020/1/1 \| 執行期間(迄): 2024/12/31 \| 備註: NULL
史瑞克、柏格曼核的漸進展開與幾何量化	計畫主持人(中): 蕭欽玉 \| 組別: 數理組 \| 研究所處中心: 數學研究所 \| 計畫編號: AS-IA-110-M01 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
量子密碼學的理論研究	計畫主持人(中): 鐘楷閔 \| 組別: 數理組 \| 研究所處中心: 資訊科學研究所 \| 計畫編號: AS-IA-110-M02 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
人為氣膠金屬對海洋浮游植物生態系的衝擊	計畫主持人(中): 何東垣 \| 組別: 數理組 \| 研究所處中心: 環境變遷研究中心 \| 計畫編號: AS-IA-110-M03 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
在不同尺度下研究奈米材料與細胞的作用機制	計畫主持人(中): 陳培菱 \| 組別: 數理組 \| 研究所處中心: 應用科學研究中心 \| 計畫編號: AS-IA-110-M04 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
高維度統計方法及其在低溫電顯影像之異質結構分析的應用	計畫主持人(中): 杜憶萍 \| 組別: 數理組 \| 研究所處中心: 統計科學研究所 \| 計畫編號: AS-IA-110-M05 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
纖毛蟲與綠藻共生的分子機制	計畫主持人(中): 呂俊毅 \| 組別: 生命組 \| 研究所處中心: 分子生物研究所 \| 計畫編號: AS-IA-110-L01 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
結構解析粒線體內氧化損傷的核糖核酸之降解機制與疾病關係	計畫主持人(中): 袁小琀 \| 組別: 生命組 \| 研究所處中心: 分子生物研究所 \| 計畫編號: AS-IA-110-L02 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
限氧生長環境下大腸桿菌RNA 降解與能量生成的協同機制	計畫主持人(中): 林淑端 \| 組別: 生命組 \| 研究所處中心: 分子生物研究所 \| 計畫編號: AS-IA-110-L03 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
探討胞外網狀結構在PM2.5引發之氣喘中活化肺部先天性淋巴細胞之機轉	計畫主持人(中): 張雅貞 \| 組別: 生命組 \| 研究所處中心: 生物醫學科學研究所 \| 計畫編號: AS-IA-110-L04 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL
計量經濟學的新發展	計畫主持人(中): 許育進 \| 組別: 人文組 \| 研究所處中心: 經濟研究所 \| 計畫編號: AS-IA-110-H01 \| 西元年: 2021 \| 執行期間(起): 2021/1/1 \| 執行期間(迄): 2025/12/31 \| 備註: NULL

自動化量子程式形式驗證 – 規格語言和演算法設計 - 中央研究院深耕研究計畫核定通過名單 @ 學術及儀器事務處

序號

西元年

組別

研究所處中心

計畫編號

計畫名稱(中)

計畫名稱(英)

計畫主持人(中)

計畫主持人(英)

職稱(中)

職稱(英)

執行期間(起)

執行期間(迄)

備註

在『中央研究院深耕研究計畫核定通過名單』資料集內搜尋:

與自動化量子程式形式驗證 – 規格語言和演算法設計同分類的中央研究院深耕研究計畫核定通過名單

自動化量子程式形式驗證 – 規格語言和演算法設計
- 中央研究院深耕研究計畫核定通過名單 @ 學術及儀器事務處