Page not in menu
This is a page not in the menu. You can use markdown in this page.
Atalay Mert Ileri
he/him
Postdoctoral researcher at University of Oxford working on formal verification, type systems, and quantum processes.
- Oxford, England, UK
- University of Oxford
- dblp
- Google Scholar
- Semantic Scholar
- ORCID
- Github