唐人阁论坛2025,51品茶楼平台官网,老哥稳论坛官网登录入口,51风楼阁官网登录入口怎么登录

个人简介：

2008.08—2010.08 美国密西根州立大学数学系博士后兼讲师

2010.08—2011.10 电子科技大学计算机学院任教，副教授、硕士生导师

2011.10—2017.05 中国科学院重庆绿色智能技术研究院自动推理与认知中心副主任、副研究员、硕士生导师

2017.05— 中国科学院重庆绿色智能技术研究院自动推理与认知中心主任、研究员、博士生导师。

主持完成国家自然科学基金2项，中国科学院西部之光联合学者项目1项，中国科学院前沿重点项目1项，重庆市科委等省部级项目共8项。

曾担任全国计算机数学第6届会议组织委员会主席，第11届程序委员会副主席，国际SNC14会议程序委员会委员等学术职务。目前担任SCI期刊JSSC编委，美国数学杂志Math Review评论员，中国数学会计算机数学专委会委员、美国Math Review专业评论员。2022年入选重庆英才创新领军人才。

近年来，先后在FoCM、TCS、MathComp、ISSAC、SIAM、CAGD、中国科学、软件学报等期刊发表SCI/EI论文40余篇，发明专利7项。

主要研究方向：符号数值混合计算、格密码与隐私?；せ餮?、自动推理