Cristian Gherghina

Built the metric collection infrastructure for monitoring health and performance metrics for the Calendar Android app. The resulting signals were used to make go/no-go release decisions, to investigate anomalies and do preliminary triaging. I contributed fixes to performance bottlenecks.

During my postdoctoral assignments I mainly focused on automatic inference of correctness properties.

I earned my PhD at the National University of Singapore, under the supervision of Associate Professor Chin Wei-Ngan while working on HIP/SLEEK, a static analysis system (fully developed in OCaml). My investigations focused on developing logic systems and accompanying tool support for proving the correctness of concurrent heap manipulating software.