Degree(s): 
H.B.S., Computer Science
Minor(s): 
Spanish and Mathematics

After graduation, Claire will be starting her new job as a software engineer at Google in the Bay Area.

Deep Learning Temporal Logic Specifications