Jiacai Cui
崔家才
About Me
I am a Ph.D. student at Nanjing University, advised by Yue Li who co-runs the PASCAL Research Group with Tian Tan.
Research Interests
- Programing Language (PL) : programing language theory, design and implementation
- Static Program Analysis : dataflow analysis, pointer analysis, taint analysis, bug detection, etc.
- Electronic Design Automation (EDA) : hardware design analysis and verification at register transfer level
News
- [Sept. 2023] Attend ChinaSoft conference.
- [May. 2023] Attend ISEDA conference.
- [Jul. 2022] Join PASCAL research group.