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 ...
In September 2022, I attended the 7th Conference on Artificial Intelligence and Theorem Proving (AITP 2022) in Aussois, France. I contributed an extended abstract and gave a talk on our work explor...