Advancing Human knowledge through stochastic epistemology
Pioneering scientific discovery for tomorrow
The Unsuspicious Research Institute operates at the convergence of theoretical computer science, formal methods, and computational complexity theory. Our research spans from λ-calculus and interaction combinators to decidability boundaries and non-deterministic Turing machines. We pursue fundamental questions in complexity classes, type systems, and the computational limits of knowability.
Research Divisions
Multidisciplinary Curiosity
Seven core research areas that define our institutional mission and scholarly contributions
Dynamic Formal Systems
Investigating interaction combinators, optimal reduction strategies, and System F type theory. Current research focused on guided program and proof synthesis through a lot of typing.
philosophy courses should teach how to use proof assistants
Advanced Systems Laboratory
Neuromorphic architectures implementing interaction nets at the hardware level. Research in analog computing substrates optimized for λ-calculus reduction and parallel graph rewriting systems.
To build machines that think,
we must first build machines that compute what cannot be thought.
Artificial Intelligence Research
Training transformer architectures with formal constraints. Exploring the intersection of probabilistic reasoning and symbolic AI through type-theoretic frameworks and proof-carrying code generation.
Ethics and æsthetics are one
Mathematical Finance Institute
Stochastic calculus and martingale theory applied to derivative pricing. Research in algorithmic game theory, market microstructure, and complexity-theoretic approaches to arbitrage detection.
In the long run we are all dead.
Computational Biology Division
Trying to understand the nature of consciousness with a pluridisciplinary approach and loads of compute. The happy fly™ project: virtualizing 10¹⁴ Drosophila neurons using distributed interaction net architectures.
I think I might have been stupid in some respects,
if it weren’t for my psychedelic experiences.
LSH research division
The "Lettres et Sciences Humaines" division explores beauty, art and philosophy towards a deeper understanding of humanity's ever-lasting quest of the divine.
Kant et la monade de l’aporie : une poésie de l’impératif
Unsuspicious research stats
Academic impact
Working overtime on edge research
Research Opportunities