Matthieu Bovel

photo placeholder image

Student

matthieu.bovel@epfl.ch

EPFL > ETU > EDOC > EDIC

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

Office:  INR 317
EPFL > IC > IINFCOM > LAMP1

Web site:  Web site:  https://lampwww.epfl.ch

vCard
Administrative data

Fields of expertise

PhD student, I am currently exploring support for logically qualified types support in Scala 3.
Co-supervised by Viktor Kunčak and Martin Odersky.