zekai@system:~$whoami
_
Incoming PhD Student at Brown University
> I am a Master's student in Computer Science at Brown University. My research interests lie in Formal Methods, Programming Languages, Artificial Intelligence, and Systems. I am a member of Brown Atlas Group.
> Previously, I completed my B.Sc. in Computer Science at University of Nottingham.
> I focus on the correctness of real world systems.
zekai@system:~$cat email.sh
echo li | sed s/^/zekai_/ | sed s/$/@brown.edu/
zekai@system:~$cat recent_news.log
Giving a talk on "Rt: a new type system for the streaming shell" at NESVD.
Giving a talk on "Regular language types for the streaming shell" at NEPLS.
Paper "From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs" accepted at HotOS '25.
Started MSc at Brown University.
zekai@system:~$ls -l publications/
[2025]From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
Authors: Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis
published in: The ACM SIGOPS 20th Workshop on Hot Topics in Operating Systems (HotOS '25)
[2024]A Logic of East and West for Intervals
Authors: Zekai Li, Amin Farjudian, Heshan Du
published in: The 16th Conference on Spatial Information Theory (COSIT '24)