🎓 Experiences

🎓 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 Anime / Motion Manga Generation and Assistive Drawing, working with Prof. Chengze Li @ HK SFU, and Dr. Hanyuan Liu @ Spellbrush
  • [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.