Matthieu Bovel

photo placeholder image

Student

matthieu.bovel@epfl.ch +41 21 693 62 65

EPFL > ETU > EDOC > EDIC

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

+41 21 693 62 65
Office:  INR 317
EPFL > IC > IINFCOM > LAMP1

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

vCard

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.