🎓 Experiences
- [May. 2024 - Present] At InfiniAI Lab @ CMU, works with Prof. Beidi Chen on Efficient Machine Learning Systems
- [Dec. 2023 - Apr. 2024] At PennNetworks, works on Heterogeneous LLM Serving Project, working with Prof. Vincent Liu and Prof. Boon Thau Loo
- [Jan. 2024 - Present] At NetDB@UPenn, works on Formal Verification Methods for BGP Network using SMT Solvers and Rewrite Logic, continuing work from summer 2023
- [Aug. 2023 - Present] As collaborator and project leader, works on Motion Manga Generation and Assistive Drawing, working with Prof. Chengze Li @ HK SFU, and Prof. Hanyuan Liu @ HK CityU
- [May. 2023 - Aug. 2023] Visiting scholar and research assistant at ShanghaiTech University, worked with Prof. Haoxian Chen, Dr. Carolyn Talcott and Prof. Vivek Nigam, on BGP Verification
- [Nov. 2022 - Jan. 2024] At NetDB@UPenn, works on Adaptive Byzantine Fault Tolerant Protocols with Reinforcement Learning, worked with Chenyuan Wu, Prof. Boon Thau Loo, Prof. Mohammad Javad Amiri, Prof. Ryan Marcus and Prof. Dahlia Malkhi.
