个人信息
  • 姓名: 沈梅杰
  • 联系电话: 181 3126 9306
  • E-mail: akiritsu@outlook.com
  • Gitlab & Github: akiritsu
  • 个人网站: nekiri.com; nagajamu.com; bcqlr.com
技术综述
  • 程序设计
    • 函数式编程:Scheme,Common Lisp,Racket(精通)
    • 基于约束的程序设计:Java,Scheme(精通)
    • 面向对象编程:Python,Java,Object Pascal(熟悉)
    • 声明式编程:Haskell,Prolog(熟悉)
    • 其他:Shell,RGSS(基础)
  • Web前端开发
    • Java EE,Spring,Hibernate,Struts(熟悉)
    • Jekyll,Bootstrap,JQuery(熟悉)
  • 人工智能计算方法学
    • 统计机器学习(熟悉)
    • 数据科学理论基础(精通)
    • 自动定理证明:Coq & Gallina(基础)
  • 通用计算方法学
    • 布尔函数操作(精通)
    • 基于约束的调度编程(精通)
    • 决策问题及决策算法(基础)
  • 理论计算机科学及其数学基础
    • 证明论,递归论,类型论,范畴论(熟悉),Lambda演算,线程代数(基础)
教育信息
  • 2011 年 9 月 - 2015 年 6 月:重庆大学,软件工程专业学士
  • 2017 年 2 月 - 2017 年 10 月,2018 年 7 月 - 2018 年 10 月:墨尔本大学,计算机科学专业硕士(休学)
项目经验
  • 2013 年 9 月 - 2013 年 12 月:基于 Openstack 的云实验室,项目组长,主导 Openstack 的部署及实验室工具开发
  • 2014 年 1 月 - 2015 年 2 月:下一代学生信息系统,项目成员,主导基于约束的排课系统的 AI 算法研究
  • 2017 年 7 月 - 2018 年 10 月:Hybrid ROBBD Manipulation Algorithms and It’s Application in Groundness Analyzer
  • 2018 年 10 月: 建立csleaner.cn
工作信息
  • 2013 年 7 月 - 2013 年 8 月: 保定天威新域科技有限公司,(实习)软件测试员
  • 2015 年 7 月 - 2016 年 10 月: 保定金博软件科技有限公司,程序员
自我评价
  • 热爱计算机科学,初中开始自学编程语言和游戏制作引擎;大学期间作为项目组长参与多个技术项目的核心工作;活跃于多个技术社区;保持自学,关注前沿学术动态
  • 丰富的教材编写和英文翻译经验;优秀的理性思考和逻辑思维能力,良好的身心素质;业余作家,可使用汉语,英语,日语,台湾闽南语


下载pdf版本