test

Author: daoyuan14

_bibliography/papers.bib

@@ -87,6 +87,7 @@ @inproceedings{zhong2025detecting
   abbr={NDSS},
   selected={true},
   bibtex_show={true},
+  award={NDSS 2025 Distinguished Paper Award (selected from 211 accepted papers out of 1,311 submissions)},
   award_name={Distinguished Paper Award},
   title={PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation},
   author={Liu, Ye and Xue, Yue and Wu, Daoyuan and Sun, Yuqiang and Li, Yi and Shi, Miaolei and Liu, Yang},

_pages/about.md

@@ -42,3 +42,19 @@ Specifically, our research focuses on the following key areas:
 <strong>Novel Program Analysis and Mobile Security:</strong> Novel Program Analysis & Fuzzing; LLM for Mobile; EdgeAI Security.
 
 Through close collaboration with experts from diverse disciplines, AIS2Lab aims to build secure and responsible AI systems that benefit both technology and society.
+
+
+## Positions in 2026
+
+<div style="background-color: #f3f4f6; border-left: 4px solid #6c63ff; padding: 1em 1.5em; margin: 1.5em 0; border-radius: 8px;">
+
+We are hiring <strong>one Postdoc</strong> or <strong>two RAs</strong> who (aspire to) understand <b>GPU software security</b> or <b>medical system security</b>.
+
+<br>
+
+Additionally, there is <strong>one extra PhD opening</strong> (on top of the current positions: one PhD student funded by LU PhD Student Fund, plus one self-financed PhD).
+
+<br>
+
+If you are passionate about AI, system security, or interdisciplinary research and interested in these positions, please feel free to <a href="mailto:daoyuanwu@ln.edu.hk">contact us</a>!
+</div>