I am a software engineer and researcher, with an interest in programming languages, software testing and verification, and combinatorial optimization.
I currently work at Oracle as an OpenJDK compiler engineer. Previously, I worked as a research associate at the Institute for Computing Systems Architecture within the University of Edinburgh.
I attained my doctoral degree in 2018 at KTH Royal Institute of Technology while working as a researcher at RISE SICS, Sweden. During my doctoral studies, I applied constraint programming to compiler optimization in the Unison project. The project made a broad impact, including numerous publications in international venues, a mature and reusable open-source tool, industrial value, and a Honorable Mention at the 2019 ACP Doctoral Research Award.