张亮聪
访问学者
- 公司信息：
- 法国国家信息自动化研究所
- 工作经验：
- 4年
- 兼职日薪：
- 500元/8小时
- 兼职时间：
- 下班后
- 周六
- 周日
- 可工作日远程
- 可工作日驻场（自由职业原因）
- 所在区域：
- 上海
- 普陀
技术能力
本人系本硕博计算机科学与软件工程专业方向。研究生期间主要从事函数式编程，程序语言，程序分析与验证，程序语义分析。可计算理论，编译器设计与优化，类型系统，类型论，基于类型系统的静态分析，为程序员设计更加有效并且安全的编译器系统。在法国国家信息自动化研究所INRIA从事以上方面的研究。
项目经验
1. 协助优化定理证明工具Coq
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
相似人才推荐
-
500元/天测试工程师网易概要：1.熟练掌握软件测试理论，具有较强的测试方案设计、测试用例设计、测试执行能力、bug 跟进与管理能
-
500元/天软件工程师恒生电子股份有限公司概要：熟悉软件测试流程，掌握测试理论和方法，能根据项目特点制定测试方案，设计高效的测试方法、测试用例并执行
-
500元/天硬件工程师多场低温科技概要：1. **Python实现硬件程序控制** - 学习高级Python库，如PySerial用
-
500元/天自动化框架师阿里 电信 万达概要：1.参与产品需求评审，根据需求评审结果确定测试方案，制定测试计划，编写测试用例，从测试角度帮 助提升
-
500元/天软件测试工程师福建新大陆支付技术有限公司概要：熟悉测试理论，测试方法，测试流程以及常用的测试文档的编写，如编写测试计划、测试用例，报告； 熟悉软
-
500元/天测试工程师电信研究院概要：1、熟悉软件测试流程 ，会独立编写测试计划、测试要点、测试用例、测试报告等； 2、熟悉缺陷处理流程
-
500元/天软件测试上海浩斌信息科技有限公司概要：1、拥有良好的Python、Java的编程基础，并能进行测试脚本的编写。 2、熟悉接口自动化测试，
-
500元/天中级测试工程师 产品经理无概要：1、从事软件测试8年，功能测试、安全测试、接口测试、验收测试、性能测试都做。 2、从事行业软件/硬
