arteca.e [at] northeastern [dot] edu
This past summer 2021 I was an applied science intern with the Automated Reasoning Group at AWS Amazon, where I worked on a dataflow framework for SMT queries in Rust, so we could generate equisatisfiable queries with all string literals anonymized. This project is open sourced! Check it out at awslabs/rust-smt-ir/amzn-smt-string-transformer.
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 me.