Archive:

骑鹿人(DeerRIDER)个人简历

个人信息

骑鹿人(DeerRIDER),学名●●●,字崷枝,号末元狂士。AI专家,严肃作家,自由学者。●●●●年出生于●●●●。文学作品有《骑鹿杂言》《画中世界》等。

联系电话:●●●●●●●●●●●

E-mail: akiritsu@outlook.com

Github: akiritsu

个人主页:bcqlr.com; nagajamu.com 等

语言:中文,英语,台湾闽南语,日语

技术综述

主要研究方向约束学习方法,小样本学习及相关 AI 计算方法学,生物信息学

多范式编程者,软件开发不受特定语言、平台限制;精通约束式、函数式编程;熟悉声明式、命令式编程

兴趣领域

  • 理论计算机语言,类型论,范畴论,Lambda 演算,线程代数,形式语义学等
  • 形式化方法,自动定理证明
  • 理论计算机科学,包括数理逻辑,抽象代数等

履历

●●●● 年 ● 月:北京●●●●●●有限公司,高级AI算法工程师,代算法总监职,●●●●●●●●,●●●●●●

●●●● 年 ● 月:●●●●●●●●●●●●●●●●●,●●●●●●●●●

2015 年 10 月:于 Bilibili 直播平台以全胜战绩获得《黎明杀机》最高段位

●●●● 年 ● 月:●●●●●●●●有限公司,程序员,●●●● 年 ● 月离职

●●●● 年 ● 月:●●●●●●●●有限公司,实习软件测试员

2011 年 10 月:作为战队队长获得重庆新生杯《Dota》冠军,重庆高校杯《Dota》5-8 名

●●●● 年 ● 月:于重庆大学就读软件工程专业,2015 年 6 月获学士学位●●●●●●●●●●●●●,●●●●●●●●●●●●

项目

2019 年 6 月:pRoJEct-AcKSe,约束知识学习 AI 药物分子设计系统(共四期)

2019 年 6 月:pRoJEct-ZeXIv,个人项目,计算机科学及数学笔记工具(开发中)

2019 年 4 月:pRoJEct-NeGYa,个人项目,主页模板

2018 年 8 月:cslearner.cn,个人项目,计算机科学自学中文社区

●●●● 年 ● 月:●●●●●● ●●●●● ●●●●●●●●● ●●●●●●●●●● ●●● ●●●● ●●●●●●●●●● ●● ●●●●●●●●● ●●●●●●●●

●●●● 年 ● 月:●●●●●●●●●,项目组长,主导基于●●●●●●●●●●●●●●算法研究

●●●● 年 ● 月:●● ●●●●●●●●● ●●●●●,项目组长,●● ●●●●●●●●● ●●●●●●●●●●●●●●●

自评

热爱科学,自初中一年级起自学编程、游戏开发、理论物理学

生性淡泊名利,喜追求真理至道,挑战复杂的事情以获取愉悦的体验

喜欢为热爱的工作付出时间、精力,每天保持学习