Project Details
| Status | Active |
|---|---|
| Effective start/end date | 31/03/2025 → 30/03/2027 |
Collaborative partners
- King's College London (lead)
- University of Brasília
Funding
- Royal Society: £12,000.00
Formal Verification of Practical Nominal Unification Algorithms
- Mansour, Mohammad Abdulaziz (Primary Investigator)
- Fernandez, Maribel (Co-Investigator)
- Urban, Christian (Co-Investigator)
Project: Research