Fengyun Liu

EPFL IC IINFCOM LAMP1
INR 319 (Bâtiment INR)
Station 14
CH-1015 Lausanne

Site web: https://lampwww.epfl.ch
Unité: LAMP1

Site web: https://phd.epfl.ch/edic/
Unité: EDIC

perm_contact_calendarvCard
Données administratives

Compétences

compiler construction, Scala, programming languages, type systems, effect systems, functional programming, logics