My name is Ellenor Taghayor, I'm a second-year PhD student at Simon Fraser University in the Programming Languages group, under the supervision of Prof. Anders Miltner. I studied for my Bachelor’s and Master’s at University of Paris Cité.

My research interest is basically solving logic puzzles! My definition of puzzles includes improving and designing type systems (bonus if I design the language), and coming up with new ideas for program verification techniques. I'm currently working on enhancing the type system of CODA, a DSL for verifying properties of Zero-Knowledge applications.

Outside of research, I enjoy playing board games, watching anime, and creating art. Right now, I'm teaching myself how to play guitar, and to paint by watching Bob Ross videos.