Kevin Cheang

Hi, welcome to my homepage. I’m Kevin and I currently work as an Applied Scientist at AWS AI Labs, focusing on reliable coding agents. I received my Ph.D. in Computer Science from the University of California, Berkeley in August 2023 where I was fortunate to be advised by by Sanjit A. Seshia. During my time at Berkeley, I worked as a graduate student researcher in the Learn & Verify lab and was associated with the ADEPT/SLICE lab.

My focus and interests are in safe and reliable AI, neurosymbolic methods, autonomous coding agents, retrieval systems, automated reasoning, and system security for blockchain technology and secure hardware systems.

Prior to Berkeley, I received my B.Sc in Combined Honours Computer Science and Mathematics from the University of British Columbia.