I am interested in programming languages, parallel programming, and combinatorial optimization. During my doctoral education at KTH Royal Institute of Technology (completed in 2018) and as a researcher at RISE SICS in Sweden, I have studied the application of constraint programming to compiler optimization in the Unison project. The project has 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.
Other areas of interest are software testing and verification. I am always open to broadening the scope of my research, so do not hesitate to contact me with exciting research ideas!