معرفی
Moa Johansson is an Associate Professor (Docent) at the Department of Computer Science and Engineering, Chalmers University, Sweden. She serves as Co-Director of Chalmers' Area of Advance in Information and Communication Technology, driving interdisciplinary AI research.
- PhD in Automated Theorem Proving (University of Edinburgh, 2009)
- Postdoc at University of Verona (2009-2011)
Her research spans neuro-symbolic AI methods, combining neural networks with symbolic reasoning for applications in mathematics, sports science, and political science. Current projects include:
- NeSSy (2023-): Neuro-symbolic synthesis via reinforcement learning
- Neurodynamic Programming (2023-): Agent communication learning
- Countering Bias in AI (2023-): NLP applications in social sciences
- Bias in Political Analysis (2020-2025): WASP-HS funded
Recent publications focus on theory exploration, neuro-symbolic methods, and AI applications across disciplines. Scientific achievements include a VINNMER Marie Curie Fellowship and Best Paper Award at CICM 2014.
- Led TRACKS project course on sports digitalization
- Developed HipSpec automated inductive prover
۰مقاله منتشرشده
