冰山一角
硕士 · 1年经验 · 中国科学院信息工程研究所
0
累计接单
0
用户评价
0
被收藏
技术能力
0.对于先进AI技术十分了解，善于调用deepseek-api，构建agent 工具流。
1.密码学与算法： 掌握常见加密算法（如MD5摘要算法）的原理与实现，熟悉数论基础（素数域、模运算、扩展欧几里得算法），具备独立完成算法正确性数学证明的能力。
2.编程语言与开发： 熟练掌握Java、C、x86汇编语言，了解C#、Python。具备CLI模式与GUI模式（Java Swing、WinForm）开发经验，能够独立完成从控制台应用到图形界面软件的设计与实现。
数据库与后端： 熟悉MySQL数据库的建表、查询与优化，具备Java JDBC数据库编程经验，了解数据库并发控制与锁机制。
数学建模与数据分析： 掌握Logistic模型等常用数学建模方法，具备使用数学工具解决实际问题的能力，曾获美国大学生数学建模竞赛M奖。
3.安全与逆向工程： 具备简易二进制安全基础，了解IDA Pro、GDB（含pwntools）、DOSBox等调试与反汇编工具，能够进行x86汇编程序的动态调试与逆向分析，具备栈溢出、栈平衡等漏洞利用技术的实践经验。熟悉ZIP文件结构及伪加密原理，掌握ARCHPR、PasswordKit等密码爆破工具的使用。
4.其他技能： 熟悉Linux基础操作、网络协议分析（如Fins协议）、PyTorch框架基础应用（手写识别）。具备良好的自学能力与科研素养，善于从数学角度理解并解决技术问题。
1.密码学与算法： 掌握常见加密算法（如MD5摘要算法）的原理与实现，熟悉数论基础（素数域、模运算、扩展欧几里得算法），具备独立完成算法正确性数学证明的能力。
2.编程语言与开发： 熟练掌握Java、C、x86汇编语言，了解C#、Python。具备CLI模式与GUI模式（Java Swing、WinForm）开发经验，能够独立完成从控制台应用到图形界面软件的设计与实现。
数据库与后端： 熟悉MySQL数据库的建表、查询与优化，具备Java JDBC数据库编程经验，了解数据库并发控制与锁机制。
数学建模与数据分析： 掌握Logistic模型等常用数学建模方法，具备使用数学工具解决实际问题的能力，曾获美国大学生数学建模竞赛M奖。
3.安全与逆向工程： 具备简易二进制安全基础，了解IDA Pro、GDB（含pwntools）、DOSBox等调试与反汇编工具，能够进行x86汇编程序的动态调试与逆向分析，具备栈溢出、栈平衡等漏洞利用技术的实践经验。熟悉ZIP文件结构及伪加密原理，掌握ARCHPR、PasswordKit等密码爆破工具的使用。
4.其他技能： 熟悉Linux基础操作、网络协议分析（如Fins协议）、PyTorch框架基础应用（手写识别）。具备良好的自学能力与科研素养，善于从数学角度理解并解决技术问题。
项目经验
0.自制数学解题工具，仿照谷歌公司的Aletheia设计，完成了自动分解复杂数学证明题的过程。
1. 密码学算法——最大公因数快速算法证明（2024年秋）
在《密码学》课程学习中，帮助同学证明了一种在素数域中比广义欧几里得算法更快的最大公因数算法（效率提升一个系数）。通过模乘运算定义、反证法等方法，严格证明了delta的模m逆元存在性及k,m互素，最终完成算法正确性的数学证明。该成果展示了扎实的数论功底与独立科研潜力。
2. 数据库并发控制——偏序锁关系证明（2024年秋）
在学习《数据库》课程并发控制章节时，发现教材中关于偏序锁的结论缺少严格证明。自主定义forbiddentypeset(A)集合，从自反性、传递性和反对称性三个角度完成了锁大于等于关系为偏序关系的数学证明。该工作弥补了教材的理论空白，体现了将离散数学理论应用于数据库领域的研究能力。
3.游戏项目的设计（2025年春）
设计彩球游戏，使用C++开发模仿开心消消乐、华容道等经典游戏，添加简易图形化界面。
4.大型程序——题库系统的开发（2026年春）
自制大型程序题库系统，供用户自由刷题、导入、导出题目等。
1. 密码学算法——最大公因数快速算法证明（2024年秋）
在《密码学》课程学习中，帮助同学证明了一种在素数域中比广义欧几里得算法更快的最大公因数算法（效率提升一个系数）。通过模乘运算定义、反证法等方法，严格证明了delta的模m逆元存在性及k,m互素，最终完成算法正确性的数学证明。该成果展示了扎实的数论功底与独立科研潜力。
2. 数据库并发控制——偏序锁关系证明（2024年秋）
在学习《数据库》课程并发控制章节时，发现教材中关于偏序锁的结论缺少严格证明。自主定义forbiddentypeset(A)集合，从自反性、传递性和反对称性三个角度完成了锁大于等于关系为偏序关系的数学证明。该工作弥补了教材的理论空白，体现了将离散数学理论应用于数据库领域的研究能力。
3.游戏项目的设计（2025年春）
设计彩球游戏，使用C++开发模仿开心消消乐、华容道等经典游戏，添加简易图形化界面。
4.大型程序——题库系统的开发（2026年春）
自制大型程序题库系统，供用户自由刷题、导入、导出题目等。
立即沟通
