About Me
I’m currently in my fourth year at Stanford University pursuing my BS in computer science (theory) and MS in electrical engineering (hardware & software systems). Taking advantage of the abundant undergraduate research opportunities and becoming a section leader are the two best things I’ve done at Stanford. I want to be doing research and teaching for a long time in my life.
Right now I’m working on research in computer architecture formal verification and being a course assistant for CS 103: Mathematical Foundations of Computing.
Research
I’ve tried out a few different research projects since my frosh year. I’m grateful for all of my mentors and peers who supported me in this journey of exploration.
Synthesizing formal execution contracts from RTL design
I currently work in the Stanford High Assurance Computer Architectures Lab mentored by Prof. Caroline Trippel and Yao Hsiao. We are interested in developing a method to automatically synthesize formal speculative execution contracts from processor designs.
[Poster]
Applications of formal explanations of neural networks
I worked under the mentorship of Prof. Clark Barrett and Dr. Min Wu to explore applications of formal explanations generated by VeriX, such detecting incorrect network predictions, out-of-distribution inputs, and malicious inputs.
[Paper] [Poster]
Identifying cell type specific markers in mouse cochlea
I worked in Dr. Alan Cheng’s Lab under the guidance of Sara Billings. I used R to process single-cell RNA sequencing data and identified novel gene markers for different cell types in regenerated mouse cochlea.
[Poster]
Teaching
[Sept 2024-Present] CS 103 Course Assistant
[Jan 2023-Aug 2024] CS 106A/B/AX Section Leader
[Nov 2021-Jun 2023] CS + Social Good education outreach team member
Random Facts
- I’m from northeastern China and have lived in many places in the world.
- My Chinese name Xiaofu（晓拂）means “gentle touch of dawn”
- In my free time, I enjoy climbing, running, and reading classical Chinese literature or history documents.
- My friends describe me as a border collie.
