I am interested in programming languages and combinatorial optimization. During my doctoral education at KTH Royal Institute of Technology (completed in 2018), 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, and industrial value.
Other areas of interest are software testing and verification. I am always open to broaden the scope of my research, so do not hesitate to contact me with exciting research ideas!