Moa Johansson
@moajohansson.bsky.social
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
My office plant is flowering! No idea what species it is but it seems to thrive in an academic environment of random periods of neglect mixed with too much water.
September 22, 2025 at 6:38 AM
My office plant is flowering! No idea what species it is but it seems to thrive in an academic environment of random periods of neglect mixed with too much water.
Congratulations to Dr. Denitsa Saynova who today successfully defended her thesis! It's been a pleasure working with you and supervising your PhD studies.
September 17, 2025 at 1:35 PM
Congratulations to Dr. Denitsa Saynova who today successfully defended her thesis! It's been a pleasure working with you and supervising your PhD studies.
AI + theorem proving + hiking = AITP conference in Aussois. As stunning as ever.
September 1, 2025 at 2:09 PM
AI + theorem proving + hiking = AITP conference in Aussois. As stunning as ever.
Unfortunately not at #cogsci2025 either, but check out the oral presentation by Andrea Silvi tomorrow!
August 1, 2025 at 10:47 AM
Unfortunately not at #cogsci2025 either, but check out the oral presentation by Andrea Silvi tomorrow!
July 18, 2025 at 6:56 PM
Our Neuro-Symbolic Synthesis (NeSSy) group at Chalmers University might not have a website, but we have a mascot that followed us home from our recent trip to Scotland. Meet NeSSy, here she is in beautiful Edinburgh:
May 23, 2025 at 8:56 AM
Our Neuro-Symbolic Synthesis (NeSSy) group at Chalmers University might not have a website, but we have a mascot that followed us home from our recent trip to Scotland. Meet NeSSy, here she is in beautiful Edinburgh:
Edinburgh ❤️! What a great choice for the EuroProofNet workshop on LLMs and reasoning! europroofnet.github.io/wg5-edinburg...
April 7, 2025 at 6:30 AM
Edinburgh ❤️! What a great choice for the EuroProofNet workshop on LLMs and reasoning! europroofnet.github.io/wg5-edinburg...
Peak AI-hajp när till och med tandborstar har det?
February 24, 2025 at 4:44 PM
Peak AI-hajp när till och med tandborstar har det?
Annual baking of slightly deformed gingerbread animals and creatures.
December 15, 2024 at 1:00 PM
Annual baking of slightly deformed gingerbread animals and creatures.
Great Nobel lecture today by economy laureate @simonhrjohnson.bsky.social How will AI benefit us all and not just the few controlling the technological development?
December 14, 2024 at 8:07 PM
Great Nobel lecture today by economy laureate @simonhrjohnson.bsky.social How will AI benefit us all and not just the few controlling the technological development?
Daniel Enström and Viktor Kjellberg presenting our poster at #nesy2024 in Barcelona: Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts. Proceedings are here: link.springer.com/book/9783031...
September 12, 2024 at 9:45 AM
Daniel Enström and Viktor Kjellberg presenting our poster at #nesy2024 in Barcelona: Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts. Proceedings are here: link.springer.com/book/9783031...
Final day in New Orleans — what an amazing city! #neurips2023
December 17, 2023 at 2:26 PM
Final day in New Orleans — what an amazing city! #neurips2023
@ NeurIPS New Orleans
December 12, 2023 at 8:02 PM
@ NeurIPS New Orleans
First NeurIPS observation: the workshops are probably much bigger than your average automated reasoning conference. More women in ML than people in automated reasoning :)
December 11, 2023 at 3:00 PM
First NeurIPS observation: the workshops are probably much bigger than your average automated reasoning conference. More women in ML than people in automated reasoning :)
AISOLA conference, Crete.
October 25, 2023 at 6:51 AM
AISOLA conference, Crete.