Moa Johansson
Associate Professor
Greater Gothenburg Metropolitan Area Sweden
Summary
👤
Senior🎓
Top SchoolMoa Johansson is an associate professor at Chalmers University of Technology with 13 years of experience specializing in theorem proving, formal methods, program verification and functional programming. She blends academic leadership—as programme director for the MSc in Computer Science—with hands-on research applying machine learning to automated reasoning, supported by competitive grants including VR and a VINNMER Marie Curie fellowship. Her work spans interpolation algorithms for first-order logic to AI applications in sports and political science, reflecting a rare mix of deep theoretical expertise and interdisciplinary curiosity. Trained at the University of Edinburgh (PhD, Informatics), she is known for translating complex verification problems into practical, automated tools for verifying functional programs.
13 years of coding experience
4 years of employment as a software developer
PhD, Informatics, PhD, Informatics at The University of Edinburgh
Github Skills (10)
theorem5
haskell4
servant3
benchmarking2
benchmark2
homebrew1
isabelle1
cvc41
homebrew-formula1
ruby1
Programming languages (4)
Github contributions (5)
moajohansson/ai-in-sports
Sep 2018 - Jul 2024
Contributions:4 pushes, 1 branch, 1 comment in 5 years 10 months
tip-org/cicm-paper
Feb 2015 - Jul 2015
Contributions:10 pushes in 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.