[TYPES] Undergraduate internships in PL?

[Anders Miltner]

REUs and USRAs probably fit the bill for US and Canadian institutions
respectively.

-Anders


On Mon, Jul 15, 2024 at 10:24 AM xhuang <xhuang at irif.fr> wrote:

> [ 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
>