I am an Industry PhD student, working with Fortnox in the research project DIA (data intensive applications). My research is centered on finding ways to use AI tools in accounting. 

I have previously done research in logic and the foundations of mathematics.

My main research interests are Artificial Intelligence, formal methods, logic, and philosophy of science.

I do not currently teach any courses, but am open to supervising.