arteca.e [at] northeastern [dot] edu
This summer 2022 I am a software engineering intern with the Android Rust (Android Security) team at Google, where I’m working on extending MIRI with C FFI support. This project is an open source development! Follow along at emarteca/miri.
Prior to this, I did my masters at the University of Waterloo in the Programming Languages group, where I worked with my advisor Gregor Richards on a technique for fast gradual typing using the virtual machine. My undergraduate was at Laurentian University, where my research was in computational ecology, in fruit fly population modelling (there was a time where I didn’t work on programming languages!).
Feel free to email and say hi!