CV

A summary of my experience as related to research. A full version is available for download using the button in the top-right of this page. A list of publications is available on the publications page.

Table of contents

General Information

Full Name Adam T. Geller
Locations Vancouver, Canada; Seattle, United States;

Work Experience

  • Jun 2024 - Aug 2024
    Quantum Software Engineering Intern
    NVIDIA Development Inc.
    • I had a summer internship at NVIDIA in 2024, where I worked on compiler optimizations for quantum programs as part of the CUDA-Q project.

Education

  • Ongoing
    Ph.D., Computer Science (In Progress)
    University of British Columbia, Vancouver, Canada
    Supervisor: William J. Bowman
  • 2020
    M.Sc., Computer Science
    University of British Columbia, Vancouver, Canada
    Supervisors: William J. Bowman and Ivan Beschastnikh
    Thesis --- An indexed type system for faster and safer WebAssembly
  • 2018
    B.Sc., Computer Science
    University of Washington, Seattle, United States
    GPA: 3.63
    • Annual Dean's List --- 2017 - 2018
    • Dean's List --- Fall 2017, Winter 2018, Spring 2018

Research Experience

  • 2018 - Ongoing
    Graduate Research Assistant
    University of British Columbia
    • My thesis is looking at using indexed types to validate practical low-level optimizations
  • Jan 2022 - May 2022
    Research Intern
    IMDEA Software Institute, Madrid, Spain
    • Worked with Niki Vazou on Flux (see Flux paper for more info)
  • May 2019 - Aug 2019
    Research Fellowship
    Max Planck Institute for Software Systems, Kaiserslautern, Germany
    • Worked with Maria Christakis on combining Fuzzing techniques with Dynamic Symbolic Execution
  • 2017-2018
    Undergraduate Research
    University of Washington, Seattle, United States
    • Worked on the Cassius project (see VizAssert paper for more info).

Teaching Experience

  • 2018,2021-2023
    Graduate Teaching Assistant
    University of British Columbia, Vancouver, Canada
    • Two terms of CPSC 411 (Intro to Compiler Construction), 2021 and 2023
    • One term of CPSC 310 (Intro to Software Engineering), 2022
    • One term of CPSC 416 (Distributed Systems), 2018

Research Interests

  • Compilers
    • Type Preserving Compilation
    • Compiler Optimizations
  • Type Systems
    • Typed Intermediate Representations
    • Indexed Types