Skip to main content


Office Location

440 Huntington Avenue
308 West Village H
Boston, MA 02115


Ellen Arteca is a PhD student at Northeastern University’s College of Computer and Information Science, advised by Professor Frank Tip. Her main area of research is programming languages; for her MS in Mathematics at the University of Waterloo in Canada, she did research on the formal verification and semantics of a contract-based type system to achieve fast sound gradual typing. Ellen is also interested in using program analysis to determine type information and applying a grounding in theory to solve implementation problems.


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

About Me

  • Hometown: Sudbury, Canada
  • Field of Study: Programming Languages
  • PhD Advisors: Frank Tip

What are the specifics of your graduate education (thus far)?

For my masters I worked on the semantics and formal verification of a contract-based type system for fast sound gradual typing in TypeScript.

What are your research interests?

During my undergrad I worked a bit in computational ecology (population modelling), but now I’ve completely switched to PL. I still like gradual typing, but I’m excited to try something new, particularly in program analysis. Also my masters was mainly theory, so I’m looking forward to working on some of the implementation side of things too.

What’s one problem you’d like to solve with your research/work?

One thing I was thinking about was I’d like to try and use program analysis to determine type information, or to potentially move a program from gradually to statically typed.

What aspect of what you do is most interesting?

It’s nice being able to think about or implement language features I’d personally find useful.

What are your research or career goals, going forward?

I’m not sure yet — I hope to figure that out along the way as I do my PhD.