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.

Papers:

• Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.
  with Nicholas Smallbone and Moa Johansson, IFL '20.
• Into the Infinite - Theory Exploration for Coinduction.
  with Moa Johansson and Johannes Åman Pohjola, Conference on Artificial Intelligence and Symbolic Computation (AISC) 2018.

E-mail: slrn@chalmers.se