Chase Johnson

Hi, I'm Chase

I'm a Computer Science PhD candidate at the University of Minnesota with an interest in logic, proof theory, and programming languages. On the side, I enjoy programming web and mobile applications.

Recent projects
See all projects
Work Experience
See all work
  • Jun2025 - Sep2025
    Amazon Web Services
    Applied Scientist Intern

    Assisted development of a model-based testing system for validating an internal API’s behavior.

  • Jun2024 - Sep2024
    Amazon Web Services
    Applied Scientist Intern

    Helped design and develop a new domain specific language for internal use. Main contribution included partially designing semantics for quantification in the language.

Contact

If you want to get in touch with me about something or just to say hi, reach out on social media or send me an email.