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.
