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; |
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 -
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
IMDEA Software Institute, Madrid, Spain - Worked on various project, mainly wasm-prechk (see POPL paper for more)
-
Jan 2022 - May 2022 Research Intern
IMDEA Software Institute, Madrid, Spain - Worked with Niki Vazou on Flux
-
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 (led to VizAssert paper).
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
- Using Verification and Type Information in Compilers
- Compiler Optimizations
-
Type Systems
- Typed Intermediate Representations
- Refinement Types