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 am currently developing a solver for Constrained Horn Clauses where the head can be existentially quantified. Where prior work required domain-specific insights relating the existential constraints to the templates used for clause generation, my work aims to work in a domain-agnostic fashion, enabling broader applicability to problems like verified synthesis, bisimulation induction, invariant generation, and more.

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.

read_file_content "my_CV.pdf"