个人简历

English | 简体中文

# JM233333 (刘瀚之)

南京大学计算机系在读博士研究生（计算机软件研究所 SPAR (opens new window) 小组）

导师：蒋炎岩老师 (opens new window) 和许畅教授 (opens new window)

电邮：jm233333@outlook.com

超过 48 小时未回复 $\rArr$ 我遗漏或未收到邮件，您可尝试重发

# 教育和工作经历

2022.9 至今：博士生在读，南京大学计算机科学与技术系，计算机软件研究所，导师是蒋炎岩老师 (opens new window) 和许畅教授 (opens new window) 。
2020.9 - 2022.9：硕士研究生，南京大学计算机科学与技术系，计算机软件研究所，导师是蒋炎岩老师和许畅教授。
2019.6 - 2019.8：客户端开发实习生，腾讯，平台与内容事业群，社交娱乐产品部。
2016.9 - 2020.6：工学学士学位，西安交通大学计算机科学与技术系。
2013.9 - 2016.6：高中，深圳实验学校高中部。

# 研究兴趣

复杂软件系统的测试
操作系统

# 荣誉和奖项

# 程序设计竞赛奖项

2018 年 ACM-ICPC 亚洲区域赛焦作站金奖
2018 年 ACM-ICPC 亚洲区域赛西安站 EC-Final 银奖
2018 年 ACM-ICPC 亚洲区域赛南京站银奖
2018 年 CCPC 中国大学生程序设计竞赛吉林站银奖
2017 年 ACM-ICPC 亚洲区域赛西安站铜奖

# 个人荣誉

2020 届西安交通大学南洋书院优秀毕业生
2019 年度 CCF 优秀大学生奖

# 奖学金

2019 年西安交通大学陆诗娣一等奖学金
2018 年西安交通大学陆诗娣二等奖学金

# 工程项目

# 长期维护的项目

基于 AM 的 xv6 移植（未公开） : 将 xv6 (opens new window) 操作系统移植到硬件抽象层 AbstractMachine (opens new window) 上。

查看细节

此项目在蒋炎岩老师 (opens new window) 的指导下推进。
基于 AbstractMachine (opens new window) 实现，这是一个最小化的、模块化的、独立于机器环境的硬件抽象层。
此移植工作对于我们未来的研究工作而言是有价值的，包括基于硬件抽象层对操作系统进行测试和分析，等等。

Data Structure Visualizer (opens new window) ：一个用 JavaFX 实现的 PC 桌面应用程序，提供算法和数据结构的可视化、交互控制，以及强大的可定制特性。

查看细节

最初被设计作为课堂教学的辅助工具，学生和教师都可以利用此工具并从中受益。
提供图形化显示、单步动画演示和与之同步的代码跟踪。
为用户自定义扩展提供了方便的支持。程序员仅仅需要对 Java 语法有基本的了解，并且遵守一些预设的规则，即可进行定制。
支持对可视化的数据结构进行批处理操作。

个人博客 (opens new window) ：基于 Hexo (opens new window) 构建的静态博客网站，总计已近 百万字 ，其中包括大量独立撰写的原创技术文章。

查看细节

计算机基础知识的教程，包括编程语言基础 (C/ C++)，算法和数据结构，图论，等等。
程序设计题目的详细题解，包括 LeetCode 和一些算法竞赛的题目。
其它计算机技术知识分享的文章。

# 已关闭的项目

骨骼动画重定向技术的基本实现 (2019) ：腾讯实习期间参与完成的工作。该项目归腾讯所有。

查看细节

该技术基于开源 3D 引擎 three.js (opens new window) 实现。
运用计算机图形学、3D 数学、骨骼动画等方面的基础知识。
该技术的基本原理并不困难，但实用的实现面临诸多挑战。该技术在社区内已有成熟的商业实现，但并不适用于小组内的工程，所以需要重新实现。
其意义包括但不限于：减少美术的工作量、便于更新和维护动画数据、节约上层应用的空间资源，等等。
此项目已经移交给腾讯。

挑战云 (2018) ：西安交通大学学生社团“挑战网”自己的云平台。

查看细节

我负责了此项目的前端开发。
此项目（及其成品云平台）已经停止维护。

新玄机奇塔 (2016) ：一个具有一定规模的 2D 魔塔类 RPG 游戏，累计下载超过 5 万次。

查看细节

此游戏远远称不上优秀，但它毕竟只是我在高中的业余时间制作的。
基于 RGSS 构建，这是一个已经被时代抛弃的游戏引擎。
游戏内容丰富，经过精心设计，但美术水平很 naiive ，故事的情节也很差（受当时业余水平和年龄限制）。
魔塔类游戏已经被时代抛弃，这类游戏从现代的角度来看缺乏对玩家的吸引力。
游戏的美术风格可能过于古老，但游戏关卡对于全年龄的玩家来说都是有挑战性的，需要数十个小时才能通关。
此项目已经停止维护，但游戏成品仍然可下载。

其他 GUI 软件。

查看细节

一些 2D 游戏或游戏 DEMO (2014 - 2017) ：同样基于 RGSS 或 RGE 构建，包括一个 SLG 游戏 DEMO 、一个 STG 游戏 DEMO 、其它 3 个不同的魔塔类游戏成品，等等。
智力方舟 (2017) ：智力方舟知识竞赛的终端应用和管理平台系统，该活动由西安交通大学南洋书院学生会实践部承办。
......
以上项目均已停止维护。

# 大学部分课程实验

南京大学分布式系统课程 (2020) ：分布式共识系统 Raft 的简单实现（此项目未公开）。

# 论文发表

暂无。希望将来能成功发表论文。

# 学生事务

# 担任过的职务

2022.3 - 2022.8：操作系统课程助教（由蒋炎岩老师授课），南京大学计算机科学与技术系。
2016.9 - 2020.6：C 语言程序设计课程非正式助教（由朱海萍副教授授课），西安交通大学计算机科学与技术系。
2019.1 - 2019.6：西安交通大学 ACM 校队学生主席代理，西安交通大学计算机科学与技术系。
2017.6 - 2018.6：西安交通大学南洋书院学生会实践部副部长。
2017.6 - 2018.6：西安交通大学学生社团“挑战网”技术部部长。

# 组织过的活动

2019.3 - 2019.5：2019 年西安交通大学 ACM 程序设计竞赛总负责人，由 ACM 校队和计算机系承办。
2017.3 - 2017.5：2017 年西安交通大学“智力方舟”知识竞赛总负责人，由南洋书院学生会实践部承办。

# 基础技能（待编辑）

编程语言 ：C, C++，Java，Ruby，Python，HTML/CSS，Javascript（按熟悉程度从高到低排序）。
Linux/GNU 工具链 ：linux，shell，bash，gdb，makefile，等等。
计算机科学 ：算法和数据结构，软件测试和分析，操作系统，编译原理，等等。
英语：通过六级（509 分）

# 兴趣爱好

写代码，开发系统工程
写一些有关计算机专业的技术博客
小型游戏开发（业余水准）
玩电子游戏（包括但不限于：明日方舟）
享受音乐（包括但不限于：塞壬唱片，falcom jdk）
游泳