 |
孙家广
中国工程院院士，清华大学教授、博士生导师
手机：
 微信：
邮箱：
 驻地：
|
详细介绍
孙家广
中国工程院院士，清华大学教授、博士生导师
个人履历：
孙家广：男，1946年1月出生，江苏镇江人，软件及应用领域专家，中国工程院院士，清华大学教授、博士生导师，国家企业信息化应用支撑软件工程技术研究中心主任，大数据系统软件国家工程研究中心主任，清华大学学术委员会副主任，国家级有突出贡献的中青年专家，北京市优秀教师。曾任第十二届全国人大代表、教科文卫委员会委员。1970年从清华大学自控系毕业并留校任教；1977年至1978年在日本伊藤忠商社工作；1985年至1986年在美国加利福尼亚大学洛杉矶分校做访问学者；1986年至1987年担任美国硅谷IDVIEW公司总工程师；1990年晋升为清华大学教授；1991年至1992年在美国惠普公司工作；1999年当选为中国工程院院士；2001年担任清华大学软件学院院长；2006年至2016年担任清华大学信息科学技术学院院长；2008年担任第六届国家自然科学基金委员会副主任；2017年出任大数据系统软件国家工程实验室首任主任；2018年出任清华大学大数据研究中心首任主任。孙家广院士长期从事计算机图形学、计算机辅助设计、软件系统建模、分析与验证及软件工程与系统的教学、研究、开发。研制了有中国知识产权的二维CAD系统、三维产品造型核心平台、产品数据全生命周期管理系统及企业信息化集成系统（EIS）等大型软件，并在数百家大中型企业中得到应用；在国内外核心学术期刊和重要国际学术会议发表论文200余篇，其中EI收录75篇，SCI收录35篇，作为第一作者著书4本。先后获得国家、部委科技进步奖15项，其中作为第一完成人获国家科技进步二等奖1项、三等奖2项，部委科技进步一等奖1项、二等奖5项 。荣获“中国软件产业40年功勋人物”。
论文代表：
Building Dynamic System Call Sandbox with Partial Order Analysis,Proceedings of the ACM on Programming Languages,10.1145/3622842；
Automatic Integer Error Repair by Proper-Type Inference,IEEE Transactions on Dependable and Secure Computing,10.1109/TDSC.2019.2913862;
Code Synthesis for Dataflow Based Embedded Software Design,IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
10.1109/TCAD.2021.3055487;
Apache IoTDB: time-series database for internet of things,Proceedings of the VLDB Endowment,10.14778/3415478.3415504;
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation,ACM Transactions on Computer Systems,
10.1145/3078623;
Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms,Information Security Iet,10.1049/iet-ifs.2009.0039;
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker,IEEE Transactions on Software Engineering,10.1109/TSE.2019.2956932;
Vulnerable Code Clone Detection for Operating System through Correlation Induced Learning,IEEE Transactions on Industrial Informatics,10.1109/TII.2019.2929739;
Parallelizing SMT solving: Lazy decomposition and conciliation,Artificial Intelligence,10.1016/j.artint.2018.01.001;
Tolerating C Integer Error via Precision Elevation,IEEE Transactions on Computers,10.1109/TC.2018.2866388.
著作代表：
《计算机图形学》，作者：孙家广，清华大学出版社1998年09月出版。
讲座主题：
《大数据互联网+》
邀请老师演讲、授课请致电：19821197419 阎老师[微信同号]
免责声明：以上内容（包括文字、图片、视频）为用户上传并发布，本平台仅提供信息存储服务。如涉及版权问题，请联系我们并提供版权证明，我们将立即删除！
