张亮聪
访问学者 · 4年经验 · 法国国家信息自动化研究所
0
累计接单
0
用户评价
0
被收藏
技术能力
本人系本硕博计算机科学与软件工程专业方向。研究生期间主要从事函数式编程，程序语言，程序分析与验证，程序语义分析。可计算理论，编译器设计与优化，类型系统，类型论，基于类型系统的静态分析，为程序员设计更加有效并且安全的编译器系统。在法国国家信息自动化研究所INRIA从事以上方面的研究。
项目经验
1. 协助优化定理证明工具Coq
2. 负责基于生成硬件语言程序的函数式编程语言Alpha工具的开发和维护
3. 从事函数式语言与一般命令式语言的区分对比与优化的工作，
主要采用形式化方法的方式进行程序分析与验证，提升程序员的开发效率以及
提高程序员开发产品的安全性，可靠性与鲁棒性。
2. 负责基于生成硬件语言程序的函数式编程语言Alpha工具的开发和维护
3. 从事函数式语言与一般命令式语言的区分对比与优化的工作，
主要采用形式化方法的方式进行程序分析与验证，提升程序员的开发效率以及
提高程序员开发产品的安全性，可靠性与鲁棒性。
案例展示
法国Inria Alpha，Coq工具
Coq主要是用来辅助对程序定理进行证明的非常强大的工具，Alpha语言以及AlphaZ工具主要是一款函数式编程语言，用于自动生成硬件语言VHDL程序，以及帮助程序能够更好的并行执行，提高程序的执行效率。我负责其中的一小部分的开发和维护等研究工作。
法国Inria AlphaZ，
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being d
法国Inria Alpha，
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being d
法国Inria Alpha，
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being d
立即沟通
