队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
实时系统的形式验证、时序逻辑、形式化方法
三、学习经历
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年获国务院政府特殊津贴
七、代表论著
1．李广元,唐稚松.TranslatingaContinuous-TimeTemporalLogicintoTimedAutomata,ProceedingsofthefirstAsianSymposiumonProgrammingLanguagesandSystems(APLAS2003),LectureNotesinComputerScience2895,pp.322--338,Springer-Verlag,2003.
2．李广元,唐稚松.反应系统的连续时序逻辑表示和验证,计算机学报,26(11):1424—1434,2003.
3．李广元,唐稚松.ModelingReal-TimeSystemswithContinuous-TimeTemporalLogic,Proceedingsofthe4thInternationalConferenceonFormalEngineeringMethods(ICFEM2002),LectureNotesinComputerScience2495,pp231--236,Springer-Verlag,2002.
4．李广元,唐稚松.带有时钟变量的线性时序逻辑与实时系统验证,软件学报，13（1）：33—41,2002.
5．李广元，唐稚松.基于时序逻辑的实时系统模型检查，软件学报,13(2):193-202,2002.
6．李广元,唐稚松.ALinearTemporalLogicwithContinuousSemanticsforHybridSystems.ProceedingsoftheInternationalConferenceonSoftware:TheoryandPractice(ICS'2000)/the16thIFIPWorldComputerCongress,395--402,Beijing,August,2000.
7．李广元,唐稚松.FormalizationandVerificationofPointersintheTemporalLogicLanguageXYZ/EPrograms.JournalofSoftware,Vol.11,No.3,285--292,2000.
八、承担项目
