Cristian Gherghina

Passionate about software correctness, efficiency and about solving tricky problems related to data collection, processing/analysis and storage at scale. Throughout my Google career I had fun working on projects of varying granularities, often spanning product area boundaries. In this time I focused on performance monitoring and tuning, timeline reconstruction and analysis, anomaly detection. I also worked on: Java bytecode manipulation and memory management; automatic tooling for GenAI model validation and releases. I received my PhD at the National University of Singapore for my work on a static analysis toolchain (symbolic execution engine coupled with an automatic theorem prover) for proving the correctness of concurrent heap manipulating software. During my postdoctoral assignments I focused on automatic inference of correctness properties at compile time.