JM233333's Blog
  • Programming Languages

    • C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • System

    • System Performance
  • Programming

    • ...
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics

JM233333

弱小可怜又无助的学术废物
  • Programming Languages

    • C
    • Python
  • Algorithms and Data Structures

    • Data Structure
    • Fundamental Algorithms
    • Graph Theory
  • GNU Toolchain

    • Bash
    • gdb
  • Development Environment

    • Ubuntu
    • QEMU
  • Development Tools

    • Git
    • VSCode
  • Operating Systems

    • Principles of Operating Systems
    • Xv6
    • Linux Kernel
  • Software Testing and Analysis

    • Software Testing
    • Software Analysis
    • Program Verification
  • LeetCode
  • XJTUOJ
  • System

    • System Performance
  • Programming

    • ...
  • Others

    • ...
  • Paper Reading

    • Model Checking
    • Fuzzing
    • Symbolic Execution
  • 3D Game Programming

    • 3D Mathematics
JM233333
2021-06-01
CV
2850

个人简历

Creative Commons

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)

  • 游泳

最近更新
01
Linux Kernel 00 - Introduction
08-01
02
Linux Kernel 01 - Build and Run a Tiny Linux Kernel on QEMU
08-01
03
Linux Kernel 01 - Debug the Linux Kernel
08-01
更多文章>
Theme by Vdoing | Copyright © 2019-2022 JM233333 | CC BY-NC-SA 4.0
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式