Theoretical Rigor.
Computational Scale.
The Malbork Logic Division is a research collective dedicated to the mathematical foundations of reasoning. We bridge the gap between classical symbolic logic and modern neural architectures.
Our work focuses on ensuring the safety, interpretability, and robustness of intelligent systems through formal verification and advanced logical frameworks.
Research Areas
Formal Verification
Developing automated theorem provers for high-assurance software and hardware systems.
Neuro-Symbolic AI
Integrating deep learning with symbolic reasoning for interpretable artificial intelligence.
Infinite-Valued Logics
Exploring non-classical logic systems and their applications in fuzzy and quantum computing.
Selected Publications
Towards a Unified Framework for Formal Reasoning in Large Language Models
International Conference on Computational Logic (ICCL), 2026
Complexity Bounds of Higher-Order Modal Logics in Decentralized Systems
Journal of Logic and Computation, Vol. 35, No. 4
The Division
Prof. Malbork
Principal Investigator
Senior Scientist
Division Member
PhD Candidate
Researcher
You?
Open Positions