Ellen Arteca

(she/her/hers)

PhD Student

Ellen Arteca
  • MS in Mathematics, University of Waterloo – Canada
  • BS in Computer Science, Laurentian University – Canada

Ellen Arteca is a doctoral student at Northeastern University's Khoury College of Computer Sciences. She is advised by Frank Tip and her main area of research is programming languages. During her graduate program in mathematics at the University of Waterloo in Canada, she conducted research on the formal verification and semantics of a contract-based type system to achieve fast sound gradual typing in TypeScript. While she was an undergraduate student at Laurentian University, she worked in the field of computational ecology, specifically on population modeling.  Arteca is also interested in using program analysis to determine type information and applying a grounding in theory to solve implementation problems.