[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Joey,
HKU CS department offers summer internships for undergraduates from
Mainland China and overseas countries every year
(https://urldefense.com/v3/__https://www.cs.hku.hk/rintern/__;!!IBzWLUs!SVoXNhUQ9TD0Heaa-PeA5ZFTWBrJRPfiufTaSaTjUayyfHEpIHg7GFkwWy1eblC5spGBspBw5eQ-G1UptbzNFRbT1A$ ). These internships include PL, if the
student chooses Bruno as their supervisor (https://urldefense.com/v3/__https://i.cs.hku.hk/*bruno/__;fg!!IBzWLUs!SVoXNhUQ9TD0Heaa-PeA5ZFTWBrJRPfiufTaSaTjUayyfHEpIHg7GFkwWy1eblC5spGBspBw5eQ-G1UptbwtoO93mw$ ).
I really appreciate your inquiry and your organization of REPL at UPenn.
This helps to increase the exposure of PL. Many undergraduates are
interested in PL and are seeking opportunities, while many others (at
least in China) are not yet aware of PL as a potential research
direction.
Regards,
Xuejing
For Joey Velez-Ginorio's original post, please see:
https://lists.seas.upenn.edu/pipermail/types-list/2024/002548.html
