公开版 CV
本页仅保留公开联系方式；完整版简历可邮件索取。
教育背景
爱丁堡大学数学本科
现于康奈尔大学交流
研究方向
优化、形式化验证与数学建模；目前主要围绕子模贪心近似保证、带不变性的对偶与下界，以及 Isabelle/HOL 中的证明组织。
代表项目与专利
-
Isabelle/HOL：子模贪心算法形式化
对象：单调子模最大化的 (1 - 1/e) 贪心保证；结果：持续推进 Isabelle/HOL 形式化与证明组件整理。
-
不变性下的对偶与下界
对象：带图相对结构的距离拟合目标；结果：定位平移不变性/不可识别性导致的下界退化，并测试结构修正。
-
Metalcore Piano Lab
对象：音频 / MIDI 到谱面的离散化；结果：完成浏览器原型，并记录 pipeline 与主要失效模式。
-
工程系统：防离析布料系统
对象：防离析布料系统；结果：完成真实工况下的建模与关键参数优化工作。
专利与 IP
Anti-Segregation Spreading Method and Device —— 发明专利在审
Anti-Segregation Spreading Device —— 实用新型已于 2025-07-04 授权
公开页面不展示专利号。
研究经历
独立研究 —— 优化
康奈尔大学运筹学与信息工程学院（ORIE）
指导老师：Prof. Shoham Sabach
2026–至今
- 研究带图相对结构目标中的对偶与下界问题。
- 分析平移不变性 / 不可识别性如何导致自然下界退化。
- 推进 gauge-fixing、增广等结构修正方案。
独立研究 —— 面向优化的形式化方法
爱丁堡大学信息学院
指导老师：Dr. Wenda Li
2025–至今
- 在 Isabelle/HOL 中形式化子模函数与贪心算法的近似比证明。
- 整理面向相关贪心变体的证明组件与形式化结构。
其他经历
数据分析
负责转化漏斗、留存与归因分析，并排查归因与映射逻辑中的问题，使后续汇报口径更一致、结果更可解释。
建模与工程分析
参与砂石相关系统在实际约束下的建模与分析，包括参数调整，以及与实验方案相关的协同工作。
相关链接
Research
Projects
GitHub
Math / Research Notes
LinkedIn
联系方式
Fay / Feier Lyu
Email: moc.duolci@035reief
Location: Ithaca, USA / Edinburgh, UK
Public CV
This page lists public contact information only; a fuller CV is available on request by email.
Education
BSc Mathematics, University of Edinburgh
Current exchange study at Cornell University
Research Directions
Optimization, formal verification, and mathematical modeling; at the moment I am working mainly on submodular greedy guarantees, duality and lower bounds under invariances, and proof organization in Isabelle/HOL.
Selected Projects and Patents
-
Isabelle/HOL: Formalizing Submodular Greedy
Object: the classical (1 - 1/e) greedy guarantee for monotone submodular maximization. Result: ongoing Isabelle/HOL formalization and proof-component organization.
-
Duality and Lower Bounds under Invariances
Object: graph-relative distance-fitting objectives. Result: diagnosis of lower-bound collapse under invariance and tests of structural fixes.
-
Metalcore Piano Lab
Object: discretizing audio / MIDI into playable chart events. Result: a browser prototype with documented pipeline and failure modes.
-
Engineering System: Anti-Segregation Spreading
Object: an anti-segregation spreading system. Result: modeling and parameter tuning under real deployment constraints.
Patents and IP
Anti-Segregation Spreading Method and Device — invention patent under review
Anti-Segregation Spreading Device — utility model granted on 2025-07-04
Patent numbers are omitted on this public page.
Research Experience
Independent Research — Optimization
Cornell University, School of Operations Research and Information Engineering (ORIE)
Under the guidance of Prof. Shoham Sabach
2026–present
- Research on duality and lower bounds for graph-relative optimization objectives.
- Study of how translation invariance and non-identifiability lead natural lower bounds to collapse.
- Current work on structural fixes such as gauge-fixing and augmentation.
Independent Research — Formal Methods for Optimization
University of Edinburgh, School of Informatics
Under the guidance of Dr. Wenda Li
2025–present
- Formalization in Isabelle/HOL of approximation guarantees for submodular functions and greedy algorithms.
- Development of proof components and formal structure for related greedy variants.
Other Experience
Data Analytics
Worked on funnel, retention, and attribution analysis, and helped diagnose attribution and mapping issues so that downstream reporting became more consistent and interpretable.
Modeling and Engineering Analysis
Worked on modeling and analysis for aggregate-related systems under practical constraints, including parameter tuning and coordination with experimental considerations.
Links
Research
Projects
GitHub
Math / Research Notes
LinkedIn
Contact
Fay / Feier Lyu
Email: moc.duolci@035reief
Location: Ithaca, USA / Edinburgh, UK