layout: false ---
李晨曦
ayanamists@gmail.com · (+86) 156-6276-4761 ·
教育背景
中山大学, 广州 2018 至今
在读学士 网络空间安全
实习/项目经历
字节跳动 北京 2021 7 2021 8
实习 软件工程师
移动端跨平台框架开发
为基于 babel 的编译器构建单元测试
参与类似于 React Devtool 的调试工具开发
AyaSEditor 2020 10 至今
TypeScript, vscode 个人项目
vscode 插件,支持了在 vscode 下对 scheme 系语言的编辑
主要实现了类似于 DrRacket 的自动缩进特性
400 余次下载量
AyaScheme 2021 2 至今
F#, C# 个人项目
一个基于印第安纳大学 P432 课程的 scheme 编译器
编译到二进制后直接加载到内存中执行,支持 REPL
实现了对简单表达式的编译,由于其他部分涉及 GC 系统,暂时没有继续开发
利用 FsCheck 对图染色等算法进行基于性质的自动测试
IT 技能
编程语言: 不局限于任何一种语言,可以使用 SchemeRacketHaskellF# 等函数式语言,CC++
javaC#javascriptkotlinrubypythobn 等命令式语言,对基于直觉主义类型论的证明语言,
CoqF* 等,也可做简单应用
平台: Linux \Windows \MacOSX
开发: Android 开发,web 开发
工具:掌握 git 基本使用与开发规范
所学课程
95 , 第一名, 图论及其应用 2020 9 -2021 1
98 , 第一名, 信息安全数学基础 2020 3 -2020 7
97 , 第一名, 数据结构与算法 2019 9 -2020 1
助教, Haskell 函数程序设计基础 2021 2 -2021 7
其他
技术博客: https://ayanamists.xyz
GitHub: https://github.com/ayanamists
语言: 英语 - 大学英语六级