2024 2023 https://mustardfox.org/zzhaoe-0010/ zzhaoe-0010 /zzhaoe-0010/ EECS 490: Programming Languages (F23, W24) course The University of Michigan Programming languages are rich mathematical structures and powerful user interfaces. This course covers the design and use of modern programming languages. We will build up systematically from formal first principles while considering human factors in language design, language prototyping, and techniques for reasoning precisely about program behavior throughout the course. The goal is to change the way you think about programming and programming language design in ways that will remain relevant across the many technology hype cycles that you will encounter over the course of your careers. I was the undergraduate teaching assistant for the 2023–2024 academic year. The course was lectured by Cyrus Omar; Andrew Blinn and David Moon served as graduate teaching assistants in F23 and W24, respectively. References Context https://mustardfox.org/zzhaoe-000Z/ zzhaoe-000Z /zzhaoe-000Z/ teaching 2024 2023 https://mustardfox.org/zzhaoe-0010/ zzhaoe-0010 /zzhaoe-0010/ EECS 490: Programming Languages (F23, W24) course The University of Michigan Programming languages are rich mathematical structures and powerful user interfaces. This course covers the design and use of modern programming languages. We will build up systematically from formal first principles while considering human factors in language design, language prototyping, and techniques for reasoning precisely about program behavior throughout the course. The goal is to change the way you think about programming and programming language design in ways that will remain relevant across the many technology hype cycles that you will encounter over the course of your careers. I was the undergraduate teaching assistant for the 2023–2024 academic year. The course was lectured by Cyrus Omar; Andrew Blinn and David Moon served as graduate teaching assistants in F23 and W24, respectively. Backlinks Eric Zhao 2023 8 https://mustardfox.org/zzhaoe-003B/ zzhaoe-003B /zzhaoe-003B/ TA'ing EECS 490 this year news I'm helping to teach EECS 490 this year! Eric Zhao https://mustardfox.org/zzhaoe-0034/ zzhaoe-0034 /zzhaoe-0034/ news › chronological Jun. '26 Honored to be invited to the Veritas Graduate Conference! Jun. '25 I will be at OPLSS at the end of the month. May '25 I will be at HotOS XX later this month! Feb. '25 I was invited to participate in the Kakehashi Project between Feb. 4–11! Jan. '25 Our paper on Grove is published at POPL! Dec. '24 Gave a talk at NJPLS on symbolic reasoning for file system effects. Aug. '24 Starting my PhD at Brown in PL and formal methods. Jul. '24 Participated to the 2024 School on Univalent Mathematics! Apr. '24 Honored to receive an NSF GRFP! Mar. '24 Passed the JLPT N1! Feb. '24 Won the Michigan Japanese Speech Contest with a very shoddy speech. Jan. '24 I will be presenting our paper on type error localization at POPL! Aug. '23 I will be assisting with EECS 490 this year. Jun. '23 Abroad in Osaka, Japan for advanced intensive Japanese language study! Mar. '23 Honored to receive a FLAS! Related https://mustardfox.org/andrewblinn/ andrewblinn /andrewblinn/ Andrew Blinn person PhD Student The University of Michigan https://andrewblinn.com https://mustardfox.org/cyrusomar/ cyrusomar /cyrusomar/ Cyrus Omar person Assistant Professor of Computer Science The University of Michigan https://web.eecs.umich.edu/~comar/ https://mustardfox.org/davidmoon/ davidmoon /davidmoon/ David Moon person PhD Student The University of Michigan https://mustardfox.org/umich/ umich /umich/ The University of Michigan institution https://umich.edu Contributions