AI4REASON Institute
AI4REASON z.ú. is a nonprofit research institute based in Prague, Czech Republic.
It conducts independent, world-class research in Artificial Intelligence, Automated Reasoning, and Machine Learning, with applications in mathematics, computer science, the natural sciences, and other areas of human knowledge.
Our Mission
- Advance fundamental and applied research in AI, automated reasoning, and machine learning.
- Bridge mathematics, computer science, and the natural sciences through intelligent automation.
- Transfer knowledge and technologies into education, science, and industry.
- Serve the public interest by fostering open research, education, and a deeper understanding of AI and its impact.
What We Do
- Research & Innovation — basic and applied research in AI, automated reasoning, and related fields.
- Collaboration — international cooperation with universities, research centers, and industry.
- Education & Outreach — seminars, training programs, conferences, and open dissemination of results.
- Open Science — tools, data, and results made widely accessible.
Governance
The Institute is managed by a Board of Trustees and a Director, supported by an Assembly of Founders.
We operate transparently and reinvest all resources into our mission.
Team→
Contact
📍 Prague, Czech Republic
📬 Mailing Address:
AI4REASON z.ú.
Uralská 7, 160 00 Praha 6
Czech Republic
🌐 ai4reason.eu
✉️ ai4reason@gmail.com
🏦 EUR Bank Account:
Account Name: AI4REASON z.ú.
IBAN: BE97 9056 7872 2949
Swift/BIC: TRWIBEB1XXX
Bank name and address: Wise, Rue du Trône 100, 3rd floor, Brussels, 1050, Belgium
🏦 USD Bank Account:
Account Name: AI4REASON z.ú.
Account number: 212713459366
Account type: Checking
Routing number (for wire and ACH): 101019628
Swift/BIC: TRWIUS35XXX
Bank name and address: Wise US Inc, 108 W 13th St, Wilmington, DE, 19801, United States
© AI4REASON Institute 2025
Business ID (IČ): 23753161