Sólrún Halla Einarsdóttir

I am a PhD student in Computer Science at Chalmers University of Technology, supervised by Moa Johansson and Nick Smallbone.
My research focuses on theory exploration, that is, the automatic discovery of interesting and useful properties of a program or a set of mathematical functions and structures.
I am interested in automatic and interactive theorem proving, automated reasoning in general, functional programming, AI for math, and combining symbolic reasoning with data-driven techniques.


E-mail: slrn@chalmers.se