Mgr. Petr Špelda, Ph.D.
Mgr. Petr Špelda, Ph.D.
Posts:
- Department of Security Studies, IPS
E-mail: petr.spelda@fsv.cuni.cz
Rooms: No. B327, Jinonice, building B
ORCID ID: 0000-0003-4199-645X
Petr Spelda is an Assistant Professor at the Department of Security Studies, Charles University.
I work in AI safety and epistemology. Most of my works deal with inductive inference in various learning setups. I believe that formal study of inductive inference is important for AI safety.
Rok vydání
Monographs
Chapters in monographs
Articles
- Špelda P., & Střítecký V. (2022). Expanding Observability via Human-Machine Cooperation. Axiomathes, 32(Suppl. 3), 819-832. UT-WOS link
- Špelda P. (2020). Machine learning, inductive reasoning, and reliability of generalisations. AI & Society, 35(1), 29-37. UT-WOS link
- Špelda P., & Střítecký V. (2021). What Can Artificial Intelligence Do for Scientific Realism?. Axiomathes, 31(1), 85-104. UT-WOS link
- Špelda P., & Střítecký V. (2020). The future of human-artificial intelligence nexus and its environmental costs. Futures, 117(March), 1-5. UT-WOS link
- Špelda P., & Střítecký V. (2021). Human Induction in Machine Learning: A Survey of the Nexus. ACM Computing Surveys, 54(3), 1-18. UT-WOS link
- Špelda P., Střítecký V., & Symons J. (2024). No-Regret Learning Supports Voters’ Competence. Social Epistemology, 38(5), 543-559. UT-WOS link
- Špelda P., & Střítecký V. (2024). Why and how to construct an epistemic justification of machine learning?. Synthese, 204(2), 1-24. UT-WOS link
- Špelda P., Střítecký V., & Symons J. (2024). On the Need for Multiple, Independent Fact-Checking and Scoring Facilities: A Reply to Gerhard Schurz. Social Epistemology Review and Reply Collective, 13(5), 1-4.
- Špelda P., & Střítecký V. (2024). Learnability of state spaces of physical systems is undecidable. Journal of Computational Science, 83(December 2024), 1-7. UT-WOS link
- Špelda P., & Střítecký V. (2025). Security practices in AI development. AI & Society, 40(6), 4869-4879. UT-WOS link
- Střítecký V., & Špelda P. (2017). Analýza aktivit elektronického džihádu v prostoru sociálních médií. Mezinárodní vztahy, 52(4), 33-47.
- Střítecký V., & Špelda P. (2017). Establishing the Complexity of the Islamic State's Visual Propaganda. Central European Journal of International and Security Studies, 11(4), 66-84.
Contributions in the conference proceedings
2026 -- Golden Course Prize for Teaching Excellence awarded by Dean of the Faculty of Social Sciences, Charles University (Course: Artificial Intelligence and Security)
2024 -- Golden Course Prize for Teaching Excellence awarded by Dean of the Faculty of Social Sciences, Charles University (Course: Artificial Intelligence and Security)
2023 -- Golden Course Prize for Teaching Excellence awarded by Dean of the Faculty of Social Sciences, Charles University (Course: Artificial Intelligence and Security)
2022 -- Golden Course Prize for Teaching Excellence awarded by Dean of the Faculty of Social Sciences, Charles University (Course: Artificial Intelligence and Security)
2020 -- Golden Course Prize for Teaching Excellence awarded by Dean of the Faculty of Social Sciences, Charles University (Course: Human-Artificial Intelligence Nexus)
AI Safety
AI Alignment
Inductive Reasoning in Security Studies
CZ.02.01.01/00/23_025/0008691 HumanAId: Human-Centred AI for a Sustainable and Adaptive Society, WP1 Research Lead: AI Safety and Alignment
TQ12000040 CZDEMOS4AI: Beneficent Multi-Agent AI Avatar in a Small Democratic Society, Principal Co-Investigator
CZ.02.01.01/00/22_008/0004595 CoRe – Beyond Security: Role of Conflict in Resilience-Building, Research Group 9
LX22NPO5101 National Institute for Research on Socioeconomic Impacts of Diseases and Systemic Risks, Research Group ‘Polarization & Populism’ (SYRI)
UNCE/HUM/037 The Human-Machine Nexus and International Order (PERICULUM)
Petr Spelda is an Assistant Professor at the Department of Security Studies, Charles University.
I work in AI safety and epistemology. Most of my works deal with inductive inference in various learning setups. I believe that formal study of inductive inference is important for AI safety.
AI Safety
AI Alignment
Epistemology
Inductive Reasoning in Security Studies