Update homepage

Author: haoran-ding

_bibliography/papers.bib

@@ -1,6 +1,17 @@
 ---
 ---
 
+@misc{ding2026fmagent,
+Author = {Haoran Ding and Zhaoguo Wang and Haibo Chen},
+Title = {FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning},
+Year = {2026},
+Eprint = {arXiv:2604.11556},
+selected = {true},
+pdf={fm-agent.pdf},
+code = {https://github.com/haoran-ding/FM-Agent},
+website = {https://fm-agent.ai/}
+}
+
 @article{grewriter,
 abbr = {VLDB 2025},
 author = {Jiang, Zhe and Wang, Zhaoguo and Lan, Haoning and Tang, Chuzhe and Ding, Haoran and Wang, Lefeng and Zou, Songyun and Wei, Zhuoran and Liu, Yongcun and Yu, Xiang and Ren, Yang and Li, Guoliang and Chen, Haibo},

_config.yml

@@ -153,7 +153,7 @@ collections:
 announcements:
   enabled: true
   scrollable: true # adds a vertical scroll bar if there are more than 3 news items
-  limit: # leave blank to include all the news in the `_news` folder
+  limit: 10 # leave blank to include all the news in the `_news` folder
 
 latest_posts:
   enabled: true

_news/announcement_15.md

@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2025-05-01
+inline: true
+related_posts: false
+---
+
+I start my postdoc at MIT, advised by Prof. [Martin Rinard](https://people.csail.mit.edu/rinard/).

_news/announcement_16.md

@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2025-05-06
+inline: true
+related_posts: false
+---
+
+Give a talk at Peking University (Hosted by [Prof. Meng Sun](https://math.pku.edu.cn/teachers/sunm/indexen.html)).

_pages/about.md

@@ -2,7 +2,7 @@
 layout: about
 title: Homepage
 permalink: /
-subtitle: <a href='mailto:nhaorand@gmail.com'>Email</a> | <a href='https://scholar.google.com/citations?user=KHqnYgQAAAAJ'>Google Scholar</a> | <a href='https://github.com/nhaorand/'>GitHub</a> | <a href="/assets/pdf/haoran_ding_cv.pdf">CV</a>
+subtitle: <a href='mailto:nhaorand@gmail.com'>Email</a> | <a href='https://scholar.google.com/citations?user=KHqnYgQAAAAJ'>Google Scholar</a> | <a href='https://github.com/haoran-ding/'>GitHub</a>
 
 profile:
   align: right
@@ -15,6 +15,7 @@ selected_papers: true # includes a list of papers marked as "selected={true}"
 social: false # includes social icons at the bottom of the page
 ---
 
-I am Haoran Ding, a CS Ph.D. that graduated from [IPADS](https://ipads.se.sjtu.edu.cn/), Shanghai Jiao Tong University (SJTU). I am jointly supervised by [Prof. Haibo Chen](https://ipads.se.sjtu.edu.cn/pub/members/haibo_chen) at SJTU, [Prof. Zhong Shao](https://www.cs.yale.edu/homes/shao/) at Yale University, and [Prof. Zhaoguo Wang](https://ipads.se.sjtu.edu.cn/pub/members/zhaoguo_wang) at SJTU. I am also very lucky to work closely with [Prof. Jinyang Li](https://www.news.cs.nyu.edu/~jinyang/) at New York University and [Prof. Ruzica Piskac](https://www.cs.yale.edu/homes/piskac/) at Yale University. I earned my bachelor degree in Computer Science from Nanjing University.
+I am Haoran Ding, a postdoc in the group of [Prof. Martin Rinard](https://people.csail.mit.edu/rinard/) at MIT. I earned the Ph.D. degree from [IPADS](https://ipads.se.sjtu.edu.cn/), Shanghai Jiao Tong University (SJTU). I was jointly supervised by [Prof. Haibo Chen](https://ipads.se.sjtu.edu.cn/pub/members/haibo_chen) at SJTU, [Prof. Zhong Shao](https://www.cs.yale.edu/homes/shao/) at Yale University, and [Prof. Zhaoguo Wang](https://ipads.se.sjtu.edu.cn/pub/members/zhaoguo_wang) at SJTU. I am also very lucky to work closely with [Prof. Jinyang Li](https://www.news.cs.nyu.edu/~jinyang/) at New York University and [Prof. Ruzica Piskac](https://www.cs.yale.edu/homes/piskac/) at Yale University. I earned my bachelor degree in Computer Science from Nanjing University.
 
-My research focuses on the intersection of formal verification and systems software, aiming to develop fundamental theories and practical tools that can enhance both system reliability and performance.
+I do research about the intersection of formal methods and systems software, aiming to develop fundamental theories and practical tools that can enhance both system reliability and performance.
+Currently, my research focuses on scaling formal methods to large-scale systems via LLMs.