Charles · Zhenyu Zhang

张震宇

高风险复杂软件系统的建设者、研究者与技术判断者

Engineering judgment across trading systems, software reliability, and technical disputes.

13+ years in trading systems 60+ papers in software reliability 2018— expert analysis
张震宇的交易系统、科研、专家支持三条职业主线图
01

一个中心,三种工作场景

我的工作始终围绕同一个问题:当软件系统承载资金、业务或法律责任时,如何理解它、建设它,并对它作出可验证的技术判断。科研训练提供分析方法,生产工程提供真实约束,专家工作则要求把复杂事实转化为可以审查和使用的结论。

贯穿三条主线的方法

  • 建设:让交易、风控和数据系统在真实压力下持续运行。
  • 研究:定位故障、设计测试并解释复杂软件行为。
  • 判断:把代码、系统机制和证据转化为可审查的技术结论。
02

建设:交易系统与生产工程

从早期数字货币跨市场套利,到 CEX / DEX、股票交易、钱包与资管系统,长期直接参与核心代码、团队协作和生产运行。

交易简历 PDF / LinkedIn

2024.11 至今

北京新瞳科技有限责任公司 / Innovision · 量化合伙人

负责交易所连接、策略执行、风控和资管系统建设,支持约 1,500 万美元规模策略运行,并持续推进多交易所接入、风控联动与基础设施优化。

2021.11 - 2024.03

北京微观博易投资管理有限公司 / bjwgby · 交易自动化组 / 股票交易系统组组长

主导数据平台、任务调度、交易自动化平台、股票交易中央服务和因子计算服务化建设,支持百台级托管服务器策略运行。

2019.01 - 2021.10

Calder Capital / 币信钱包 / FBG Capital

先后担任 CTO、交易系统技术总监和链上交易 PM,覆盖回测、钱包后端、交易所连接、做市、期权套利、CEX-DEX 套利与风控;曾管理约 10 人技术团队。

2013.02 - 2016.08

博可畅宇科技 · 联合创始人 / 核心研发

参与数字货币早期跨市场套利,覆盖 6—8 个现货交易所和 2—4 个期货交易所;负责系统原型、策略实现、生产部署与性能调优。

03

研究:软件可靠性

中国科学院软件研究所副研究员、香港大学软件工程博士,长期研究软件测试、故障定位、程序分析和复杂系统可靠性。

中国科学院软件研究所

2010 起围绕回归测试、GUI 测试、恶意代码检测、统计故障定位和软件质量保障开展研究,并持续参与项目申请、论文发表、年度述职、导师资格申请和研究指导工作。

香港城市大学 / 加州大学欧文分校

在 CityU、UCI 等机构保持访问与合作研究经历,覆盖软件工程、自动化测试、安卓 GUI 测试、恶意代码检测、算法稳定币和 blockchain 机制设计;早期研究训练和合作网络中包括 T.H. TseW.K. Chan 等软件工程学者。

论文、专利与学术服务

论文 60 余篇,覆盖 TSE、T-Rel、COMPUTER、ICSE、FSE、ASE、WWW、ISSRE、SANER、QRS 等期刊与会议;专利和软著 10 余项;长期参与审稿、程序委员会和学术服务。

专业服务

Seer Radar 是我建设的面向软件工程研究与专业检索的服务,聚合论文、会议、主题和下载资源。

05

写作、研究与公共输出

相比罗列工具和技能,我更愿意用可以阅读、检索和复用的作品呈现自己的方法。

Book manuscript

《自己动手写自动化交易系统》

以 Python 数字货币实战为路径,从动机、市场与策略,到数据、回测、执行、风控和生产升级,形成一套完整的交易系统写作框架。

书稿持续修订中
Field notes

漂移在量化交易现场

围绕生产交易系统的故障、执行、数据、组织与风险,记录系统在真实约束下如何运行、失效和被修复。

13+ 篇公开文章与系列素材
Research service

Seer Radar

面向软件工程研究者的论文与会议信息服务,持续聚合研究成果、会议事件、主题线索和下载资源。

访问服务
Academic work

软件测试与可靠性研究

60 余篇论文覆盖 TSE、T-Rel、ICSE、FSE、ASE、WWW、ISSRE、SANER 与 QRS 等期刊和会议。

查看研究主页
06

职业轨迹

研究、工程与专家工作并非先后替代,而是从不同方向持续汇合。

  1. 1998 - 2009清华大学 / 香港大学 完成计算机本科、硕士与软件工程博士训练。
  2. 2010 - 至今中国科学院软件研究所 持续从事软件测试、故障定位与可靠性研究。
  3. 2013 - 2016早期数字货币交易 联合创办团队并建设跨市场套利系统。
  4. 2018 - 至今专家辅助与律师技术支持 处理平台机制、浏览器、数字内容与软件证据等技术争议。
  5. 2019 - 2021Calder / 币信 / FBG 担任 CTO、交易系统技术总监与链上交易 PM。
  6. 2021 - 2024微观博易 负责交易自动化与股票交易系统团队。
  7. 2024 - 至今Innovision 与自营交易 量化合伙人,负责交易、风控、资管与基础设施建设。
07

教育背景

  • 香港大学博士 / 软件工程,2005.10 - 2009.10
  • 微软亚洲研究院访问学生 / 图形计算组,2003.03 - 2003.07
  • 清华大学硕士 / 计算机应用,2002.09 - 2005.07
  • 清华大学本科 / 计算机科学与技术,1998.09 - 2002.07
08

联系

适合就交易系统、软件可靠性、复杂技术争议与跨域技术判断进行交流。