个人简历
English | 简体中文
# JM233333 (刘瀚之)
南京大学计算机系在读博士研究生(计算机软件研究所 SPAR (opens new window) 小组)
导师:蒋炎岩老师 (opens new window) 和 许畅教授 (opens new window)
电邮:jm233333@outlook.com
- 超过 48 小时未回复 我遗漏或未收到邮件,您可尝试重发
# 教育和工作经历
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)
游泳