李廣元[中科院軟體所研究員]

李廣元男 、 副研究員,主要研究方向“實時系統的形式驗證、時序邏輯、形式化方法”

學習經歷

1. 1978.10-1980.10 鹹陽師專數學系

2. 1985.9-1987.7 陝西教育學院數學系

3. 1987.9-1990.7 貴州大學數學系碩士研究生

4. 1998.3-2001.6 中科院軟體所博士研究生

工作經歷

1. 1980.10-1985.8 陝西省乾縣楊洪中學教師

2. 1990.9-1993.6 陝西師範大學計算機系教師

3. 1993.7-1998.2 貴州大學計算機理論研究所副教授

4. 2001.7-- 中科院軟體所計算機重點實驗室副研究員

研究成果與獲獎情況

主持/參與過的項目:

1. 實時與混成系統的模型檢查(2001AA113200),863項目,2001.10--2003.12

2. 基於XYZ/E的可視化軟體體系結構描述語言研究(60073020), 國家自然科學基金,2001.1-2004.12

3. 基於XYZ系統的宇宙飛船實時控制系統的逐步求精過程的描述與驗證(863-306-02-04-01),863項目,1998.12~2000.12

主要學術成果及獲獎經歷:

a) 1992年獲貴州省科技進步一等獎(排名第二)

b) 1995年獲貴州省科技進步三等獎(排名第一)

c) 1997年獲國務院政府特殊津貼

代表論著

李廣元,唐稚松.反應系統的連續時序邏輯表示和驗證,計算機學報,26(11): 1424—1434, 2003.

李廣元, 唐稚松. 帶有時鐘變數的線性時序邏輯與實時系統驗證,軟體學報, 13(1):33—41, 2002.

李廣元,唐稚松.基於時序邏輯的實時系統模型檢查,軟體學報, 13(2): 193-202, 2002.

李廣元, 唐稚松. Formalization and Verification of Pointers in the Temporal Logic Language XYZ/E Programs. Journal of Software, Vol.11, No.3, 285--292, 2000.

相關詞條

熱門詞條

聯絡我們