Mgr. Petr Špelda, Ph.D.

Petr Spelda is an Assistant Professor at the Department of Security Studies, Charles University.

Google Scholar

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.

Monografie

Kapitoly v monografiích

Články

• ŠPELDA, Petr - STŘÍTECKÝ, Vít. Security practices in AI development. AI & Society. 2025, 40(6), 4869-4879. ISSN 0951-5666. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít. Learnability of state spaces of physical systems is undecidable. Journal of Computational Science. 2024, 83(December 2024), 1-7. ISSN 1877-7503. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít - SYMONS, John. On the Need for Multiple, Independent Fact-Checking and Scoring Facilities: A Reply to Gerhard Schurz. Social Epistemology Review and Reply Collective. 2024, 13(5), 1-4. ISSN 2471-9560.
• ŠPELDA, Petr - STŘÍTECKÝ, Vít. Why and how to construct an epistemic justification of machine learning?. Synthese. 2024, 204(2), 1-24. ISSN 0039-7857. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít - SYMONS, John. No-Regret Learning Supports Voters’ Competence. Social Epistemology. 2024, 38(5), 543-559. ISSN 0269-1728. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít. Human Induction in Machine Learning: A Survey of the Nexus. ACM Computing Surveys. 2021, 54(3), 1-18. ISSN 0360-0300. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít. The future of human-artificial intelligence nexus and its environmental costs. Futures. 2020, 117(March), 1-5. ISSN 0016-3287. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít. What Can Artificial Intelligence Do for Scientific Realism?. Axiomathes. 2021, 31(1), 85-104. ISSN 1122-1151. UT-WOS link
• ŠPELDA, Petr. Machine learning, inductive reasoning, and reliability of generalisations. AI & Society. 2020, 35(1), 29-37. ISSN 0951-5666. UT-WOS link
• ŠPELDA, Petr - STŘÍTECKÝ, Vít. Expanding Observability via Human-Machine Cooperation. Axiomathes. 2022, 32(Suppl. 3), 819-832. ISSN 1122-1151. UT-WOS link
• STŘÍTECKÝ, Vít - ŠPELDA, Petr. Analýza aktivit elektronického džihádu v prostoru sociálních médií. Mezinárodní vztahy. 2017, 52(4), 33-47. ISSN 0323-1844.
• STŘÍTECKÝ, Vít - ŠPELDA, Petr. Establishing the Complexity of the Islamic State's Visual Propaganda. Central European Journal of International and Security Studies. 2017, 11(4), 66-84. ISSN 1802-548X.

Příspěvky v konferenčních sbornících

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)

https://is.cuni.cz/studium/eng/predmety/index.php?do=search&nazev=&kod=&match=substring&srch_nazev=0&srch_nazev=1&fak=11230&ustav=&sekce=&trida=&klas=&kompetence=&pvyjazyk=&sem=&pocet=20&ujmeno=spelda&utyp=3&b=Hledej

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