Acknowledgements

I am grateful to the following institutions that have supported, hosted, or funded the research initiatives, and projects I have contributed to. Here is what each of them has supported.

• NASA

  Through the Small Explorers (SMEX) Program, NASA supported my research on gamma-ray astrophysics for the COSI (Compton Spectrometer and Imager) mission. COSI is a NASA Explorer mission led by UC Berkeley, funded under NASA contract 80GSFC21C0059.

• UC Berkeley

  UC Berkeley hosted me for a one-year graduate exchange at EECS, where I carried out research on compositional statistical model checking, auditing of language model memory, and multi-tier SLA scheduling for LLM serving.

• Defense Advanced Research Projects Agency (DARPA)

  Co-authored research supported by the DARPA TIAMAT program on scenario-based compositional statistical model checking for safety specifications of autonomous vehicles.

• National Science Foundation (NSF)

  Co-authored research supported by the National Science Foundation under grant 2303564 on scenario-based compositional statistical model checking for safety specifications of autonomous vehicles.

• Cornell University

  The Cornell Natural Language Processing Group hosts my ongoing research on AI safety, privacy compliance, and trustworthy AI deployment.

• Qualcomm

  Qualcomm supports my work through an incoming internship with the Snapdragon Engineering group.

• Sony

  Sony Europe hosted my internship building an automated test-evaluation system for automotive image sensors.

• Nissan

  Co-authored research supported by Nissan through the iCyPhy Center on scenario-based compositional statistical model checking for safety specifications of autonomous vehicles.

• UC Berkeley Space Sciences Laboratory (SSL)

  SSL hosted my research for the COSI mission under the NASA SMEX Program, including access to detector data, simulation tooling, and mentorship.

• NTNU

  NTNU is my home university for the M.Sc. in Electronic Systems Design and Innovation, and hosted my work on hyperspectral satellite image segmentation at the SmallSat Lab along with several signal processing and embedded systems projects.

• California PATH

  Co-authored research supported by California Partners for Advanced Transportation Technology (PATH) through its Future Mobility Research Center (FMRC) on scenario-based compositional statistical model checking for safety specifications of autonomous vehicles.

• Nordic Semiconductor

  Nordic Semiconductor supports my work on a RISC-V ML inference co-processor for ultra-low-power wireless SoCs.