I built Unpack Salary, a bilingual web app that calculates how a Swedish employment offer translates into total employer cost, gross salary, estimated take-home pay, pension, insurance, and value p...

This September, I am honored to return to Uppsala University as a lecturer for Artificial Intelligence (1DL340), with 173 students taking the course this year. Coming back to teach at the universi...

I am happy to share that I have successfully defended my PhD thesis, titled “Learning to Guide Automated Reasoning: A GNN-Based Framework.” Defense Details Date: 6 May 2025 Time: 13:15 Loc...

CozySteps — Our LLM-powered activity recommender for families with autistic children 🧩 Built during Impact Hack 2025 by AI Sweden 🧠 Background & Motivation We joined Impact Hack 2025, ...

Presenting an LLM-based Project at Ericsson HQ, Stockholm On December 6, 2024, I had the pleasure of supervising a talented group of students who successfully completed their Project CS course (30...

In October 2024, I attended the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024) in Kyoto, Japan. At the conference, I presented our accepted paper, “G...

On May 11, 2024, I visited the Institute of Science and Technology Austria (ISTA) in Klosterneuburg to give an invited talk to the Thomas Henzinger Group. I was honored to receive the invitation fr...

In April 2024, I attended the 11th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2024) in Luxembourg City, Luxembourg. At the workshop, I gave a presentation on our previously publi...

In January 2024, I attended the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024) in London, United Kingdom. At the conference, I presented our...

Assisting Mat Collishaw’s Insilico in Uppsala I had the chance to contribute to Mat Collishaw’s touring exhibition at the Uppsala Art Museum. Mat Collishaw is a contemporary British artist, known ...