I am a logician, hobby organist, esperantist and devoted backgammon player. I also occasionally write and translate texts about film or popular science, and I am on the editorial board of the feminist magazine Fett.
My academic interests lie in the intersection of mathematics and philosophy: ranging from the philosophy of mathematics to logic and formal epistemology. I recently completed a PhD in Information Science in the Logic & AI research group at the University of Bergen, under the supervision of Marija Slavkovik, Thomas Ågotnes and Sonja Smets. The thesis was about using modal logic to research agents in multi-agent systems who act unexpectedly, or try to take advantage of the system for their own gain. You can read my thesis here.
Currently, I am looking for what to do next. Contact me at mina (dot) pedersen (at) uib (dot) no if you are hiring!
Click here to see my current backgammon rating.
Last updated: 22. October, 2024.