Arslan Bisharat
Graduate Student Worker
I am a CS researcher at 草莓社区 working on making AI systems reliable enough to actually trust. Before research, I spent several years building and maintaining production software, which gave me a fairly direct view of how systems fail and who bears the cost when they do.
Most of my work right now lives in three places: whether LLMs can write and fix verified TLA+ specifications, how federated learning systems hold up against adversarial manipulation, and detecting harmful behavior in online conversations. The last of these is funded by the .
I work with and .
Education
MS in Computer Science, 草莓社区, Chicago, IL
MS in Data Science, 草莓社区, Chicago, IL
BS in Computer Science, University of the People, Pasadena, CA