Exchange semester, Macquarie University, Sydney AUS
(Fall 2016)
BSc in Mathematics, Norwegian University of Science and Technology, NTNU, Trondheim NO
(2012 - 2016)
Erasmus year, Technische Universität Berlin DE
(2013 - 2014)
Research Visits
Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen
(September 2023)
Department of Philosophy, National Taiwan University
(October 2022 - February 2023)
Center for Information and Bubble Studies, University of Copenhagen
(May 2022)
Summer Schools
European Summer School in Logic, Language and Information, ESSLLI
(2023, University of Ljubljana SI), (2022, National University of Ireland Galway IE),
(2021, Utrecht University NL [Online]) & (2019, University of Riga LV)
Nordic Logic Summer School, University of Bergen NO
(2022)
The Advanced Course on AI (on Human Centered AI), ACAI, Berlin DE
(2021)
Summer School on Mathematical Philosophy for Female Students, MCMP,
Ludwig-Maximilians-Universität München DE
(2016, 2017, 2018)
Publications
"Visibility and Exploitation in Social Networks": Rustam Galimullin & Mina Young Pedersen,
Mathematical Structures in Computer Science, pp.1–30. Cambridge University Press.
(2023)
"Detecting Bots with Temporal Logic": Mina Young Pedersen, Marija Slavkovik & Sonja Smets,
Synthese 202(79), pp.1–39. Springer.
(2023)
"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.
(2022)
"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.
(2022)
"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.
(2021)
"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.
(2021)
"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.
(2020)
"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.
(2019)
"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.
(2019)
Recent Talks
"Detecting Bots with Temporal Logic", Workshop on Formal Models of Social Networks & Democracy, Groningen NL
(February 2024)
"Hybrid Relevant Logic", PhDs in Logic XIV, Granada ES
(October 2023)
"Logics of Malicious and Anomalous Behavior in Social Networks", GroLog Seminar, Groningen NL
(September 2023)
"Logic in the Social Sciences", Logic and AI Group Seminar, Bergen NO
(June 2023)
"Logic of Visibility in Social Networks", WoLLIC Workshop on Logic, Language, Information and Computation,
Iaşi RO
(September 2022)
"Detecting Bots with Temporal Logic", Social Logic Conference, Dolomites IT
(August 2022)
"Detecting Bots with Modal Logic", Interdisciplinary Research in Logic Workshop, Bergen NO
(December 2021)
"Social Bot Detection as a Temporal Logic Model Checking Problem", LORI International Conference on Logic, Rationality
and Interaction, Xi’an CN [Online]
(October 2021)
"Further Steps Towards a Logic of Polarization in Social Networks", CLAR Third International Conference of Logic and Argumentation,
Hangzhou CN [Online]
(October 2020)
"Influenced by a Troll: A Logic of Diffusion in a Social Network with Malicious Agents" at NETREASON@ECAI2020 workshop,
Santiago de Compostela ES [Online]
(September 2020)
"Polarization and Echo Chambers", Bergen Logic Group Seminar, Department of Philosophy, University of Bergen [Online]
(May 2020)
"Influenced by a Troll: A Logic of Diffusion in a Social Network with Malicious Agents", ArgInfoExhange workshop, Amsterdam NL [Online]
(April 2020)
"Logical Analyses of Polarization and Echo Chambers", LIRa Seminar, ILLC, University of Amsterdam [Online]
(March 2020)
"Analyzing Echo Chambers", LORI International Conference on Logic, Rationality and Interaction, Chongqing CN
(October 2019)
Teaching Experience
Guest lecturer, Formal Methods for Information Science, University of Bergen
(Spring 2024)
Teaching assistant, Introduction to Artificial Intelligence, University of Bergen
(Fall 2020)
Substitute teacher, Mathematics, Edvard Munch Upper Secondary School
(Spring 2017)
Assistant teacher, Mathematics, Paul-Natorp-Oberschule and Felix-Mendelssohn-Bartholdy-Schule
(Spring 2014) & (2015 - 2016)
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
(2024)
Programme Committee member:
Twelfth Scandinavian Logic Symposium (SLSS-2024)
Sub-reviewing:
Journal of Logic, Language and Information
Journal of Logic and Computation
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
(2023)
In the local organizing committee of Nordic Logic Summer School (NLS 2022) and Scandinavian Logic Symposium (SLSS 2022),
Bergen NO
(2022)
PC co-chair of the Student Session of European Summer School in Logic,
Language and Information (ESSLLI)
(2021)
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)
(2020)
Organizer of the Cool Logic seminar, ILLC
(2018 - 2019)
Student Mentor, Master of Logic, ILLC
(2018)
Funding
Meltzer Project Grant
(2021 - 2022) & (2022 - 2023)
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
(September 2023)
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
(2023)
Travel funds for research stay at foreign institution, Faculty of Social Sciences, University of Bergen
(2022)
European Cooperation in Science & Technology COST Action CA16228 STSM Grant for research visit to ILLC,
University of Amsterdam
(March—April 2020, cancelled due to COVID-19)
ESSLLI Student Grant for participation fee
(2019)
Scholarship by the Evert Willem Beth Foundation for participation costs of the conference FMV: Foundations in Mathematics - Modern Views