Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Yuhao Liu
acasta-yhliu
Quantum Computing, Formal Methods; CIS PhD Candidate @upenn
University of Pennyslvania Philadelphia, PA
Zheng Cai
zigzagcai
An engineer and learner passionate about practical distributed systems
Shanghai, China
Tao Luo
taoluo
Ph.D. student in computer science at University of Pennsylvania | Distributed Systems Lab
University of Pennsylvania Philadelphia, Pennsylvania
Xupeng Miao
Hsword
CS PhD working on MLSys.
PKU CS AP; Prior Purdue CS AP; CMU-Catalyst Group Postdoc; PKU-DAIR Lab PhD
Kendall Kikkawa
Kendall-Kikkawa
Data Scientist at Micron Technology | UCLA Master's of Data Science Engineering, 26' | UC Berkeley Data Science and Statistics, '21
Micron Technology