CV

b. 1993, Oslo NO

Education

PhD in Information Science, Logic and Artificial Intelligence group, University of Bergen NO
Supervisors: Marija Slavkovik, Thomas Ågotnes & Sonja Smets
MSc in Logic, Institute for Logic, Language and Computation, University of Amsterdam NL
BA in Philosophy, University of Oslo NO
Exchange semester, Macquarie University, Sydney AU
BSc in Mathematics, Norwegian University of Science and Technology, NTNU, Trondheim NO
Erasmus year, Technische Universität Berlin DE

Research Visits

Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen
Department of Philosophy, National Taiwan University
Center for Information and Bubble Studies, University of Copenhagen

Summer Schools

European Summer School in Logic, Language and Information, ESSLLI

Nordic Logic Summer School, University of Bergen NO
The Advanced Course on AI (on Human Centered AI), ACAI, Berlin DE
Summer School on Mathematical Philosophy for Female Students, MCMP, Ludwig-Maximilians-Universität München DE

Peer-reviewed Publications

"Visibility and Exploitation in Social Networks": Rustam Galimullin & Mina Young Pedersen, Mathematical Structures in Computer Science, pp.1–30. Cambridge University Press.
"Detecting Bots with Temporal Logic": Mina Young Pedersen, Marija Slavkovik & Sonja Smets, Synthese 202(79), pp.1–39. Springer.
"Logic of Visibility in Social Networks": Rustam Galimullin, Mina Young Pedersen & Marija Slavkovik. In: Ciabattoni, A., Pimentel, E., de Queiroz, R. J. G. B. (eds) Logic, Language, Information, and Computation. WoLLIC 2022. Lecture Notes in Computer Science, vol 13468, pp.190–206. Springer, Cham.
"A Modal Logic for Supervised Learning": Alexandru Baltag, Dazhu Li & Mina Young Pedersen, Journal of Logic, Language and Information 31(2), pp.213–234. Springer.
"Modal Logics and Group Polarization": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes, Journal of Logic and Computation 31(8), pp.2240–2269. Oxford University Press.
"Social Bot Detection as a Temporal Logic Model Checking Problem": Mina Young Pedersen, Marija Slavkovik & Sonja Smets. In: Ghosh, S., Icard, T. (eds) Logic, Rationality, and Interaction. LORI 2021. Lecture Notes in Computer Science, vol 13039, pp.158–173. Springer, Cham.
"Further Steps Towards a Logic of Polarization in Social Networks": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes. In: Dastani, M., Dong, H., van der Torre, L. (eds) Logic and Argumentation. CLAR 2020. Lecture Notes in Artificial Intelligence, vol 12061, pp.124–145. Springer, Cham.
"Analyzing Echo Chambers: A Logic of Strong and Weak Ties": Mina Young Pedersen, Sonja Smets & Thomas Ågotnes. In: Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, vol 11813, pp.183–198. Springer, Berlin, Heidelberg.
"On the Right Path: A Modal Logic for Supervised Learning": Alexandru Baltag, Dazhu Li & Mina Young Pedersen. In: Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, vol 11813, pp.1–14. Springer, Berlin, Heidelberg.

Recent Talks

"Logics of Malicious and Abnormal Behavior in Social Networks", Methodology of Logic Workshop, University of Padua IT
"Logics of Malicious and Abnormal Behavior in Social Networks", Australasian Association for Logic (AAL) Annual Conference, School of Computer Science, University of Sydney AU [Online]
"Hybrid Relevant Logic", Variable Sharing Properties and Their Discontents, Rensselaer Polytechnic Institute (RPI), Troy NY, US
"Logics of Malicious and Abnormal Behavior in Social Networks", LIRa Seminar, ILLC, University of Amsterdam NL [Online]
"Detecting Bots with Temporal Logic", Workshop on Formal Models of Social Networks & Democracy, Groningen NL
"Hybrid Relevant Logic", PhDs in Logic XIV, Granada ES
"Logics of Malicious and Anomalous Behavior in Social Networks", GroLog Seminar, Groningen NL
"Logic in the Social Sciences", Logic and AI Group Seminar, Bergen NO
"Logic of Visibility in Social Networks", WoLLIC Workshop on Logic, Language, Information and Computation, Iaşi RO
"Detecting Bots with Temporal Logic", Social Logic Conference, Dolomites IT
"Detecting Bots with Modal Logic", Interdisciplinary Research in Logic Workshop, Bergen NO
"Social Bot Detection as a Temporal Logic Model Checking Problem", LORI International Conference on Logic, Rationality and Interaction, Xi’an CN [Online]
"Further Steps Towards a Logic of Polarization in Social Networks", CLAR Third International Conference of Logic and Argumentation, Hangzhou CN [Online]
"Influenced by a Troll: A Logic of Diffusion in a Social Network with Malicious Agents" at NETREASON@ECAI2020 workshop, Santiago de Compostela ES [Online]
"Polarization and Echo Chambers", Bergen Logic Group Seminar, Department of Philosophy, University of Bergen NO [Online]
"Influenced by a Troll: A Logic of Diffusion in a Social Network with Malicious Agents", ArgInfoExhange workshop, Amsterdam NL [Online]
"Logical Analyses of Polarization and Echo Chambers", LIRa Seminar, ILLC, University of Amsterdam NL [Online]
"Analyzing Echo Chambers", LORI International Conference on Logic, Rationality and Interaction, Chongqing CN

Teaching Experience

Guest lecturer, Formal Methods for Information Science, University of Bergen
Teaching assistant, Introduction to Artificial Intelligence, University of Bergen
Substitute teacher, Mathematics, Edvard Munch Upper Secondary School
Assistant teacher, Mathematics, Paul-Natorp-Oberschule and Felix-Mendelssohn-Bartholdy-Schule

Organization

Co-editor of "Selected Reflections in Language, Logic and Information". ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers. Lecture Notes in Computer Science, vol 14354. Springer, Cham
Programme Committee member:

Twelfth Scandinavian Logic Symposium (SLSS-2024)

Reviewing:

Journal of Artificial Intelligence Research (JAIR)
Discrete Applied Mathematics

Sub-reviewing:

Journal of Logic, Language and Information
Journal of Logic and Computation
27th European Conference on Artificial Intelligence (ECAI 2024) Demo Track
Theoretical Aspects of Rationality and Knowledge (TARK-2023)
International Workshop on Juris-informatics (JURISIN-2021)
International Conference on Logic, Rationality and Interaction (LORI-2021)

Internal examiner of master thesis in information science, Dept. of Information Science and Media Studies, University of Bergen
In the local organizing committee of Nordic Logic Summer School (NLS 2022) and Scandinavian Logic Symposium (SLSS 2022), Bergen NO
PC co-chair of the Student Session of European Summer School in Logic, Language and Information (ESSLLI)
Logic and Computation co-chair of the Student Session of European Summer School in Logic, Language and Information (ESSLLI), held together with WeSSLLI (online NASSLLI)
Organizer of the Cool Logic seminar, ILLC
Student Mentor, Master of Logic, ILLC

Funding

Meltzer Project Grant
Research and Development Funds (FU-midler) from Dept. of Information Science and Media Studies, University of Bergen for research visit to the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen
ACM SIGLOG Grant for travel expenses to participate in the Logic Mentoring Worksop (LMW) and ACM/IEEE Symposium on Logic in Computer Science (LICS) held at Boston University
Travel funds for research stay at foreign institution, Faculty of Social Sciences, University of Bergen
European Cooperation in Science & Technology COST Action CA16228 STSM Grant for research visit to ILLC, University of Amsterdam
ESSLLI Student Grant for participation fee
Scholarship by the Evert Willem Beth Foundation for participation costs of the conference FMV: Foundations in Mathematics - Modern Views