ionathan.ch - About · Jonathan Chan

home > domains > ionathan.ch

Example domain paragraphs

PhD CS student @ UPenn [he / they] ⦁ #WaterDrinker

© 2023. MIT Licence.

Hello! My name is Jonathan (legally) or Jon (informally) . I am a PhD student in the PLClub at UPenn after having finished my Master’s in the Software Practices Lab at UBC in 2022. My research interests include dependent types, type theory, proof assistants, type checkers, compilers, and mathematical logic.

Links to ionathan.ch (3)

• williamjbowman.com William J. Bowman | Home
• plclub.org Programming Languages @ Penn
• zombiecologne.com Hacker News