#import "/book.typ": book-page
#show: book-page.with(title: "<NAME>")

= Tesla (<NAME>

I am a second-year Ph.D. student in the #link("https://www.csd.cs.cmu.edu")[Computer Science Department] at CMU,
advised by Professor #link("https://www.cs.cmu.edu/~balzers")[<NAME>].

My personal interests include implementing type checkers for dependent type theories,
making fancy programming language tools, programming language design,
and thinking about type theories from a category theoretical point of view.

Some links: #link("https://orcid.org/0000-0002-9050-846X")[ORCiD], #link("https://github.com/ice1000")[GitHub],
#link("https://arxiv.org/a/zhang_t_4")[arXiv], #link("https://www.aya-prover.org")[Aya Prover].

== Coordinates

- My email is teslaz [at] cmu [dot] edu.
- My office is in the Gates--Hillman Center, floor 5, 5103 (need ID access outside business hours).

== Collaborators

- My advisor: logical relations for session type theories.
- #link("https://chasenorman.com")[Chase Norman]: automated theorem proving for dependent type theories (#link("https://chasenorman.com/demo.html")[online demo]).

This website is under construction, stay tuned!
