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
he/him
Postdoctoral researcher at University of Oxford working on formal verification, type systems, and quantum processes.