李廣元男 、 副研究員，主要研究方向“實時系統的形式驗證、時序邏輯、形式化方法”
基本介紹
- 中文名：李廣元
- 職業：中科院軟體所研究員
- 畢業院校：鹹陽師專
- 主要成就：1992年獲貴州省科技進步一等獎
學習經歷,工作經歷,研究成果與獲獎情況,代表論著,
學習經歷
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.
